Steffen Schlager

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 1

Top Topics

Computational Science

Technology Enhanced

Rapid Development

Top Venues

Frontiers Blockchain

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Stephan Leible, Steffen Schlager, Moritz Schubotz, Bela Gipp
A Review on Blockchain Technology and Blockchain Projects Fostering Open Science. Frontiers Blockchain 2 (2019)
Bernhard 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)
Bernhard Beckert, Steffen Schlager, Peter H. Schmitt
An Improved Rule for While Loops in Deductive Program Verification. ICFEM (2005)
Bernhard Beckert, Steffen Schlager
Refinement and retrenchment for programming language data types. Formal Aspects Comput. 17 (4) (2005)
Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
Verification of JCSP Programs. CPA (2005)
Wolfgang 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. Softw. Syst. Model. 4 (1) (2005)
Bernhard Beckert, Steffen Schlager
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. IFM (2004)
Bernhard Beckert, Steffen Schlager
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. IJCAR (2001)