Stefan Römer

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Javier Esparza, Stefan Römer, Walter Vogler
An Improvement of McMillan's Unfolding Algorithm. Formal Methods Syst. Des. 20 (3) (2002)
Javier Esparza, Stefan Römer
An Unfolding Algorithm for Synchronous Products of Transition Systems. CONCUR (1999)
Stephan Melzer, Stefan Römer
Deadlock Checking Using Net Unfoldings. CAV (1997)
Stephan Melzer, Stefan Römer, Javier Esparza
Verification Using PEP. AMAST (1996)
Javier Esparza, Stefan Römer, Walter Vogler
An Improvement of McMillan's Unfolding Algorithm. TACAS (1996)