Tommaso Dreossi
Tommaso Dreossi
Amazon A9
Email verificata su amazon.com - Home page
Titolo
Citata da
Citata da
Anno
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
1452019
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
842015
Combining Model Checking and Runtime Verification for Safe Robotics
A Desai, T Dreossi, SA Seshia
582017
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
562019
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
482019
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
462018
Semantic adversarial deep learning
T Dreossi, S Jha, SA Seshia
International Conference on Computer Aided Verification, 3-26, 2018
442018
Parallelotope bundles for polynomial reachability
T Dreossi, T Dang, C Piazza
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
402016
Systematic testing of convolutional neural networks for autonomous driving
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
arXiv preprint arXiv:1708.03309, 2017
392017
Counterexample-guided data augmentation
T Dreossi, S Ghosh, X Yue, K Keutzer, A Sangiovanni-Vincentelli, ...
arXiv preprint arXiv:1805.06962, 2018
362018
Parameter synthesis for polynomial biological models
T Dreossi, T Dang
Proceedings of the 17th international conference on Hybrid systems …, 2014
262014
Sapo: Reachability computation and parameter synthesis of polynomial dynamical systems
T Dreossi
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
222017
A formalization of robustness for deep neural networks
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
arXiv preprint arXiv:1903.10033, 2019
152019
Scenic: Language-based scene generation
D Fremont, X Yue, T Dreossi, S Ghosh, AL Sangiovanni-Vincentelli, ...
arXiv preprint arXiv:1809.09310, 2018
142018
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
T Dang, T Dreossi, C Piazza
142014
Parameter synthesis through temporal logic specifications
T Dang, T Dreossi, C Piazza
International Symposium on Formal Methods, 213-230, 2015
132015
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
112019
Reachability computation for polynomial dynamical systems
T Dreossi, T Dang, C Piazza
Formal Methods in System Design 50 (1), 1-38, 2017
92017
Falsifying oscillation properties of parametric biological models
T Dang, T Dreossi
arXiv preprint arXiv:1309.0869, 2013
92013
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
8*2013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20