Vicky Hartonas-Garmhausen

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

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) (2000)
Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke
ProbVerus: Probabilistic Symbolic Model Checking. ARTS (1999)
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)
Vicky Hartonas-Garmhausen, Thomas R. Kurfess, Edmund M. Clarke, David E. Long
Automatic verification of industrial designs. WIFT (1995)