René Neumann

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 2

Top Topics

Concurrent Systems

Formal Verification

Top Venues

Arch. Formal Proofs

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Peter Lammich, René Neumann
A Framework for Verifying Depth-First Search Algorithms. Arch. Formal Proofs 2016 (2016)
Peter Lammich, René Neumann
A Framework for Verifying Depth-First Search Algorithms. CPP (2015)
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
A Fully Verified Executable LTL Model Checker. Arch. Formal Proofs 2014 (2014)
René Neumann
Using Promela in a Fully Verified Executable LTL Model Checker. VSTTE (2014)
René Neumann
Promela Formalization. Arch. Formal Proofs 2014 (2014)
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
A Fully Verified Executable LTL Model Checker. CAV (2013)
René Neumann
A Framework for Verified Depth-First Algorithms. ATx/WInG@IJCAR (2012)
René Neumann
Functional Binomial Queues. Arch. Formal Proofs 2010 (2010)