Simon Wimmer

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 21

Top Topics

Top Venues

Arch. Formal Proofs

Publications

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
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Simon Wimmer, Peter Lammich
Worklist Algorithms. Arch. Formal Proofs 2024 (2024)
Sarah Tilscher, Simon Wimmer
LL(1) Parser Generator. Arch. Formal Proofs 2024 (2024)
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
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) (2022)
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
Certifying Emptiness of Timed Büchi Automata. FORMATS (2020)
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
Certifying Emptiness of Timed Büchi Automata. CoRR (2020)
Simon Wimmer, Joshua von Mutius
Verified Certification of Reachability Checking for Timed Automata. TACAS (1) (2020)
Peter Lammich, Simon Wimmer
IMP2 - Simple Program Verification in Isabelle/HOL. Arch. Formal Proofs 2019 (2019)
Simon Wimmer
Munta: A Verified Model Checker for Timed Automata. FORMATS (2019)
Peter Lammich, Simon Wimmer
VerifyThis 2019 - Polished Isabelle Solutions. Arch. Formal Proofs 2019 (2019)
Simon Wimmer, Johannes Hölzl
Probabilistic Timed Automata. Arch. Formal Proofs 2018 (2018)
Maximilian Paul Louis Haslbeck, Simon Wimmer
Competitive Proving for Fun. LuxLogAI (Student / Workshop Papers) (2018)
Simon Wimmer, Shuwei Hu, Tobias Nipkow
Verified Memoization and Dynamic Programming. ITP (2018)
Simon Wimmer, Peter Lammich
Verified Model Checking of Timed Automata. TACAS (1) (2018)
Simon Wimmer
Hidden Markov Models. Arch. Formal Proofs 2018 (2018)
Simon Wimmer, Johannes Hölzl
MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper). ITP (2018)
Peter Lammich, Simon Wimmer
VerifyThis 2018 - Polished Isabelle Solutions. Arch. Formal Proofs 2018 (2018)
Simon Wimmer, Shuwei Hu, Tobias Nipkow
Monadification, Memoization and Dynamic Programming. Arch. Formal Proofs 2018 (2018)
Simon Wimmer, Peter Lammich
The Floyd-Warshall Algorithm for Shortest Paths. Arch. Formal Proofs 2017 (2017)
Simon Wimmer
Timed Automata. Arch. Formal Proofs 2016 (2016)
Simon Wimmer
Formalized Timed Automata. ITP (2016)
Simon Wimmer, Lars Noschinski
Lehmer's Theorem. Arch. Formal Proofs 2013 (2013)
Simon Wimmer, Lars Noschinski
Pratt's Primality Certificates. Arch. Formal Proofs 2013 (2013)