Daniel Kroening
|
Professor
Daniel
Kroening
Professor of Computer Science
Non-Tutorial Fellow,
Magdalen College
kroening@cs.ox.ac.uk
|
Interests
I am interested in automatic methods for quality assurance of hardware and software systems. I am particularily interested in large-scale hard- and software implementations given in languages like C or C++, and systems that make use of concurrent threads of execution.
Biography
Doctorate in Computer Science, Saarland University, 2001Links
List of Publications, DBLP
Roles
View all
CAV 2009 , Program Comittee Member
Selected Publications
View all
Manage publications
| Abstract Conflict Driven Learning V. D'Silva‚ L. Haller and D. Kroening In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013. Details | BibTeX |
| Abstraction of Syntax V. D'Silva and D. Kroening In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. Springer−Verlag. 2013. Details | BibTeX |
| An Abstract Interpretation of DPLL(T) M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. 2013. Details | BibTeX |
Info
|
Themes |
Automated Verification | Foundations, Logic and Structures | Software Engineering | Programming Languages |
|
Activities |
Software Model Checking | Concurrency | Programming Tools | Hardware Verification | Security | Model Checking | Quantitative Analysis and Verification |
|
Projects |
CPROVER | Intel Firmware |
|
Completed Projects |
Model-based test generation for embedded systems | Efficient Verification of Software with Replicated Components | CESAR | Generalisation Operators for Abstraction-Refinement | Verification of Shared-Memory Concurrent Software | PINCETTE | EPSRC UAV Autonomy | |
|
Current Students |
|
|
Past Students |
|
SHARE THIS: