René Neumann

According to our database, René Neumann authored at least 7 papers between 2010 and 2017.

Collaborative distances:

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

2017

CAVA - A Verified Model Checker.

René Neumann

PhD thesis, 2017

2015

A Framework for Verifying Depth-First Search Algorithms.

Peter Lammich, René Neumann

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

Promela Formalization.

René Neumann

Arch. Formal Proofs, 2014

Using Promela in a Fully Verified Executable LTL Model Checker.

René Neumann

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013

A Fully Verified Executable LTL Model Checker.

Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

A Framework for Verified Depth-First Algorithms.

René Neumann

Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012

2010

Functional Binomial Queues.

René Neumann

Arch. Formal Proofs, 2010