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 × Canada
Collaborated with:
K.Wehrle R.Sasnauskas C.Cadar D.Schemmel J.Büning T.N.0001
Talks about:
symbol (3) system (2) distribut (1) softwar (1) analysi (1) theori (1) solver (1) interv (1) execut (1) world (1)

Person: Oscar Soria Dustmann

DBLP DBLP: Dustmann:Oscar_Soria

Contributed to:

ICST 20122012
ASE 20182018
CAV (2) 20182018

Wrote 3 papers:

ICST-2012-DustmannSW #distributed #testing
Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
ASE-2018-DustmannWC #execution #multi #named #symbolic computation
PARTI: a multi-interval theory solver for symbolic execution (OSD, KW, CC), pp. 430–440.
CAV-2018-SchemmelBDNW #analysis #liveness
Symbolic Liveness Analysis of Real-World Software (DS, JB, OSD, TN0, KW), pp. 447–466.

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.