Articles with public access mandates - Tommaso DreossiLearn more
Not available anywhere: 1
Parallelotope bundles for polynomial reachability
T Dreossi, T Dang, C Piazza
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
Mandates: Government of Italy
Available somewhere: 15
Scenic: a language for scenario specification and scene generation
DJ Fremont, T Dreossi, S Ghosh, X Yue, AL Sangiovanni-Vincentelli, ...
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019
Mandates: US National Science Foundation, US Department of Defense
Compositional falsification of cyber-physical systems with machine learning components
T Dreossi, A Donzé, SA Seshia
Journal of Automated Reasoning 63 (4), 1031-1053, 2019
Mandates: US National Science Foundation, US Department of Defense
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...
International Conference on Computer Aided Verification, 432-442, 2019
Mandates: US National Science Foundation, US Department of Defense
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
Automated Technology for Verification and Analysis: 16th International …, 2018
Mandates: US National Science Foundation, US Department of Defense
Combining Model Checking and Runtime Verification for Safe Robotics
A Desai, T Dreossi, SA Seshia
Mandates: US National Science Foundation, US Department of Defense
Semantic adversarial deep learning
T Dreossi, S Jha, SA Seshia
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
Mandates: US National Science Foundation, US Department of Defense
Sapo: Reachability computation and parameter synthesis of polynomial dynamical systems
T Dreossi
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
Mandates: US National Science Foundation, US Department of Defense
Parameter synthesis for polynomial biological models
T Dreossi, T Dang
Proceedings of the 17th international conference on Hybrid systems …, 2014
Mandates: Government of Italy
Reachability computation for polynomial dynamical systems
T Dreossi, T Dang, C Piazza
Formal Methods in System Design 50 (1), 1-38, 2017
Mandates: US Department of Defense, Government of Italy
Semantic adversarial deep learning
SA Seshia, S Jha, T Dreossi
IEEE Design & Test 37 (2), 8-18, 2020
Mandates: US National Science Foundation, US Department of Defense
Parameter synthesis through temporal logic specifications
T Dang, T Dreossi, C Piazza
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
Mandates: Government of Italy
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
T Dang, T Dreossi, C Piazza
Mandates: Government of Italy
ε-Semantics computations on biological systems
A Casagrande, T Dreossi, J Fabriková, C Piazza
Information and Computation 236, 35-51, 2014
Mandates: Government of Italy
Parameter synthesis of polynomial dynamical systems
A Casagrande, T Dang, L Dorigo, T Dreossi, C Piazza, E Pippia
Information and Computation 289, 104941, 2022
Mandates: National Institute of Health and Medical Research, France, Agence Nationale …
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
E Vin, S Kashiwa, M Rhea, DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ...
International Conference on Computer Aided Verification, 253-265, 2023
Mandates: US National Science Foundation, US Department of Defense
Publication and funding information is determined automatically by a computer program