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) January 2010.

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

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