Dominic Steinhöfel
Dominic Steinhöfel
Home
Publications
Projects
Teaching
Talks
Events
Posts
Contact
CV
Light
Dark
Automatic
7
Abstract Execution: Automatically Proving Infinitely Many Programs
PhD thesis introducing a complete framework for Abstract Execution, as well a general framework for symbolic execution, model and …
Dominic Steinhöfel
PDF
Cite
DOI
From Trees to DAGs: A General Lattice Model for Symbolic Execution
Dominic Scheurer
PDF
Cite
Enforcing Datalog Policies with Service Automata on Distributed Version Control Systems
Dominic Scheurer
Cite
Cite
×