Detail page

Knowledge Web

Person

Daniel Kroening

Informatiker

Name	Daniel Kroening
Place	Deutschland
Gender	männlich
Academic degree	Prof. Dr.
Profession	Informatiker (characteristic profession) Hochschullehrer
Variant	D. Kroening
Related	University of Oxford (Professor) (2007-) Eidgenössische Technische Hochschule Zürich (Assistenzprofessor für Informatik) (2004-2007) Carnegie Mellon University (2001-2004)
Further information	studierte Informatik an der Universität Saarbrücken, Promotion 2001; Assistenzprofessor für Informatik (Systembau) am Institut für Computersysteme an der ETH Zürich, seit 2010 Prof.
Source	LCAuth Homepage: http://www.kroening.com/ Internet: https://uk.linkedin.com/in/kroening
Record type	Person
GND-Identifier	135831431
Record ID	135831431
Involved in show all Synthesising Programs with Non-trivial Constants Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration Automated formal synthesis of provably safe digital controllers for continuous plants Decision Procedures : An Algorithmic Point of View Incremental bounded model checking for embedded software Decision Procedures : An Algorithmic Point of View Decision Procedures : An Algorithmic Point of View Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II Generating test case chains for reactive systems Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers Deciding floating-point logic with abstract conflict driven clause learning Hardware and software : verification and testing ; revised selected papers Decision procedures : an algorithmic point of view Decision procedures : an algorithmic point of view Formal verification of pipelined microprocessors Formal verification of pipelined microprocessors

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Daniel Kroening

Synthesising Programs with Non-trivial Constants

Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration

Automated formal synthesis of provably safe digital controllers for continuous plants

Decision Procedures : An Algorithmic Point of View

Incremental bounded model checking for embedded software

Decision Procedures : An Algorithmic Point of View

Decision Procedures : An Algorithmic Point of View

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Generating test case chains for reactive systems

Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Deciding floating-point logic with abstract conflict driven clause learning

Hardware and software : verification and testing ; revised selected papers

Decision procedures : an algorithmic point of view

Decision procedures : an algorithmic point of view

Formal verification of pipelined microprocessors

Formal verification of pipelined microprocessors