Christoph Scheben

According to our database, Christoph Scheben authored at least 11 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Information Flow Analysis.

Christoph Scheben, Simon Greiner

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Functional Verification and Information Flow Analysis of an Electronic Voting System.

Daniel Grahl, Christoph Scheben

Proceedings of the Deductive Software Verification - The KeY Book, 2016

2014

Program-level Specification and Deductive Verification of Security Properties.

Christoph Scheben

PhD thesis, 2014

The KeY Platform for Verification and Analysis of Java Programs.

Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Efficient Self-composition for Weakest Precondition Calculi.

Christoph Scheben, Peter H. Schmitt

Proceedings of the FM 2014: Formal Methods, 2014

2013

Information Flow in Object-Oriented Software.

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2011

Verification of Information Flow Properties of Java Programs without Approximations.

Christoph Scheben, Peter H. Schmitt

Proceedings of the Formal Verification of Object-Oriented Software, 2011

The COST IC0701 Verification Competition 2011.

Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs.

Matthias Kuntz, Stefan Leue, Christoph Scheben

Proceedings of the Second International Workshop on Invariant Generation, 2010

2007

Human processor modelling language (HPML): Estimate working memory load trough interaction.

Jürgen Geisler, Christoph Scheben

Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007

2006

Simulation of <i>d</i>'-Dimensional Cellular Automata on <i>d</i>-Dimensional Cellular Automata.

Christoph Scheben

Proceedings of the Cellular Automata, 2006