Vasiliki Hartonas-Garmhausen

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Publications

Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. Electron. Notes Theor. Comput. Sci. 22 (1999)
Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan
Symbolic Model Checking for Probabilistic Processes. ICALP (1997)
Vasiliki Hartonas-Garmhausen, Edmund M. Clarke, S. Campos
Deadlock prevention in flexible manufacturing systems using symbolic model checking. ICRA (1996)
Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen
Symbolic Model Checking. CAV (1996)
Hugh B. Nicholas, Grace Giras, Vasiliki Hartonas-Garmhausen, Michael Kopko, Christopher Maher, Alexander Ropelewski
Distributing the comparison of DNA and protein sequences across heterogeneous supercomputers. SC (1991)