Alexander Schimpf

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Concurrent Systems

Formal Verification

Finite Automaton

Top Venues

Arch. Formal Proofs

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Alexander Schimpf, Jan-Georg Smaus
Büchi Automata Optimisations Formalised in Isabelle/HOL. ICLA (2015)
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
A Fully Verified Executable LTL Model Checker. Arch. Formal Proofs 2014 (2014)
Alexander Schimpf, Peter Lammich
Converting Linear-Time Temporal Logic to Generalized Büchi Automata. Arch. Formal Proofs 2014 (2014)
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
A Fully Verified Executable LTL Model Checker. CAV (2013)
Alexander Schimpf, Stephan Merz, Jan-Georg Smaus
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. TPHOLs (2009)