×
Author ID: dreossi.tommaso Recent zbMATH articles by "Dreossi, Tommaso"
Published as: Dreossi, Tommaso; Dreossi, T.
Documents Indexed: 10 Publications since 2014
Co-Authors: 16 Co-Authors with 9 Joint Publications
349 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 31 times in 20 Documents Cited by Year
Formal specification for deep neural networks. Zbl 1517.68345
Seshia, Sanjit A.; Desai, Ankush; Dreossi, Tommaso; Fremont, Daniel J.; Ghosh, Shromona; Kim, Edward; Shivakumar, Sumukh; Vazquez-Chanlatte, Marcell; Yue, Xiangyu
6
2018
Reachability computation for polynomial dynamical systems. Zbl 1360.93084
Dreossi, Tommaso; Dang, Thao; Piazza, Carla
5
2017
Parallelotope bundles for polynomial reachability. Zbl 1364.93145
Dreossi, Tommaso; Dang, Thao; Piazza, Carla
4
2016
Sapo: reachability computation and parameter synthesis of polynomial dynamical systems. Zbl 1369.68257
Dreossi, Tommaso
4
2017
Parameter synthesis for polynomial biological models. Zbl 1362.92023
Dreossi, Tommaso; Dang, Thao
4
2014
Compositional falsification of cyber-physical systems with machine learning components. Zbl 1468.68126
Dreossi, Tommaso; Donzé, Alexandre; Seshia, Sanjit A.
3
2019
\(\epsilon\)-semantics computations on biological systems. Zbl 1312.68127
Casagrande, A.; Dreossi, T.; Fabriková, J.; Piazza, C.
3
2014
Parameter synthesis through temporal logic specifications. Zbl 1427.68164
Dang, Thao; Dreossi, Tommaso; Piazza, Carla
2
2015
Compositional falsification of cyber-physical systems with machine learning components. Zbl 1468.68126
Dreossi, Tommaso; Donzé, Alexandre; Seshia, Sanjit A.
3
2019
Formal specification for deep neural networks. Zbl 1517.68345
Seshia, Sanjit A.; Desai, Ankush; Dreossi, Tommaso; Fremont, Daniel J.; Ghosh, Shromona; Kim, Edward; Shivakumar, Sumukh; Vazquez-Chanlatte, Marcell; Yue, Xiangyu
6
2018
Reachability computation for polynomial dynamical systems. Zbl 1360.93084
Dreossi, Tommaso; Dang, Thao; Piazza, Carla
5
2017
Sapo: reachability computation and parameter synthesis of polynomial dynamical systems. Zbl 1369.68257
Dreossi, Tommaso
4
2017
Parallelotope bundles for polynomial reachability. Zbl 1364.93145
Dreossi, Tommaso; Dang, Thao; Piazza, Carla
4
2016
Parameter synthesis through temporal logic specifications. Zbl 1427.68164
Dang, Thao; Dreossi, Tommaso; Piazza, Carla
2
2015
Parameter synthesis for polynomial biological models. Zbl 1362.92023
Dreossi, Tommaso; Dang, Thao
4
2014
\(\epsilon\)-semantics computations on biological systems. Zbl 1312.68127
Casagrande, A.; Dreossi, T.; Fabriková, J.; Piazza, C.
3
2014

Citations by Year