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: Schemmel:Daniel
Contributed to:
2017
2018Wrote 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.