Simon Wimmer

27 papers B 3Journal 17Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Munta: A Verified Model Checker for Timed Automata.
Arch. Formal Proofs
Simon Wimmer
2025 J jnl
Muntac: A Verified Certificate Checker for Timed Automata.
Arch. Formal Proofs
Simon Wimmer
2024 J jnl
AutoCorres2.
Arch. Formal Proofs
Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon Wimmer
2024 J jnl
Difference Bound Matrices.
Arch. Formal Proofs
Simon Wimmer, Peter Lammich
2024 J jnl
LL(1) Parser Generator.
Arch. Formal Proofs
Sarah Tilscher, Simon Wimmer
2024 J jnl
Worklist Algorithms.
Arch. Formal Proofs
Simon Wimmer, Peter Lammich
2022 — conf
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.
ISoLA (4)
Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer
2020 — conf
Certifying Emptiness of Timed Büchi Automata.
FORMATS
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
2020 J jnl
Certifying Emptiness of Timed Büchi Automata.
CoRR
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
2020 — —
Trustworthy Verification of Realtime Systems.
Simon Wimmer
2020 — conf
Verified Certification of Reachability Checking for Timed Automata.
TACAS (1)
Simon Wimmer, Joshua von Mutius
2019 J jnl
IMP2 - Simple Program Verification in Isabelle/HOL.
Arch. Formal Proofs
Peter Lammich, Simon Wimmer
2019 — conf
Munta: A Verified Model Checker for Timed Automata.
FORMATS
Simon Wimmer
2019 J jnl
VerifyThis 2019 - Polished Isabelle Solutions.
Arch. Formal Proofs
Peter Lammich, Simon Wimmer
2018 — conf
Competitive Proving for Fun.
LuxLogAI (Student / Workshop Papers)
Maximilian Paul Louis Haslbeck, Simon Wimmer
2018 J jnl
Hidden Markov Models.
Arch. Formal Proofs
Simon Wimmer
2018 B conf
MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper).
ITP
Simon Wimmer, Johannes Hölzl
2018 J jnl
Monadification, Memoization and Dynamic Programming.
Arch. Formal Proofs
Simon Wimmer, Shuwei Hu, Tobias Nipkow
2018 J jnl
Probabilistic Timed Automata.
Arch. Formal Proofs
Simon Wimmer, Johannes Hölzl
2018 B conf
Verified Memoization and Dynamic Programming.
ITP
Simon Wimmer, Shuwei Hu, Tobias Nipkow
2018 — conf
Verified Model Checking of Timed Automata.
TACAS (1)
Simon Wimmer, Peter Lammich
2018 J jnl
VerifyThis 2018 - Polished Isabelle Solutions.
Arch. Formal Proofs
Peter Lammich, Simon Wimmer
2017 J jnl
The Floyd-Warshall Algorithm for Shortest Paths.
Arch. Formal Proofs
Simon Wimmer, Peter Lammich
2016 B conf
Formalized Timed Automata.
ITP
Simon Wimmer
2016 J jnl
Timed Automata.
Arch. Formal Proofs
Simon Wimmer
2013 J jnl
Lehmer's Theorem.
Arch. Formal Proofs
Simon Wimmer, Lars Noschinski
2013 J jnl
Pratt's Primality Certificates.
Arch. Formal Proofs
Simon Wimmer, Lars Noschinski