Travelled to:1 × Canada
Collaborated with:O.S.Dustmann C.Cadar D.Schemmel R.Sasnauskas J.Büning T.N.0001 D.Liew A.F.Donaldson R.Zähl
Talks about:symbol (4) system (2) execut (2) distribut (1) version (1) softwar (1) program (1) analysi (1) theori (1) solver (1)
Person: Klaus Wehrle
DBLP: Wehrle:Klaus
Contributed to:
2012
20172018
2018Wrote 4 papers:
- ICST-2012-DustmannSW #distributed #testing
- Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
- 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.
- 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.