Follow
Steffen Schlager
Steffen Schlager
University of Applies Sciences Offenburg
Verified email at hs-offenburg.de
Title
Cited by
Cited by
Year
The KeY tool: integrating object oriented design and formal verification
W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...
Software & Systems Modeling 4, 32-54, 2005
4122005
RACË Å
B Beckert, M Giese, E Habermalz, R Hähnle, A Roth, P Rummer, ...
Ciencias 98 (1), 17-53, 2004
412004
A sequent calculus for first-order dynamic logic with trace modalities
B Beckert, S Schlager
International Joint Conference on Automated Reasoning, 626-641, 2001
352001
Software verification with integrated data type refinement for integer arithmetic
B Beckert, S Schlager
Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004
332004
An improved rule for while loops in deductive program verification
B Beckert, S Schlager, PH Schmitt
International Conference on Formal Engineering Methods, 315-329, 2005
272005
The KeY system 1.0 (deduction component)
B Beckert, M Giese, R Hähnle, V Klebanov, P Rümmer, S Schlager, ...
International Conference on Automated Deduction, 379-384, 2007
222007
Supporting confidentiality in UML: A profile for the Decentralized Label Model
R Heldal, S Schlager, J Bende
Proc. International Workshop on Critical Systems Development with UML, 56-70, 2004
152004
Dynamic logic
B Beckert, V Klebanov, S Schlager
Verification of Object-Oriented Software. The KeY Approach: Foreword by K …, 2007
112007
Handling of integer arithmetic in the verification of JAVA programs
S Schlager
Master’s thesis, Universität Karlsruhe, 2002. Available at: http://i12www …, 2002
112002
Refinement and retrenchment for programming language data types
B Beckert, S Schlager
Formal Aspects of Computing 17, 423-442, 2005
92005
Verification of JCSP Programs.
V Klebanov, P Rümmer, S Schlager, PH Schmitt
CPA, 203-218, 2005
92005
Symbolic execution as a framework for deductive verification of object-oriented programs
S Schlager
Sierke, 2007
62007
Integer arithmetic in the specification and verification of JAVA programs
B Beckert, S Schlager
Proceedings, Workshop on Tools for System Design and Verification (FM-TOOLS …, 2002
52002
Erweiterung der Dynamischen Logik um temporallogische Operatoren
S Schlager
M. Phil. thesis, Universität Karlsruhe, Fakultät für Informatik. http …, 2000
22000
Key quicktour
T Baar, R Hähnle, S Schlager, S Lauer
See http://www. key-project. org/download, 0
2
Key quicktour for jml
T Baar, R Hähnle, S Schlager
12013
Session 10-Model Checking and Verification-The KeY System 1.0
B Beckert, M Giese, R Hahnle, V Klebanov, P Rummer, S Schlager, ...
Lecture Notes in Computer Science 4603, 379-384, 2007
2007
Predefined Operators in Java Card DL
S Schlager
Verification of Object-Oriented Software. The KeY Approach: Foreword by K …, 2007
2007
Java Integers
S Schlager
Verification of Object-Oriented Software. The KeY Approach: Foreword by K …, 2007
2007
The KeY Tool
R Hähnle, W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, W Menzel, ...
Software and Systems Modeling 4 (1), 32-54, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–20