Hybrid Automata and ε-Analysis on a Neural Oscillator - Alberto Casagrande; Tommaso Dreossi; Carla Piazza (HSB, 2012)

pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems. - Alberto Casagrande; Tommaso Dreossi (DSD, 2013)

Approximated Symbolic Computations over Hybrid Automata. - Alberto Casagrande; Tommaso Dreossi; Carla Piazza (HAS, 2013)

Falsifying Oscillation Properties of Parametric Biological Models. - Thao Dang 001; Tommaso Dreossi (HSB, 2013)

Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. - Thao Dang 001; Tommaso Dreossi; Carla Piazza (HSB, 2014)

Parameter synthesis for polynomial biological models. - Tommaso Dreossi; Thao Dang 001 (HSCC, 2014)

ϵ-Semantics computations on biological systems. - Alberto Casagrande; Tommaso Dreossi; Jana Fabriková; Carla Piazza (Inf. Comput., 2014)

Parameter Synthesis Through Temporal Logic Specifications. - Thao Dang 001; Tommaso Dreossi; Carla Piazza (FM, 2015)

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. - Tommaso Dreossi; Thao Dang 001; Alexandre Donzé; James Kapinski; Xiaoqing Jin; Jyotirmoy V. Deshmukh (NFM, 2015)

Parallelotope Bundles for Polynomial Reachability. - Tommaso Dreossi; Thao Dang 001; Carla Piazza (HSCC, 2016)

Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems. - Tommaso Dreossi (2016)

Temporal specification testing of hybrid systems. - Thao Dang 001; Tommaso Dreossi (CASE, 2017)

Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. - Tommaso Dreossi (HSCC, 2017)

Combining Model Checking and Runtime Verification for Safe Robotics. - Ankush Desai; Tommaso Dreossi; Sanjit A. Seshia (RV, 2017)

Systematic Testing of Convolutional Neural Networks for Autonomous Driving. - Tommaso Dreossi; Shromona Ghosh; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2017)

Reachability computation for polynomial dynamical systems. - Tommaso Dreossi; Thao Dang 001; Carla Piazza (Formal Methods Syst. Des., 2017)

Formal Specification for Deep Neural Networks. - Sanjit A. Seshia; Ankush Desai; Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Sumukh Shivakumar; Marcell Vazquez-Chanlatte; Xiangyu Yue 001 (ATVA, 2018)

Counterexample-Guided Data Augmentation. - Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Kurt Keutzer; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (IJCAI, 2018)

Scenic: Language-Based Scene Generation. - Daniel J. Fremont; Xiangyu Yue 001; Tommaso Dreossi; Shromona Ghosh; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2018)

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CAV (1), 2019)

Scenic: a language for scenario specification and scene generation. - Daniel J. Fremont; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (PLDI, 2019)

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CoRR, 2019)

A Formalization of Robustness for Deep Neural Networks. - Tommaso Dreossi; Shromona Ghosh; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2019)

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. - Tommaso Dreossi; Alexandre Donzé; Sanjit A. Seshia (J. Autom. Reason., 2019)

Set-Based Analysis for Biological Modeling. - Thao Dang 001; Tommaso Dreossi; Eric Fanchon; Oded Maler; Carla Piazza; Alexandre Rocca (Automated Reasoning for Systems Biology and Medicine, 2019)

Treating Cold Start in Product Search by Priors. - Parth Gupta; Tommaso Dreossi; Jan Bakus; Yu-Hsiang Lin; Vamsi Salaka (WWW (Companion Volume), 2020)

Analysis of E-commerce Ranking Signals via Signal Temporal Logic. - Tommaso Dreossi; Giorgio Ballardin; Parth Gupta; Jan Bakus; Yu-Hsiang Lin; Vamsi Salaka (SNR, 2020)

Semantic Adversarial Deep Learning. - Sanjit A. Seshia; Somesh Jha; Tommaso Dreossi (IEEE Des. Test, 2020)

IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance. - Grace Deng; Cuize Han; Tommaso Dreossi; Clarence Lee; David S. Matteson (SDM, 2022)

Parameter synthesis of polynomial dynamical systems. - Alberto Casagrande; Thao Dang 001; Luca Dorigo; Tommaso Dreossi; Carla Piazza; Eleonora Pippia (Inf. Comput., 2022)

3D Environment Modeling for Falsification and Beyond with Scenic 3.0. - Eric Vin; Shun Kashiwa; Matthew Rhea; Daniel J. Fremont; Edward Kim 005; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CAV (1), 2023)

Scenic: a language for scenario specification and data generation. - Daniel J. Fremont; Edward Kim 005; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (Mach. Learn., 2023)