Stefan Römer

According to our database, Stefan Römer authored at least 5 papers between 1996 and 2002.

Collaborative distances:

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

2002

An Improvement of McMillan's Unfolding Algorithm.

Javier Esparza, Stefan Römer, Walter Vogler

Formal Methods Syst. Des., 2002

2000

Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme.

Stefan Römer

PhD thesis, 2000

1999

An Unfolding Algorithm for Synchronous Products of Transition Systems.

Javier Esparza, Stefan Römer

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1997

Deadlock Checking Using Net Unfoldings.

Stephan Melzer, Stefan Römer

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Verification Using PEP.

Stephan Melzer, Stefan Römer, Javier Esparza

Proceedings of the Algebraic Methodology and Software Technology, 1996