Information Flow Analysis.
Proceedings of the Deductive Software Verification - The KeY Book, 2016
Functional Verification and Information Flow Analysis of an Electronic Voting System.
Proceedings of the Deductive Software Verification - The KeY Book, 2016
Program-level Specification and Deductive Verification of Security Properties.
PhD thesis, 2014
The KeY Platform for Verification and Analysis of Java Programs.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014
Efficient Self-composition for Weakest Precondition Calculi.
Proceedings of the FM 2014: Formal Methods, 2014
Information Flow in Object-Oriented Software.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013
Verification of Information Flow Properties of Java Programs without Approximations.
Proceedings of the Formal Verification of Object-Oriented Software, 2011
The COST IC0701 Verification Competition 2011.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Formal Verification of Object-Oriented Software, 2011
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs.
Proceedings of the Second International Workshop on Invariant Generation, 2010
Human processor modelling language (HPML): Estimate working memory load trough interaction.
Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007
Simulation of <i>d</i>'-Dimensional Cellular Automata on <i>d</i>-Dimensional Cellular Automata.
Proceedings of the Cellular Automata, 2006