Alexander Schimpf

According to our database, Alexander Schimpf authored at least 5 papers between 2009 and 2015.

Collaborative distances:

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

2015

Eine vollständig verifizierte, ausführbare Formelübersetzung à la SPIN.

Alexander Schimpf

PhD thesis, 2015

Büchi Automata Optimisations Formalised in Isabelle/HOL.

Alexander Schimpf, Jan-Georg Smaus

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

2014

Converting Linear-Time Temporal Logic to Generalized Büchi Automata.

Alexander Schimpf, Peter Lammich

Arch. Formal Proofs, 2014

A Fully Verified Executable LTL Model Checker.

Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus

Arch. Formal Proofs, 2014

2009

Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL.

Alexander Schimpf, Stephan Merz, Jan-Georg Smaus

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009