We stand with Ukraine  

Simon Wimmer

Orcid: 0000-0001-5998-4655

Affiliations:
  • University of Pennsylvania, Philadelphia, PA, USA
  • Technische Universität München, Germany (former)


According to our database1, Simon Wimmer authored at least 24 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Difference Bound Matrices.
[BibTeX]
[DOI]
Simon Wimmer
,
Peter Lammich
Arch. Formal Proofs, 2024

Worklist Algorithms.
[BibTeX]
[DOI]
Simon Wimmer
,
Peter Lammich
Arch. Formal Proofs, 2024

LL(1) Parser Generator.
[BibTeX]
[DOI]
Sarah Tilscher
,
Simon Wimmer
Arch. Formal Proofs, 2024

AutoCorres2.
[BibTeX]
[DOI]
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
Arch. Formal Proofs, 2024

2022
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Simon Wimmer
PhD thesis, 2020

Verified Certification of Reachability Checking for Timed Automata.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Peter Lammich
,
Simon Wimmer
Arch. Formal Proofs, 2019

IMP2 - Simple Program Verification in Isabelle/HOL.
[BibTeX]
[DOI]
Peter Lammich
,
Simon Wimmer
Arch. Formal Proofs, 2019

Munta: A Verified Model Checker for Timed Automata.
[BibTeX]
[DOI]
Simon Wimmer
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018
Monadification, Memoization and Dynamic Programming.
[BibTeX]
[DOI]
Simon Wimmer
,
Shuwei Hu
,
Tobias Nipkow
Arch. Formal Proofs, 2018

Probabilistic Timed Automata.
[BibTeX]
[DOI]
Simon Wimmer
,
Johannes Hölzl
Arch. Formal Proofs, 2018

Hidden Markov Models.
[BibTeX]
[DOI]
Simon Wimmer
Arch. Formal Proofs, 2018

VerifyThis 2018 - Polished Isabelle Solutions.
[BibTeX]
[DOI]
Peter Lammich
,
Simon Wimmer
Arch. Formal Proofs, 2018

Verified Model Checking of Timed Automata.
[BibTeX]
[DOI]
Simon Wimmer
,
Peter Lammich
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Competitive Proving for Fun.
[BibTeX]
[DOI]
Maximilian Paul Louis Haslbeck
,
Simon Wimmer
Proceedings of the Selected Student Contributions and Workshop Papers of LuxLogAI 2018, 2018

Verified Memoization and Dynamic Programming.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
Simon Wimmer
,
Johannes Hölzl
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017
The Floyd-Warshall Algorithm for Shortest Paths.
[BibTeX]
[DOI]
Simon Wimmer
,
Peter Lammich
Arch. Formal Proofs, 2017

2016
Timed Automata.
[BibTeX]
[DOI]
Simon Wimmer
Arch. Formal Proofs, 2016

Formalized Timed Automata.
[BibTeX]
[DOI]
Simon Wimmer
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2013
Lehmer's Theorem.
[BibTeX]
[DOI]
Simon Wimmer
,
Lars Noschinski
Arch. Formal Proofs, 2013

Pratt's Primality Certificates.
[BibTeX]
[DOI]
Simon Wimmer
,
Lars Noschinski
Arch. Formal Proofs, 2013


  Loading...