default search action
Tommaso Dreossi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j6]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): 3805-3849 (2023) - [c22]Eric Vin
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) 2023: 253-265 - [i11]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 abs/2307.03325 (2023) - 2022
- [j5]Alberto Casagrande
Parameter synthesis of polynomial dynamical systems. Inf. Comput. 289(Part): 104941 (2022) - [c21]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: 217-225 - 2021
- [i10]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 abs/2110.07460 (2021) - 2020
- [j4]Sanjit A. Seshia
Semantic Adversarial Deep Learning. IEEE Des. Test 37(2): 8-18 (2020) - [c20]Parth Gupta, Tommaso Dreossi, Jan Bakus, Yu-Hsiang Lin, Vamsi Salaka:
Treating Cold Start in Product Search by Priors. WWW (Companion Volume) 2020: 77-78 - [c19]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: 33-42 - [i9]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 abs/2010.06580 (2020)
2010 – 2019
- 2019
- [j3]Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. J. Autom. Reason. 63(4): 1031-1053 (2019) - [c18]Tommaso Dreossi, Daniel J. Fremont
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. CAV (1) 2019: 432-442 - [c17]Daniel J. Fremont
Scenic: a language for scenario specification and scene generation. PLDI 2019: 63-78 - [p1]Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza
Set-Based Analysis for Biological Modeling. Automated Reasoning for Systems Biology and Medicine 2019: 157-189 - [i8]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 abs/1902.04245 (2019) - [i7]Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
A Formalization of Robustness for Deep Neural Networks. CoRR abs/1903.10033 (2019) - 2018
- [c16]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: 20-34 - [c15]Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia:
Semantic Adversarial Deep Learning. CAV (1) 2018: 3-26 - [c14]Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Counterexample-Guided Data Augmentation. IJCAI 2018: 2071-2078 - [i6]Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia:
Semantic Adversarial Deep Learning. CoRR abs/1804.07045 (2018) - [i5]Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Counterexample-Guided Data Augmentation. CoRR abs/1805.06962 (2018) - [i4]Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: Language-Based Scene Generation. CoRR abs/1809.09310 (2018) - 2017
- [j2]Tommaso Dreossi, Thao Dang, Carla Piazza
Reachability computation for polynomial dynamical systems. Formal Methods Syst. Des. 50(1): 1-38 (2017) - [c13]Thao Dang, Tommaso Dreossi:
Temporal specification testing of hybrid systems. CASE 2017: 1338-1343 - [c12]Tommaso Dreossi:
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. HSCC 2017: 29-34 - [c11]Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. NFM 2017: 357-372 - [c10]Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia:
Combining Model Checking and Runtime Verification for Safe Robotics. RV 2017: 172-189 - [i3]Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. CoRR abs/1703.00978 (2017) - [i2]Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Systematic Testing of Convolutional Neural Networks for Autonomous Driving. CoRR abs/1708.03309 (2017) - 2016
- [b1]Tommaso Dreossi:
Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems. University of Udine, Italy, 2016 - [c9]Tommaso Dreossi, Thao Dang, Carla Piazza
Parallelotope Bundles for Polynomial Reachability. HSCC 2016: 297-306 - [i1]Tommaso Dreossi:
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. CoRR abs/1607.02200 (2016) - 2015
- [c8]Thao Dang, Tommaso Dreossi, Carla Piazza
Parameter Synthesis Through Temporal Logic Specifications. FM 2015: 213-230 - [c7]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: 127-142 - 2014
- [j1]Alberto Casagrande
ϵ-Semantics computations on biological systems. Inf. Comput. 236: 35-51 (2014) - [c6]Thao Dang, Tommaso Dreossi, Carla Piazza
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. HSB 2014: 67-82 - [c5]Tommaso Dreossi, Thao Dang:
Parameter synthesis for polynomial biological models. HSCC 2014: 233-242 - 2013
- [c4]Alberto Casagrande
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems. DSD 2013: 815-818 - [c3]Alberto Casagrande
Approximated Symbolic Computations over Hybrid Automata. HAS 2013: 43-57 - [c2]Thao Dang, Tommaso Dreossi:
Falsifying Oscillation Properties of Parametric Biological Models. HSB 2013: 53-67 - 2012
- [c1]Alberto Casagrande, Tommaso Dreossi, Carla Piazza
Hybrid Automata and ε-Analysis on a Neural Oscillator. HSB 2012: 58-72
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-15 23:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: