Stephan Melzer

According to our database, Stephan Melzer authored at least 8 papers between 1996 and 2009.

Collaborative distances:

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

2009

Fachliches Innovationsmanagement als strategischer Erfolgsfaktor in der IT-Beratung und Systemintegration.

Sean Eikenberg, Stephan Melzer, Ulrike Lechner

Proceedings of the Business Services: Konzepte, 2009

2000

Verification of Safety Properties Using Integer Programming: Beyond the State Equation.

Javier Esparza, Stephan Melzer

Formal Methods Syst. Des., 2000

1998

Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung.

Stephan Melzer

Utz, ISBN: 978-3-89675-394-6, 1998

1997

Verification of Parallel Systems using Constraint Programming.

Stephan Melzer

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Deadlock Checking Using Net Unfoldings.

Stephan Melzer, Stefan Römer

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

Model Checking LTL Using Constraint Programming.

Javier Esparza, Stephan Melzer

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

Checking System Properties via Integer Programming.

Stephan Melzer, Javier Esparza

Proceedings of the Programming Languages and Systems, 1996

Verification Using PEP.

Stephan Melzer, Stefan Römer, Javier Esparza

Proceedings of the Algebraic Methodology and Software Technology, 1996