We stand with Ukraine  

René Neumann

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
CAVA - A Verified Model Checker.
[BibTeX]
[DOI]
René Neumann
PhD thesis, 2017

2016
A Framework for Verifying Depth-First Search Algorithms.
[BibTeX]
[DOI]
Peter Lammich
,
René Neumann
Arch. Formal Proofs, 2016

2014
Promela Formalization.
[BibTeX]
[DOI]
René Neumann
Arch. Formal Proofs, 2014

A Fully Verified Executable LTL Model Checker.
[BibTeX]
[DOI]
Javier Esparza
,
Peter Lammich
,
René Neumann
,
Tobias Nipkow
,
Alexander Schimpf
,
Jan-Georg Smaus
Arch. Formal Proofs, 2014

Using Promela in a Fully Verified Executable LTL Model Checker.
[BibTeX]
[DOI]
René Neumann
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2012
A Framework for Verified Depth-First Algorithms.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
René Neumann
Arch. Formal Proofs, 2010


  Loading...