Edit Profile (opens in new tab) Dreossi, Tommaso Co-Author Distance Author ID: 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 all top 5 Co-Authors 1 single-authored 5 Dang, Thao 5 Piazza, Carla 3 Seshia, Sanjit Arunkumar 2 Casagrande, Alberto 2 Fremont, Daniel J. 2 Ghosh, Shromona 2 Kim, Edward D. 2 Yue, Xiangyu 1 Desai, Ankush 1 Donzé, Alexandre 1 Dorigo, Luca 1 Fabrikova, Jana 1 Pippia, Eleonora 1 Sangiovanni-Vincentelli, Alberto L. 1 Shivakumar, Sumukh 1 Vazquez-Chanlatte, Marcell Serials 2 Information and Computation 1 Journal of Automated Reasoning 1 Machine Learning 1 Formal Methods in System Design Fields 7 Computer science (68-XX) 5 Systems theory; control (93-XX) 3 Biology and other natural sciences (92-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 66 Authors 5 Dreossi, Tommaso 3 Dang, Thao 3 Piazza, Carla 2 Bak, Stanley 2 Bartocci, Ezio 2 Kim, Edward D. 2 Seshia, Sanjit Arunkumar 1 Amrollahi, Daneshvar 1 Arcaini, Paolo 1 Bansal, Suguman 1 Bloem, Roderick 1 Bogomolov, Sergiy 1 Bollig, Benedikt 1 Brucker, Achim D. 1 Casagrande, Alberto 1 Chatterjee, Krishnendu 1 Costa, Cristiano N. 1 Cunis, Torbjørn 1 de Carvalho, Josué Xavier 1 de Magalhães Coutinho Vieira, Fernando 1 Donzé, Alexandre 1 Dorigo, Luca 1 Duggirala, Parasara Sridhar 1 Frehse, Goran 1 Fremont, Daniel J. 1 Garoche, Pierre-Loïc 1 Ghosh, Shromona 1 Giacobbe, Mirco 1 Hamilton, Nathaniel P. 1 Hasuo, Ichiro 1 Henrion, Didier 1 Henzinger, Thomas A. 1 Johnson, Taylor T. 1 Kenison, George 1 Kolmanovsky, Ilya V. 1 Kostousova, Elena K. 1 Kovács, Laura Ildikó 1 Leucker, Martin 1 Li, Yinan 1 Liu, Jun 1 Lopes, Francisco José Pereira 1 Lyu, Deyun 1 Ma, Lei 1 Maderbacher, Benedikt 1 Magron, Victor 1 Manjunath, Niveditha 1 Manzanas Lopez, Diego 1 Moosbrugger, Marcel 1 Musau, Patrick 1 Neider, Daniel 1 Nickovic, Dejan 1 Pal, Neelanjana 1 Pippia, Eleonora 1 Sangiovanni-Vincentelli, Alberto L. 1 Stankovič, Miroslav 1 Stell, Amy 1 Sun, Meng 1 Tenório de Barros, Claudio Daniel 1 Thirioux, Xavier 1 Tran, Hoang-Dung 1 Vardi, Moshe Ya’akov 1 Yang, Xiaodong 1 Yue, Xiangyu 1 Zhang, Xiyue 1 Zhang, Zhenya 1 Zhao, Jianjun all top 5 Cited in 8 Serials 2 Nonlinear Analysis. Hybrid Systems 1 Automatica 1 SIAM Journal on Control and Optimization 1 Information and Computation 1 Journal of Automated Reasoning 1 Machine Learning 1 Formal Methods in System Design 1 Proceedings of the Steklov Institute of Mathematics all top 5 Cited in 6 Fields 14 Computer science (68-XX) 7 Systems theory; control (93-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year