| Verified model checking of timed automata S Wimmer, P Lammich International Conference on Tools and Algorithms for the Construction and …, 2018 | 41 | 2018 |
| Verified memoization and dynamic programming S Wimmer, S Hu, T Nipkow International Conference on Interactive Theorem Proving, 579-596, 2018 | 18 | 2018 |
| 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 | 16 | 2022 |
| Verified certification of reachability checking for timed automata S Wimmer, J Mutius International Conference on Tools and Algorithms for the Construction and …, 2020 | 15 | 2020 |
| Functional Algorithms, Verified T Nipkow, J Blanchette, M Eberl, A Gómez-Londoño, P Lammich, ... | 13 | 2021 |
| IMP2-simple program verification in Isabelle/HOL P Lammich, S Wimmer Archive of Formal Proofs, 2019 | 9 | 2019 |
| Formalized timed automata S Wimmer International Conference on Interactive Theorem Proving, 425-440, 2016 | 9 | 2016 |
| 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 | 7 | 2020 |
| Munta: A verified model checker for timed automata S Wimmer Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019 | 6 | 2019 |
| IMP2–Simple Program Verification in Isabelle/HOL. Archive of Formal Proofs, 2019 P Lammich, S Wimmer | 5 | 2019 |
| Mdp+ ta= pta: Probabilistic timed automata, formalized (short paper) S Wimmer, J Hölzl International Conference on Interactive Theorem Proving, 597-603, 2018 | 5 | 2018 |
| The Floyd-Warshall algorithm for shortest paths S Wimmer, P Lammich Archive of Formal Proofs 2017, 2017 | 5 | 2017 |
| Functional Data Structures and Algorithms. A Proof Assistant Approach T Nipkow, J Blanchette, M Eberl, A Gomez-Londono, P Lammich, ... ACM Books, Forthcoming. URL: https://functional-algorithms-verified. org, 2024 | 3 | 2024 |
| Competitive proving for fun MPL Haslbeck, S Wimmer Kalpa Publications in Computing 10, 9-14, 2019 | 3 | 2019 |
| Monadification, memoization and dynamic programming S Wimmer, S Hu, T Nipkow Archive of Formal Proofs, 2018 | 3 | 2018 |
| Trustworthy Verification of Realtime Systems S Wimmer Technische Universität München, 2020 | 2 | 2020 |
| Verifythis 2019–polished isabelle solutions P Lammich, S Wimmer Archive of Formal Proofs, Oct, 2019 | 2 | 2019 |
| Timed automata S Wimmer Archive of Formal Proofs, 2016 | 1 | 2016 |
| A Formalisation of Lehmer’s primality criterion S Wimmer, L Noschinski Arch. Formal Proofs, Isabelle, 2013 | 1 | 2013 |
| Difference Bound Matrices S Wimmer, P Lammich | | 2024 |
