T. Dreossi

Most-cited papers

Scenic: a language for scenario specification and scene generation
Daniel J. Fremont, T. Dreossi, Shromona Ghosh, Xiangyu Yue +2 more
2018ACM-SIGPLAN Symposium on Programming Language Design and Implementation359 citations Open access
Semantic Scholar
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
T. Dreossi, Alexandre Donzé, S. Seshia
2017Journal of automated reasoning255 citations Open access
Semantic Scholar
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
T. Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward J. Kim +3 more
2019International Conference on Computer Aided Verification242 citations Open access
Semantic Scholar
Scenic: a language for scenario specification and data generation
Daniel J. Fremont, Edward J. Kim, T. Dreossi, Shromona Ghosh +3 more
2020Machine-mediated learning150 citations Open access
Semantic Scholar
Formal Specification for Deep Neural Networks
S. Seshia, Ankush Desai, T. Dreossi, Daniel J. Fremont +5 more
2018Automated Technology for Verification and Analysis118 citations
Semantic Scholar
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems
T. Dreossi, T. Dang, Alexandre Donzé, J. Kapinski +2 more
2015NASA Formal Methods115 citations
Semantic Scholar
Combining Model Checking and Runtime Verification for Safe Robotics
Ankush Desai, T. Dreossi, S. Seshia
2017Runtime Verification99 citations
Semantic Scholar
Semantic Adversarial Deep Learning
S. Seshia, S. Jha, T. Dreossi
2018IEEE design & test96 citations Open access
Semantic Scholar
Counterexample-Guided Data Augmentation
T. Dreossi, Shromona Ghosh, Xiangyu Yue, K. Keutzer +2 more
2018International Joint Conference on Artificial Intelligence68 citations Open access
Semantic Scholar
Systematic Testing of Convolutional Neural Networks for Autonomous Driving
T. Dreossi, Shromona Ghosh, A. Sangiovanni-Vincentelli, S. Seshia
2017arXiv.org68 citations
Semantic Scholar
Parallelotope Bundles for Polynomial Reachability
T. Dreossi, T. Dang, C. Piazza
2016International Conference on Hybrid Systems: Computation and Control53 citations
Semantic Scholar
A Formalization of Robustness for Deep Neural Networks
T. Dreossi, Shromona Ghosh, A. Sangiovanni-Vincentelli, S. Seshia
2019arXiv.org35 citations
Semantic Scholar
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
T. Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward J. Kim +3 more
2019arXiv.org34 citations
Semantic Scholar
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems
T. Dreossi
2016International Conference on Hybrid Systems: Computation and Control30 citations
Semantic Scholar
Parameter synthesis for polynomial biological models
T. Dreossi, T. Dang
2014International Conference on Hybrid Systems: Computation and Control21 citations
Semantic Scholar
Reachability computation for polynomial dynamical systems
T. Dreossi, T. Dang, C. Piazza
2017Formal methods in system design19 citations Open access
Semantic Scholar
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
Eric Vin, Shunsuke Kashiwa, Matthew Rhea, Daniel J. Fremont +6 more
2023International Conference on Computer Aided Verification15 citations Open access
Semantic Scholar
Parameter Synthesis Through Temporal Logic Specifications
T. Dang, T. Dreossi, C. Piazza
2015World Congress on Formal Methods15 citations
Semantic Scholar
Deep Learning Analysis on Images of iPSC-derived Motor Neurons Carrying fALS-genetics Reveals Disease-Relevant Phenotypes
Rahul Atmaramani, T. Dreossi, Kevin Ford, Lindy Gan +36 more
2024bioRxiv12 citations Open access
Semantic Scholar
IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance
G. Deng, Cuize Han, T. Dreossi, Clarence Lee +1 more
2021SDM11 citations Open access
Semantic Scholar
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models
T. Dang, T. Dreossi, C. Piazza
2014International Workshop on Hybrid Systems Biology11 citations
Semantic Scholar
Hybrid Automata and ε-Analysis on a Neural Oscillator
A. Casagrande, T. Dreossi, C. Piazza
2012International Workshop on Hybrid Systems Biology11 citations Open access
Semantic Scholar
Falsifying Oscillation Properties of Parametric Biological Models
T. Dang, T. Dreossi
2013International Workshop on Hybrid Systems Biology9 citations Open access
Semantic Scholar
Set-Based Analysis for Biological Modeling
T. Dang, T. Dreossi, E. Fanchon, O. Maler +2 more
2019Automated Reasoning for Systems Biology and Medicine4 citations
Semantic Scholar
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems
A. Casagrande, T. Dreossi
20132013 Euromicro Conference on Digital System Design4 citations
Semantic Scholar
Inverse Design of Multi-Layer Sub-Pixel-Resolution RF Passives Through Grayscale Diffusion with Flexible S-Parameter Conditioning
T. Dreossi, Christopher M. Bryant, Hao-Bo Liu, N. Mirman +3 more
2026arXiv.org3 citations
Semantic Scholar
Parameter synthesis of polynomial dynamical systems
A. Casagrande, T. Dang, L. Dorigo, T. Dreossi +2 more
2022Information and Computation3 citations Open access
Semantic Scholar
Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems
T. Dreossi
20163 citations Open access
Semantic Scholar
ϵ-Semantics computations on biological systems
A. Casagrande, T. Dreossi, J. Fabriková, C. Piazza
2014Information and Computation2 citations Open access
Semantic Scholar
Formal Specification for Deep Neural Networks
S. Seshia, Ankush Desai, T. Dreossi, Daniel J. Fremont +5 more
20181 citations
Semantic Scholar
Epsilon-Semantics computations on biological systems
A. Casagrande, T. Dreossi, Jana Drazanová, C. Piazza
20141 citations
Semantic Scholar
Approximated Symbolic Computations over Hybrid Automata
A. Casagrande, T. Dreossi, C. Piazza
2013HAS1 citations Open access
Semantic Scholar
Simulator-Refined Diffusion for Radio-Frequency Inverse Design
Jin-Hao Liang, Jacob K. Christopher, Michael Frei, T. Dreossi +1 more
20260 citations
Semantic Scholar
Temporal specification testing of hybrid systems
T. Dang, T. Dreossi
2017CASE0 citations
Semantic Scholar
Applications of-Semantics to Biological Systems 1
A. Casagrande, T. Dreossi, J. Fabriková, C. Piazza
20140 citations
Semantic Scholar