default search action

combined dblp search
author search
venue search
publication search

ask others

Tommaso Dreossi

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2016
[b1]
- view
- export record
  dblp key:
  - phd/it/Dreossi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/it/Dreossi16
Tommaso Dreossi:
Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems. University of Udine, Italy, 2016

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ml/FremontKDGYSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ml/FremontKDGYSS23
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)
2022
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/CasagrandeDDDPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CasagrandeDDDPP22
Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia:
Parameter synthesis of polynomial dynamical systems. Inf. Comput. 289(Part): 104941 (2022)
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/SeshiaJD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/SeshiaJD20
Sanjit A. Seshia, Somesh Jha, Tommaso Dreossi:
Semantic Adversarial Deep Learning. IEEE Des. Test 37(2): 8-18 (2020)
2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DreossiDS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DreossiDS19
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)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DreossiDP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DreossiDP17
Tommaso Dreossi, Thao Dang, Carla Piazza:
Reachability computation for polynomial dynamical systems. Formal Methods Syst. Des. 50(1): 1-38 (2017)
2014
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CasagrandeDFP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CasagrandeDFP14
Alberto Casagrande, Tommaso Dreossi, Jana Fabriková, Carla Piazza:
ϵ-Semantics computations on biological systems. Inf. Comput. 236: 35-51 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/VinKRFKDGYSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/VinKRFKDGYSS23
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: 253-265
2022
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sdm/DengHDLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdm/DengHDLM22
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
2020
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/www/GuptaDBLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/GuptaDBLS20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2101-05415
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-05415
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
2019
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DreossiFGKRVS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DreossiFGKRVS19
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: 432-442
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FremontDGYSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FremontDGYSS19
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: 63-78
2018
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SeshiaDDFGKSVY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SeshiaDDFGKSVY18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DreossiJS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DreossiJS18
Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia:
Semantic Adversarial Deep Learning. CAV (1) 2018: 3-26
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DreossiGYKSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DreossiGYKSS18
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Counterexample-Guided Data Augmentation. IJCAI 2018: 2071-2078
2017
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/case/DangD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/DangD17
Thao Dang, Tommaso Dreossi:
Temporal specification testing of hybrid systems. CASE 2017: 1338-1343
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Dreossi17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Dreossi17
Tommaso Dreossi:
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. HSCC 2017: 29-34
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DreossiDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DreossiDS17
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. NFM 2017: 357-372
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DesaiDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DesaiDS17
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia:
Combining Model Checking and Runtime Verification for Safe Robotics. RV 2017: 172-189
2016
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/DreossiDP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/DreossiDP16
Tommaso Dreossi, Thao Dang, Carla Piazza:
Parallelotope Bundles for Polynomial Reachability. HSCC 2016: 297-306
2015
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DangDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DangDP15
Thao Dang, Tommaso Dreossi, Carla Piazza:
Parameter Synthesis Through Temporal Logic Specifications. FM 2015: 213-230
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DreossiDDKJD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DreossiDDKJD15
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
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/DangDP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/DangDP14
Thao Dang, Tommaso Dreossi, Carla Piazza:
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. HSB 2014: 67-82
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/DreossiD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/DreossiD14
Tommaso Dreossi, Thao Dang:
Parameter synthesis for polynomial biological models. HSCC 2014: 233-242
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/CasagrandeD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/CasagrandeD13
Alberto Casagrande, Tommaso Dreossi:
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems. DSD 2013: 815-818
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CasagrandeDP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CasagrandeDP13
Alberto Casagrande, Tommaso Dreossi, Carla Piazza:
Approximated Symbolic Computations over Hybrid Automata. HAS 2013: 43-57
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DangD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DangD13
Thao Dang, Tommaso Dreossi:
Falsifying Oscillation Properties of Parametric Biological Models. HSB 2013: 53-67
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-3852
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-3852
Alberto Casagrande, Tommaso Dreossi, Carla Piazza:
Hybrid Automata and ε-Analysis on a Neural Oscillator. HSB 2012: 58-72

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2019
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/cb/DangDFMPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/DangDFMPR19
Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca:
Set-Based Analysis for Biological Modeling. Automated Reasoning for Systems Biology and Medicine 2019: 157-189

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-03325
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-03325
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)
2021
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-07460
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-07460
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
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-06580
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-06580
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)
2019
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-04245
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-04245
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-10033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-10033
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
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-07045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-07045
Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia:
Semantic Adversarial Deep Learning. CoRR abs/1804.07045 (2018)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-06962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-06962
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-09310
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-09310
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
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DreossiDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DreossiDS17
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. CoRR abs/1703.00978 (2017)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-03309
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-03309
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
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Dreossi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Dreossi16
Tommaso Dreossi:
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. CoRR abs/1607.02200 (2016)

Coauthor Index

see FAQ

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.