Tommaso Dreossi
Tommaso Dreossi
Amazon A9
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
1132019
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
722015
Combining Model Checking and Runtime Verification for Safe Robotics
A Desai, T Dreossi, SA Seshia
492017
Semantic adversarial deep learning
T Dreossi, S Jha, SA Seshia
International Conference on Computer Aided Verification, 3-26, 2018
362018
Parallelotope bundles for polynomial reachability
T Dreossi, T Dang, C Piazza
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
332016
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
322018
Systematic testing of convolutional neural networks for autonomous driving
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
arXiv preprint arXiv:1708.03309, 2017
312017
Counterexample-guided data augmentation
T Dreossi, S Ghosh, X Yue, K Keutzer, A Sangiovanni-Vincentelli, ...
arXiv preprint arXiv:1805.06962, 2018
302018
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
262019
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
262019
Parameter synthesis for polynomial biological models
T Dreossi, T Dang
Proceedings of the 17th international conference on Hybrid systems …, 2014
242014
Sapo: Reachability computation and parameter synthesis of polynomial dynamical systems
T Dreossi
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
162017
Scenic: Language-based scene generation
D Fremont, X Yue, T Dreossi, S Ghosh, AL Sangiovanni-Vincentelli, ...
arXiv preprint arXiv:1809.09310, 2018
132018
A formalization of robustness for deep neural networks
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
arXiv preprint arXiv:1903.10033, 2019
122019
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
T Dang, T Dreossi, C Piazza
122014
Parameter synthesis through temporal logic specifications
T Dang, T Dreossi, C Piazza
International Symposium on Formal Methods, 213-230, 2015
102015
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
pyHybrid Analysis: A Package for ε-Semantics Analysis of Hybrid Systems
A Casagrande, T Dreossi
Digital System Design (DSD), 2013 Euromicro Conference on, 815-818, 2013
7*2013
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
62019
The system can't perform the operation now. Try again later.
Articles 1–20