Christoph Scheben

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Regression Testing

Object Oriented Software

Software Architecture

Top Venues

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

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
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Christoph Scheben, Peter H. Schmitt
Efficient Self-composition for Weakest Precondition Calculi. FM (2014)
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
Information Flow in Object-Oriented Software. LOPSTR (2013)
Christoph Scheben, Peter H. Schmitt
Verification of Information Flow Properties of Java Programs without Approximations. FoVeOOS (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
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
Matthias Kuntz, Stefan Leue, Christoph Scheben
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. WING@ETAPS/IJCAR (2010)
Jürgen Geisler, Christoph Scheben
Human processor modelling language (HPML): Estimate working memory load trough interaction. IFAC HMS (2007)
Christoph Scheben
-Dimensional Cellular Automata. ACRI (2006)