Daniel Kroening

Dr Daniel Kroening

Reader in Computer Science
Non-Tutorial Fellow, Magdalen College

kroening@comlab.ox.ac.uk

interests

I am interested in formal methods for the correct construction of hardware and software systems. This includes compositional reasoning, and automated methods for checking compliance of an implementation with a specification.

I am particularily interested in applying these methods to practical hard- and software implementations given in languages like C or C++.

biography

Doctorate in Computer Science, Saarland University, 2001

links

DBLP
List of Publications

publications

Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT-Solvers

Zinovik, Igor, Kroening, Daniel and Chebiryak, Yury

IEEE Transactions on Information Theory, 2008.

To appear.

Details | BibTeX

A Survey of Automated Techniques for Formal Software Verification

D'Silva, Vijay, Kroening, Daniel and Weissenbacher, Georg

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, No. 7, pages 1165-1178. July 2008.

Details | BibTeX | Link

Scoot: A Tool for the Analysis of SystemC Models

Blanc, Nicolas, Kroening, Daniel and Sharygina, Natasha

In Proceedings of TACAS 2008 Springer, 2008.

To appear.

Details | BibTeX

View all

info

themes	Theory and Automated Verification
activities	Concurrency \| Model Checking \| Programming Tools \| Quantitative Analysis and Verification Group \| Security \| Verification
projects	Model-based test generation for embedded systems
student	Georg Weissenbacher

location

Wolfson Building, Parks Road, Oxford OX1 3QD