Tommaso Dreossi

Mach. Learn., October, 2023

3D Environment Modeling for Falsification and Beyond with Scenic 3.0.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Parameter synthesis of polynomial dynamical systems.

[BibT_eX]

[DOI]

Inf. Comput., 2022

IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance.

[BibT_eX]

[DOI]

Proceedings of the 2022 SIAM International Conference on Data Mining, 2022

2020

Semantic Adversarial Deep Learning.

[BibT_eX]

[DOI]

Somesh Jha

IEEE Des. Test, 2020

Analysis of E-commerce Ranking Signals via Signal Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2020

Treating Cold Start in Product Search by Priors.

[BibT_eX]

[DOI]

Proceedings of the Companion of The 2020 Web Conference 2020, 2020

2019

Set-Based Analysis for Biological Modeling.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components.

[BibT_eX]

[DOI]

Alexandre Donzé

J. Autom. Reason., 2019

A Formalization of Robustness for Deep Neural Networks.

[BibT_eX]

[DOI]

Shromona Ghosh

Marcell Vazquez-Chanlatte

CoRR, 2019

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Scenic: a language for scenario specification and scene generation.

[BibT_eX]

[DOI]

Marcell Vazquez-Chanlatte

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Scenic: Language-Based Scene Generation.

[BibT_eX]

[DOI]

CoRR, 2018

Counterexample-Guided Data Augmentation.

[BibT_eX]

[DOI]

Marcell Vazquez-Chanlatte

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Formal Specification for Deep Neural Networks.

[BibT_eX]

[DOI]

Xiangyu Yue

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Reachability computation for polynomial dynamical systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2017

Systematic Testing of Convolutional Neural Networks for Autonomous Driving.

[BibT_eX]

[DOI]

Shromona Ghosh

CoRR, 2017

Combining Model Checking and Runtime Verification for Safe Robotics.

[BibT_eX]

[DOI]

Ankush Desai

Proceedings of the Runtime Verification - 17th International Conference, 2017

Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Temporal specification testing of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems.

[BibT_eX]

[DOI]

PhD thesis, 2016

Parallelotope Bundles for Polynomial Reachability.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.

[BibT_eX]

[DOI]

Jyotirmoy V. Deshmukh

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Parameter Synthesis Through Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

2014

ϵ-Semantics computations on biological systems.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Parameter synthesis for polynomial biological models.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology, 2014

2013

Falsifying Oscillation Properties of Parametric Biological Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Approximated Symbolic Computations over Hybrid Automata.

[BibT_eX]

[DOI]

Alberto Casagrande

Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems.

[BibT_eX]

[DOI]

Alberto Casagrande

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Hybrid Automata and ε-Analysis on a Neural Oscillator

[BibT_eX]

[DOI]

Alberto Casagrande