Simulation of d'-Dimensional Cellular Automata on d-Dimensional Cellular Automata. - Christoph Scheben (ACRI, 2006)

Human processor modelling language (HPML): Estimate working memory load trough interaction. - Jürgen Geisler; Christoph Scheben (IFAC HMS, 2007)

Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. - Matthias Kuntz; Stefan Leue; Christoph Scheben (WING@ETAPS/IJCAR, 2010)

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; et al. (FoVeOOS, 2011)

Verification of Information Flow Properties of Java Programs without Approximations. - Christoph Scheben; Peter H. Schmitt (FoVeOOS, 2011)

Information Flow in Object-Oriented Software. - Bernhard Beckert; Daniel Bruns; Vladimir Klebanov; Christoph Scheben; Peter H. Schmitt; Mattias Ulbrich (LOPSTR, 2013)

Efficient Self-composition for Weakest Precondition Calculi. - Christoph Scheben; Peter H. Schmitt (FM, 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 002; Mihai Herda; Vladimir Klebanov; Wojciech Mostowski; Christoph Scheben; et al. (VSTTE, 2014)

Program-level Specification and Deductive Verification of Security Properties. - Christoph Scheben (2014)

Functional Verification and Information Flow Analysis of an Electronic Voting System. - Daniel Grahl; Christoph Scheben (Deductive Software Verification, 2016)

Information Flow Analysis. - Christoph Scheben; Simon Greiner (Deductive Software Verification, 2016)