Travelled to:1 × Norway
Collaborated with:T.Dang S.A.Seshia C.Piazza S.Jha D.J.Fremont S.Ghosh Xiangyu Yue A.L.Sangiovanni-Vincentelli E.Kim H.Ravanbakhsh M.Vazquez-Chanlatte
Talks about:specif (3) tempor (2) system (2) adversari (1) synthesi (1) scenario (1) intellig (1) artifici (1) toolkit (1) paramet (1)
Person: Tommaso Dreossi
DBLP: Dreossi:Tommaso
Contributed to:
2015
20182019
2019
2017Wrote 5 papers:
- FM-2015-DangDP #logic #parametricity #specification #synthesis
- Parameter Synthesis Through Temporal Logic Specifications (TD, TD, CP), pp. 213–230.
- CAV-2018-DreossiJS #learning #semantics
- Semantic Adversarial Deep Learning (TD, SJ, SAS), pp. 3–26.
- CAV-2019-DreossiFGKRVS #analysis #design #named #tool support
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems (TD, DJF, SG, EK, HR, MVC, SAS), pp. 432–442.
- PLDI-2019-FremontDGYSS #generative #named #specification
- Scenic: a language for scenario specification and scene generation (DJF, TD, SG, XY, ALSV, SAS), pp. 63–78.
- CASE-2017-DangD #hybrid #specification #testing
- Temporal specification testing of hybrid systems (TD, TD), pp. 1338–1343.