Simon Wimmer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2016–2022
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISoLA | 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 |
| 2020 | TACAS | Verified Certification of Reachability Checking for Timed Automata. | Simon Wimmer, Joshua von Mutius |
| 2018 | ITP | MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper). | Simon Wimmer, Johannes Hlzl |
| 2018 | ITP | Verified Memoization and Dynamic Programming. | Simon Wimmer, Shuwei Hu, Tobias Nipkow |
| 2018 | TACAS | Verified Model Checking of Timed Automata. | Simon Wimmer, Peter Lammich |
| 2016 | ITP | Formalized Timed Automata. | Simon Wimmer |