Tommaso Dreossi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2013–2023
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CAV | 3D Environment Modeling for Falsification and Beyond with Scenic 3.0. | Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2022 | SDM | IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance. | Grace Deng, Cuize Han, Tommaso Dreossi, Clarence Lee, David S. Matteson |
| 2020 | WWW | Treating Cold Start in Product Search by Priors. | Parth Gupta, Tommaso Dreossi, Jan Bakus, Yu-Hsiang Lin, Vamsi Salaka |
| 2019 | CAV | VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. | Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2019 | PLDI | Scenic: a language for scenario specification and scene generation. | Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2018 | ATVA | Formal Specification for Deep Neural Networks. | Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue |
| 2018 | CAV | Semantic Adversarial Deep Learning. | Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia |
| 2018 | IJCAI | Counterexample-Guided Data Augmentation. | Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2017 | RV | Combining Model Checking and Runtime Verification for Safe Robotics. | Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia |
| 2015 | FM | Parameter Synthesis Through Temporal Logic Specifications. | Thao Dang, Tommaso Dreossi, Carla Piazza |
| 2013 | DSD | pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems. | Alberto Casagrande, Tommaso Dreossi |