Tommaso Dreossi
Tommaso Dreossi
insitro
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
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
1732019
Efficient guiding strategies for testing of temporal properties of hybrid systems
T Dreossi, T Dang, A Donzé, J Kapinski, X Jin, JV Deshmukh
NASA Formal Methods Symposium, 127-142, 2015
882015
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
802019
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
712019
Combining Model Checking and Runtime Verification for Safe Robotics
A Desai, T Dreossi, SA Seshia
632017
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
International Symposium on Automated Technology for Verification and …, 2018
572018
Semantic adversarial deep learning
T Dreossi, S Jha, SA Seshia
International Conference on Computer Aided Verification, 3-26, 2018
542018
Counterexample-guided data augmentation
T Dreossi, S Ghosh, X Yue, K Keutzer, A Sangiovanni-Vincentelli, ...
arXiv preprint arXiv:1805.06962, 2018
452018
Systematic testing of convolutional neural networks for autonomous driving
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
arXiv preprint arXiv:1708.03309, 2017
432017
Parallelotope bundles for polynomial reachability
T Dreossi, T Dang, C Piazza
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
412016
Parameter synthesis for polynomial biological models
T Dreossi, T Dang
Proceedings of the 17th international conference on Hybrid systems …, 2014
252014
Sapo: Reachability computation and parameter synthesis of polynomial dynamical systems
T Dreossi
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
232017
A formalization of robustness for deep neural networks
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
arXiv preprint arXiv:1903.10033, 2019
192019
Scenic: Language-based scene generation
D Fremont, X Yue, T Dreossi, S Ghosh, AL Sangiovanni-Vincentelli, ...
arXiv preprint arXiv:1809.09310, 2018
182018
VERIFAI: A toolkit for the design and analysis of artificial intelligence-based systems
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...
arXiv preprint arXiv:1902.04245, 2019
142019
Parameter synthesis through temporal logic specifications
T Dang, T Dreossi, C Piazza
International Symposium on Formal Methods, 213-230, 2015
132015
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
T Dang, T Dreossi, C Piazza
132014
Reachability computation for polynomial dynamical systems
T Dreossi, T Dang, C Piazza
Formal Methods in System Design 50 (1), 1-38, 2017
112017
Falsifying oscillation properties of parametric biological models
T Dang, T Dreossi
arXiv preprint arXiv:1309.0869, 2013
92013
Hybrid Automata and ε-Analysis on a Neural Oscillator
A Casagrande, T Dreossi, C Piazza
arXiv preprint arXiv:1208.3852, 2012
82012
The system can't perform the operation now. Try again later.
Articles 1–20