Follow
Tommaso Dreossi
Tommaso Dreossi
Staff ML Scientist, insitro
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
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
2712019
Compositional falsification of cyber-physical systems with machine learning components
T Dreossi, A Donzé, SA Seshia
Journal of Automated Reasoning 63, 1031-1053, 2019
2662019
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
2272019
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: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
1242015
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
1162018
Combining Model Checking and Runtime Verification for Safe Robotics
A Desai, T Dreossi, SA Seshia
1002017
Semantic adversarial deep learning
T Dreossi, S Jha, SA Seshia
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
852018
Counterexample-guided data augmentation
T Dreossi, S Ghosh, X Yue, K Keutzer, A Sangiovanni-Vincentelli, ...
arXiv preprint arXiv:1805.06962, 2018
782018
Scenic: A language for scenario specification and data generation
DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ...
Machine Learning 112 (10), 3805-3849, 2023
642023
Systematic testing of convolutional neural networks for autonomous driving
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
arXiv preprint arXiv:1708.03309, 2017
592017
Parallelotope bundles for polynomial reachability
T Dreossi, T Dang, C Piazza
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
592016
Sapo: Reachability computation and parameter synthesis of polynomial dynamical systems
T Dreossi
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
362017
A formalization of robustness for deep neural networks
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
arXiv preprint arXiv:1903.10033, 2019
312019
Parameter synthesis for polynomial biological models
T Dreossi, T Dang
Proceedings of the 17th international conference on Hybrid systems …, 2014
262014
Semantic adversarial deep learning
SA Seshia, S Jha, T Dreossi
IEEE Design & Test 37 (2), 8-18, 2020
182020
Reachability computation for polynomial dynamical systems
T Dreossi, T Dang, C Piazza
Formal Methods in System Design 50 (1), 1-38, 2017
182017
Parameter synthesis through temporal logic specifications
T Dang, T Dreossi, C Piazza
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
182015
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
T Dang, T Dreossi, C Piazza
182014
Ib-gan: A unified approach for multivariate time series classification under class imbalance
G Deng, C Han, T Dreossi, C Lee, DS Matteson
Proceedings of the 2022 SIAM International Conference on Data Mining (SDM …, 2022
142022
Hybrid Automata and ε-Analysis on a Neural Oscillator
A Casagrande, T Dreossi, C Piazza
arXiv preprint arXiv:1208.3852, 2012
112012
The system can't perform the operation now. Try again later.
Articles 1–20