Simon Wimmer

According to our database, Simon Wimmer authored at least 20 papers between 2013 and 2022.

Collaborative distances:

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

2022

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2020

Trustworthy Verification of Realtime Systems.

Simon Wimmer

PhD thesis, 2020

Verified Certification of Reachability Checking for Timed Automata.

Simon Wimmer, Joshua von Mutius

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Certifying Emptiness of Timed Büchi Automata.

Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

VerifyThis 2019 - Polished Isabelle Solutions.

Peter Lammich, Simon Wimmer

Arch. Formal Proofs, 2019

IMP2 - Simple Program Verification in Isabelle/HOL.

Peter Lammich, Simon Wimmer

Arch. Formal Proofs, 2019

Munta: A Verified Model Checker for Timed Automata.

Simon Wimmer

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018

Monadification, Memoization and Dynamic Programming.

Simon Wimmer, Shuwei Hu, Tobias Nipkow

Arch. Formal Proofs, 2018

Probabilistic Timed Automata.

Simon Wimmer, Johannes Hölzl

Arch. Formal Proofs, 2018

Hidden Markov Models.

Simon Wimmer

Arch. Formal Proofs, 2018

VerifyThis 2018 - Polished Isabelle Solutions.

Peter Lammich, Simon Wimmer

Arch. Formal Proofs, 2018

Verified Model Checking of Timed Automata.

Simon Wimmer, Peter Lammich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Competitive Proving for Fun.

Maximilian Paul Louis Haslbeck, Simon Wimmer

Proceedings of the Selected Student Contributions and Workshop Papers of LuxLogAI 2018, 2018

Verified Memoization and Dynamic Programming.

Simon Wimmer, Shuwei Hu, Tobias Nipkow

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper).

Simon Wimmer, Johannes Hölzl

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

The Floyd-Warshall Algorithm for Shortest Paths.

Simon Wimmer, Peter Lammich

Arch. Formal Proofs, 2017

2016

Timed Automata.

Simon Wimmer

Arch. Formal Proofs, 2016

Formalized Timed Automata.

Simon Wimmer

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2013

Lehmer's Theorem.

Simon Wimmer, Lars Noschinski

Arch. Formal Proofs, 2013

Pratt's Primality Certificates.

Simon Wimmer, Lars Noschinski

Arch. Formal Proofs, 2013