Tommaso Dreossi

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