Steffen Schlager
Steffen Schlager
University of Applies Sciences Offenburg
Verified email at hs-offenburg.de
Title
Cited by
Cited by
Year
The key tool
W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...
Software & Systems Modeling 4 (1), 32-54, 2005
3762005
RACË Å
B Beckert, M Giese, E Habermalz, R Hähnle, A Roth, P Rummer, ...
Ciencias 98 (1), 17-53, 2004
392004
A sequent calculus for first-order dynamic logic with trace modalities
B Beckert, S Schlager
International Joint Conference on Automated Reasoning, 626-641, 2001
332001
Software verification with integrated data type refinement for integer arithmetic
B Beckert, S Schlager
International Conference on Integrated Formal Methods, 207-226, 2004
312004
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
262005
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, 69-177, 2007
102007
Handling of integer arithmetic in the verification of JAVA programs
S Schlager
Master's thesis, Universität Karlsruhe, 2002
102002
Refinement and retrenchment for programming language data types
B Beckert, S Schlager
Formal Aspects of Computing 17 (4), 423-442, 2005
92005
Verification of JCSP Programs.
V Klebanov, P Rümmer, S Schlager, PH Schmitt
CPA, 203-218, 2005
82005
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 and System Modeling, 2004
52004
Integer arithmetic in the specification and verification of JAVA programs
B Beckert, S Schlager
52002
Symbolic execution as a framework for deductive verification of object-oriented programs
S Schlager
Sierke, 2007
42007
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
1
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, 591-598, 2007
2007
Java Integers
S Schlager
Verification of Object-Oriented Software. The KeY Approach, 481-505, 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