| 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 | 345 | 2019 |
| 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 | 288 | 2019 |
| 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 | 279 | 2019 |
| 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 | 140 | 2018 |
| 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 | 130 | 2015 |
| Combining Model Checking and Runtime Verification for Safe Robotics A Desai, T Dreossi, SA Seshia | 110 | 2017 |
| 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 | 102 | 2023 |
| Semantic adversarial deep learning T Dreossi, S Jha, SA Seshia Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 85 | 2018 |
| Counterexample-guided data augmentation T Dreossi, S Ghosh, X Yue, K Keutzer, A Sangiovanni-Vincentelli, ... arXiv preprint arXiv:1805.06962, 2018 | 82 | 2018 |
| Systematic testing of convolutional neural networks for autonomous driving T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia arXiv preprint arXiv:1708.03309, 2017 | 60 | 2017 |
| Parallelotope bundles for polynomial reachability T Dreossi, T Dang, C Piazza Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 60 | 2016 |
| Sapo: Reachability computation and parameter synthesis of polynomial dynamical systems T Dreossi Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 38 | 2017 |
| A formalization of robustness for deep neural networks T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia arXiv preprint arXiv:1903.10033, 2019 | 36 | 2019 |
| Parameter synthesis for polynomial biological models T Dreossi, T Dang Proceedings of the 17th international conference on Hybrid systems …, 2014 | 26 | 2014 |
| Reachability computation for polynomial dynamical systems T Dreossi, T Dang, C Piazza Formal Methods in System Design 50 (1), 1-38, 2017 | 20 | 2017 |
| 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 | 19 | 2022 |
| Semantic adversarial deep learning SA Seshia, S Jha, T Dreossi IEEE Design & Test 37 (2), 8-18, 2020 | 19 | 2020 |
| Dillig I Tasiran S et al T Dreossi VerifAI: a toolkit for the formal design and analysis of artificial …, 2019 | 19 | 2019 |
| Parameter synthesis through temporal logic specifications T Dang, T Dreossi, C Piazza FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 18 | 2015 |
| Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models T Dang, T Dreossi, C Piazza | 17 | 2014 |
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
