Steffen Schlager

According to our database, Steffen Schlager authored at least 12 papers between 2001 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

A Review on Blockchain Technology and Blockchain Projects Fostering Open Science.

Stephan Leible, Steffen Schlager, Moritz Schubotz, Bela Gipp

Frontiers Blockchain, 2019

2007

Predefined Operators in Java Card DL.

Steffen Schlager

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Java Integers.

Steffen Schlager

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Dynamic Logic.

Bernhard Beckert, Vladimir Klebanov, Steffen Schlager

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Symbolic execution as a framework for deductive verification of object-oriented programs.

Steffen Schlager

PhD thesis, 2007

The KeY system 1.0 (Deduction Component).

Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt

Proceedings of the Automated Deduction, 2007

2005

The KeY tool.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Softw. Syst. Model., 2005

Refinement and retrenchment for programming language data types.

Bernhard Beckert, Steffen Schlager

Formal Aspects Comput., 2005

Verification of JCSP Programs.

Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt

Proceedings of the 28th Communicating Process Architectures Conference, 2005

An Improved Rule for While Loops in Deductive Program Verification.

Bernhard Beckert, Steffen Schlager, Peter H. Schmitt

Proceedings of the Formal Methods and Software Engineering, 2005

2004

Software Verification with Integrated Data Type Refinement for Integer Arithmetic.

Bernhard Beckert, Steffen Schlager

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2001

A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities.

Bernhard Beckert, Steffen Schlager

Proceedings of the Automated Reasoning, First International Joint Conference, 2001