| A Formalization of the RTSJ Scoped Memory Model in Dynamic Logic |
Christian Engel
Peter H. Schmitt |
Logics for System Analysis (LfSA 2010), Edinburgh, UK, 2010 |
| Enhanced Dispatchability of Aircrafts using Multi-Static Configurations |
Christian Engel
Eric Jenn
Peter H. Schmitt
Rodrigo Coutinho
Tobias Schoofs |
Embedded Real Time Software and Systems (ERTS² 2010), Toulouse, France, 2010 |
| Deductive Verification of Safety-Critical Java Programs |
Christian Engel |
Digitales Volltextarchiv des KIT |
| Verification of Modifies Clauses in Dynamic Logic with Non-rigid Functions |
Christian Engel
Andreas Roth
Peter H. Schmitt
Benjamin Weiß |
Technical Report 2009-9, Department of Computer Science, University of Karlsruhe, 2009 |
| Deductive Verification of RTSJ Programs |
Christian Engel |
2nd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008), Rennes, France, 2008 |
| Integrating Verification and Testing of Object-Oriented Software |
Christian Engel
Christoph Gladisch
Vladimir Klebanov
Philipp Rümmer |
2nd International Conference on Tests and Proofs, Prato, Italy, 2008 |
| Verification of Memory Performance Contracts with KeY |
Christian Engel |
Technical Report, University of Karlsruhe, 2007 |
| Generating Unit Tests from Formal Proofs |
Christian Engel
Reiner Hähnle |
International Conference on Tests And Proofs (TAP), ETH Zürich, Switzerland, 2007 |
