Daniel Kroening

Professor Daniel Kroening
Interests
I am interested in automated reasoning for 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, 2001Roles
- Program Comittee Member
See also
Selected Publications
-
Automated formal synthesis of provably safe digital controllers for continuous plants
Alessandro Abate‚ Iury Bessa‚ Lucas Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
In Acta Informatica. December, 2019.
Details about Automated formal synthesis of provably safe digital controllers for continuous plants | BibTeX data for Automated formal synthesis of provably safe digital controllers for continuous plants | DOI (10.1007/s00236-019-00359-1)
-
Kayak: Safe Semantic Refactoring to Java Streams
Cristina David‚ Pascal Kesseli and Daniel Kroening
In CoRR. Vol. abs/1712.07388. 2017.
Details about Kayak: Safe Semantic Refactoring to Java Streams | BibTeX data for Kayak: Safe Semantic Refactoring to Java Streams | Link to Kayak: Safe Semantic Refactoring to Java Streams
-
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 about Abstract Conflict Driven Learning | BibTeX data for Abstract Conflict Driven Learning
Activities
- Software Engineering
- Software Model Checking
- Concurrency
- Programming Tools
- Hardware Verification
- Security
- Model Checking
- Quantitative Analysis and Verification
Projects
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
- CPROVER
- EPSRC UAV Autonomy