Dipl.-Inform. Christoph Scheben

Publications

Workshop Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter Schmitt and Mattias Ulbrich. The KeY Platform for Verification and Analysis of Java Programs. In Dimitra Giannakopoulou and Daniel Kroening, editors, VSTTE 2014: 6th Working Conference on Verified Software: Theories, Tools, and Experiments, Lecture Notes in Computer Science. Springer International Publishing, 2014. (To appear.)
Conference Christoph Scheben and Peter H. Schmitt. Efficient self-composition for weakest precondition calculi. In Cliff Jones, Pekka Pihlajasaari, and Jun Sun, editors, FM 2014: Formal Methods, volume 8442 of Lecture Notes in Computer Science, pages 579–594. Springer International Publishing, 2014. ISBN 978-3-319-06409-3. doi: 10.1007/978-3-319-06410-9 39. pdf.
Conference Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich. Information flow in object-oriented software. In Gopal Gupta and Ricardo Peñna, editors, Logic-Based Program Synthesis and Transformation, LOPSTR 2013, pages 15–32, Madrid, Spain, Sept. 2013. Dpto. de Systems Informaticos y Computation, Universidad Complutense de Madrid, TR-11-13. (Submitted to Post-Proceedings.)
Technical Report Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich. Information flow in object-oriented software ─ extended version ─. Technical Report 2013-14, Department of Informatics, Karlsruhe Institute of Technology, 2013. pdf.
Workshop Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Jürgen Graf, and Christoph Scheben. A hybrid approach for proving noninterference and applications to the cryptographic verification of Java programs. In Christian Hammer and Sjouke Mauw, editors, Grande Region Security and Reliability Day 2013, Luxembourg, 2013. pdf.
Conference Christoph Scheben and Peter H. Schmitt. Verification of information flow properties of Java programs without approximations. In Formal Verification of Object-Oriented Software, FoVeOOS 2011, Revised Selected Papers, Lecture Notes in Computer Science, Springer, 2012. pdf.
Conference 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. In Formal Verification of Object-Oriented Software. Lecture Notes in Computer Science, Springer, 2012. pdf.
Technical Report Bernhard Beckert, Daniel Bruns, Ralf Küsters, Christoph Scheben, Peter H. Schmitt, and Tomasz Truderung. The KeY Approach for the Cryptographic Verification of JAVA Programs: A Case Study. Technical Report 2012-8, KIT, Fakultät für Informatik, 2012. pdf.
Workshop Matthias Kuntz and Stefan Leue and Christoph Scheben. Extending non-termination proof techniques to asynchronously communicating concurrent programs. Workshop on Invariant Generation, WING 2010. pdf.
Technical Report Matthias Kuntz and Stefan Leue and Christoph Scheben, Wei Wei and Sen Yang. Heuristic Search for Unbounded Executions. Technical Report, Bibliothek der Universität Konstanz, 2009. pdf.
Diploma thesis Scheben, Christoph. Verification of sun SPOT’s network library. Diploma thesis, Universität Karlsruhe, 2008. pdf.
Conference Jürgen Geisler and Christoph Scheben. Human processor modelling language (HPML): Estimate working memory load trough interaction. Analysis, Design, and Evaluation of Human-Machine Systems. Vol. 10. No. 1. 2007.
Conference Scheben, Christoph. Simulation of d′-dimensional cellular automata on d-dimensional cellular automata. Cellular Automata. Lecture Notes in Computer Science, Springer, 2006. pdf.