| 2000 |
|---|
| 3 | | Vicky Hartonas-Garmhausen,
Sérgio Vale Aguiar Campos,
Alessandro Cimatti,
Edmund M. Clarke,
Fausto Giunchiglia:
Verification of a safety-critical railway interlocking system with real-time constraints.
Sci. Comput. Program. 36(1): 53-64 (2000) |
| 1999 |
|---|
| 2 | EE | Vicky Hartonas-Garmhausen,
Sérgio Vale Aguiar Campos,
Edmund M. Clarke:
ProbVerus: Probabilistic Symbolic Model Checking.
ARTS 1999: 96-110 |
| 1998 |
|---|
| 1 | | Vicky Hartonas-Garmhausen,
Sérgio Vale Aguiar Campos,
Alessandro Cimatti,
Edmund M. Clarke,
Fausto Giunchiglia:
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints.
FTCS 1998: 458-463 |
