Daniel Kröning

Publication Activity (10 Years)

Years Active: 2000-2007
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger
A First Step Towards a Unified Proof Checker for QBF. SAT (2007)
Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
Putting it all together - Formal verification of the VAMP. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV (2004)
Daniel Kröning
Formal verification of pipelined microprocessors. Ausgezeichnete Informatikdissertationen (2001)
Daniel Kröning, Wolfgang J. Paul, Silvia M. Müller
Proving the Correctness of Pipelined Micro-Architectures. MBMV (2000)