Name Card

Full name Familienname, Vorname
Manthey, Norbert
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes ; Manthey, Norbert ; Stecklina, Julian ; Schidler, Andre Towards Faster Reasoners by Using Transparent Huge PagesKonferenzbeitrag Inproceedings 2020
226_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