| |
| 2000 | ||
|---|---|---|
| 6 | Javier Esparza, Stephan Melzer: Verification of Safety Properties Using Integer Programming: Beyond the State Equation. Formal Methods in System Design 16(2): 159-189 (2000) | |
| 1997 | ||
| 5 | Stephan Melzer, Stefan Römer: Deadlock Checking Using Net Unfoldings. CAV 1997: 352-363 | |
| 4 | Stephan Melzer: Verification of Parallel Systems using Constraint Programming. CP 1997: 92-106 | |
| 3 | Javier Esparza, Stephan Melzer: Model Checking LTL Using Constraint Programming. ICATPN 1997: 1-20 | |
| 1996 | ||
| 2 | Stephan Melzer, Stefan Römer, Javier Esparza: Verification Using PEP. AMAST 1996: 591-594 | |
| 1 | Stephan Melzer, Javier Esparza: Checking System Properties via Integer Programming. ESOP 1996: 250-264 | |
| 1 | Javier Esparza | [1] [2] [3] [6] |
| 2 | Stefan Römer | [2] [5] |