BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
K.Wehrle J.Büning O.S.Dustmann T.N.0001 D.Liew C.Cadar A.F.Donaldson R.Zähl
Talks about:
symbol (2) version (1) softwar (1) program (1) analysi (1) execut (1) world (1) studi (1) point (1) float (1)

Person: Daniel Schemmel

DBLP DBLP: Schemmel:Daniel

Contributed to:

ASE 20172017
CAV (2) 20182018

Wrote 2 papers:

ASE-2017-LiewSCDZW #case study #execution #float #programming #symbolic computation
Floating-point symbolic execution: a case study in n-version programming (DL, DS, CC, AFD, RZ, KW), pp. 601–612.
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.