Name Card

Full name Familienname, Vorname
Kroening, Daniel
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
126_Using model checking tools to triage the severity of security bugs in the Xen hypervisor.pdf.jpgCook, Byron ; Döbel, Björn ; Kroening, Daniel ; Manthey, Norbert ; Pohlack, Martin ; Polgreen, Elizabeth ; Tautschnig, Michael ; Wieczorkiewicz, Pawel Using model checking tools to triage the severity of security bugs in the Xen hypervisorKonferenzbeitrag Inproceedings 2020
2Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg Proving Safety with Trace Automata and Bounded Model CheckingKonferenzbeitrag Inproceedings 2015
3Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg Under-approximating loops in C programs for fast counterexample detectionArtikel Article 2015
4Kroening, Daniel ; Lewis, Matt ; Weissenbacher, Georg Under-Approximating Loops in C Programs for Fast Counterexample DetectionKonferenzbeitrag Inproceedings 2013
5Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Proving Reachability Using FShellKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tautschnig Michael - 2011 - Query-driven program testing.pdf.jpgTautschnig, Michael Query-driven program testingThesis Hochschulschrift 2011
2Holzer, Andreas ; Tautschnig, Michael ; Schallhart, Christian ; Veith, Helmut An Introduction to Test Specification in FQLKonferenzbeitrag Inproceedings 2010