BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dreossi:Tommaso

Contributed to:

FM 20152015
CAV (1) 20182018
CAV (1) 20192019
PLDI 20192019
CASE 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.