Daniel Kroening

Dr Daniel Kroening

Reader in Computer Science
Non-Tutorial Fellow, Magdalen College

kroening@comlab.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

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, 2001

links

List of Publications
DBLP

roles

CAV 2009

Program Comittee Member

View all

selected publications (View all)

Interpolant Strength

Vijay D'Silva et al.

In Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) Vol. 5944 of Lecture Notes in Computer Science. Springer, January 2010.

Extended version available as technical report.

Details | BibTeX

Fixed Points in Multi-Cycle Path Detection

Vijay D'Silva, Daniel Kroening

In Bashir Al-Hashimi, editor, Proceedings of the Conference on Design Automation and Test in Europe (DATE) IEEE, 2009.

Details | BibTeX

Verification and Falsification of Programs with Loops Using Predicate Abstraction

Daniel Kroening, Georg Weissenbacher

Formal Aspects of Computing, 2009.

Details | BibTeX | Link | DOI (10.1007/s00165-009-0110-2)

info

themes	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	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
students	Vijay D'Silva \| Leopold Haller \| Alexander Kaiser \| Georg Weissenbacher

recent news

Events Daniel Kroening speaker at the TECS Week: TCS Excellence in Computer Science Conference Daniel Kroening is one of the speakers at the TECS Week: TCS Excellence in Computer Science Conference at the Tata Research Development and Design Centre in Pune, India in early January 2010. Click here for the conference website.

Studentships D.Phil Studentship Verification of Shared-Memory Concurrent Software