Tommaso Dreossi

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 32

Top Topics

Dynamical Systems

Artificial Intelligence

Top Venues

Publications

Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CoRR (2023)
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) (2023)
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: a language for scenario specification and data generation. Mach. Learn. 112 (10) (2023)
Grace Deng, Cuize Han, Tommaso Dreossi, Clarence Lee, David S. Matteson
IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance. SDM (2022)
Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia
Parameter synthesis of polynomial dynamical systems. Inf. Comput. 289 (Part) (2022)
Grace Deng, Cuize Han, Tommaso Dreossi, Clarence Lee, David S. Matteson
IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance. CoRR (2021)
Tommaso Dreossi, Giorgio Ballardin, Parth Gupta, Jan Bakus, Yu-Hsiang Lin, Vamsi Salaka
Analysis of E-commerce Ranking Signals via Signal Temporal Logic. SNR (2020)
Parth Gupta, Tommaso Dreossi, Jan Bakus, Yu-Hsiang Lin, Vamsi Salaka
Treating Cold Start in Product Search by Priors. WWW (Companion Volume) (2020)
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: A Language for Scenario Specification and Data Generation. CoRR (2020)
Sanjit A. Seshia, Somesh Jha, Tommaso Dreossi
Semantic Adversarial Deep Learning. IEEE Des. Test 37 (2) (2020)
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. J. Autom. Reason. 63 (4) (2019)
Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: a language for scenario specification and scene generation. PLDI (2019)
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
A Formalization of Robustness for Deep Neural Networks. CoRR (2019)
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. CoRR (2019)
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. CAV (1) (2019)
Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue
Formal Specification for Deep Neural Networks. ATVA (2018)
Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia
Semantic Adversarial Deep Learning. CoRR (2018)
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Counterexample-Guided Data Augmentation. CoRR (2018)
Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia
Semantic Adversarial Deep Learning. CAV (1) (2018)
Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: Language-Based Scene Generation. CoRR (2018)
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Counterexample-Guided Data Augmentation. IJCAI (2018)
Thao Dang, Tommaso Dreossi
Temporal specification testing of hybrid systems. CASE (2017)
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia
Combining Model Checking and Runtime Verification for Safe Robotics. RV (2017)
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. CoRR (2017)
Tommaso Dreossi
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. HSCC (2017)
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. NFM (2017)
Tommaso Dreossi, Thao Dang, Carla Piazza
Reachability computation for polynomial dynamical systems. Formal Methods Syst. Des. 50 (1) (2017)
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Systematic Testing of Convolutional Neural Networks for Autonomous Driving. CoRR (2017)
Tommaso Dreossi
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. CoRR (2016)
Tommaso Dreossi, Thao Dang, Carla Piazza
Parallelotope Bundles for Polynomial Reachability. HSCC (2016)
Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. NFM (2015)
Thao Dang, Tommaso Dreossi, Carla Piazza
Parameter Synthesis Through Temporal Logic Specifications. FM (2015)
Thao Dang, Tommaso Dreossi, Carla Piazza
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. HSB (2014)
Tommaso Dreossi, Thao Dang
Parameter synthesis for polynomial biological models. HSCC (2014)
Alberto Casagrande, Tommaso Dreossi, Jana Fabriková, Carla Piazza
ϵ-Semantics computations on biological systems. Inf. Comput. 236 (2014)
Alberto Casagrande, Tommaso Dreossi, Carla Piazza
Approximated Symbolic Computations over Hybrid Automata. HAS (2013)
Thao Dang, Tommaso Dreossi
Falsifying Oscillation Properties of Parametric Biological Models. HSB (2013)
Alberto Casagrande, Tommaso Dreossi
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems. DSD (2013)
Alberto Casagrande, Tommaso Dreossi, Carla Piazza
Hybrid Automata and ε-Analysis on a Neural Oscillator HSB (2012)