Follow
Simon Wimmer
Simon Wimmer
Fakultät für Informatik, Technische Universität München
Verified email at in.tum.de - Homepage
Title
Cited by
Cited by
Year
Verified model checking of timed automata
S Wimmer, P Lammich
International Conference on Tools and Algorithms for the Construction and …, 2018
362018
Verified memoization and dynamic programming
S Wimmer, S Hu, T Nipkow
International Conference on Interactive Theorem Proving, 579-596, 2018
162018
Verified certification of reachability checking for timed automata
S Wimmer, J Mutius
International Conference on Tools and Algorithms for the Construction and …, 2020
152020
Functional Algorithms, Verified
T Nipkow, J Blanchette, M Eberl, A Gómez-Londoño, P Lammich, ...
92021
Formalized timed automata
S Wimmer
International Conference on Interactive Theorem Proving, 425-440, 2016
92016
Certifying emptiness of timed Büchi automata
S Wimmer, F Herbreteau, J van de Pol
International Conference on Formal Modeling and Analysis of Timed Systems, 58-75, 2020
62020
IMP2-simple program verification in Isabelle/HOL
P Lammich, S Wimmer
Archive of Formal Proofs, 2019
62019
Safe and secure future AI-driven railway technologies: challenges for formal methods in railway
M Seisenberger, MH ter Beek, X Fan, A Ferrari, AE Haxthausen, P James, ...
International Symposium on Leveraging Applications of Formal Methods, 246-268, 2022
52022
Munta: A verified model checker for timed automata
S Wimmer
Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019
52019
Mdp+ ta= pta: Probabilistic timed automata, formalized (short paper)
S Wimmer, J Hölzl
International Conference on Interactive Theorem Proving, 597-603, 2018
52018
Competitive proving for fun
MPL Haslbeck, S Wimmer
Kalpa Publications in Computing 10, 9-14, 2019
42019
The Floyd-Warshall algorithm for shortest paths
S Wimmer, P Lammich
Archive of Formal Proofs 2017, 2017
42017
Monadification, memoization and dynamic programming
S Wimmer, S Hu, T Nipkow
Archive of Formal Proofs, 2018
32018
Verifythis 2019–polished isabelle solutions
P Lammich, S Wimmer
Archive of Formal Proofs, Oct, 2019
22019
Timed automata
S Wimmer
Archive of Formal Proofs, 2016
12016
A Formalisation of Lehmer’s primality criterion
S Wimmer, L Noschinski
Arch. Formal Proofs, Isabelle, 2013
12013
Hidden Markov Models
S Wimmer
2023
Trustworthy Verification of Realtime Systems
S Wimmer
Technische Universität München, 2020
2020
Probabilistic Timed Automata
S Wimmer, J Hölzl
Arch. Formal Proofs 2018, 2018
2018
A Formalization of Pratt’s Primality Certificates
S Wimmer, L Noschinski
2016
The system can't perform the operation now. Try again later.
Articles 1–20