dblp.uni-trier.dewww.uni-trier.de

Steffen Schlager

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EEBernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: The KeY system 1.0 (Deduction Component). CADE 2007: 379-384
2005
6 Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: Verification of JCSP Programs. CPA 2005: 203-218
5EEBernhard Beckert, Steffen Schlager, Peter H. Schmitt: An Improved Rule for While Loops in Deductive Program Verification. ICFEM 2005: 315-329
4EEBernhard Beckert, Steffen Schlager: Refinement and retrenchment for programming language data types. Formal Asp. Comput. 17(4): 423-442 (2005)
3EEWolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt: The KeY tool. Software and System Modeling 4(1): 32-54 (2005)
2004
2EEBernhard Beckert, Steffen Schlager: Software Verification with Integrated Data Type Refinement for Integer Arithmetic. IFM 2004: 207-226
2001
1EEBernhard Beckert, Steffen Schlager: A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. IJCAR 2001: 626-641

Coauthor Index

1Wolfgang Ahrendt [3]
2Thomas Baar [3]
3Bernhard Beckert [1] [2] [3] [4] [5] [7]
4Richard Bubel [3]
5Martin Giese [3] [7]
6Reiner Hähnle [3] [7]
7Vladimir Klebanov [6] [7]
8Wolfram Menzel [3]
9Wojciech Mostowski [3]
10Andreas Roth [3]
11Philipp Rümmer [6] [7]
12Peter H. Schmitt [3] [5] [6] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)