Vasiliki Hartonas-Garmhausen

According to our database, Vasiliki Hartonas-Garmhausen authored at least 8 papers between 1991 and 2000.

Collaborative distances:

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

2000

Verification of a safety-critical railway interlocking system with real-time constraints.

Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia

Sci. Comput. Program., 2000

1999

ProbVerus: Probabilistic Symbolic Model Checking.

Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998

On the Semantic Foundations of Probabilistic Synchronous Reactive Programs.

Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997

Symbolic Model Checking for Probabilistic Processes.

Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996

Deadlock prevention in flexible manufacturing systems using symbolic model checking.

Vasiliki Hartonas-Garmhausen, Edmund M. Clarke, S. Campos

Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996

Symbolic Model Checking.

Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Automatic verification of industrial designs.

Vicky Hartonas-Garmhausen, Thomas R. Kurfess, Edmund M. Clarke, David E. Long

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

1991

Distributing the comparison of DNA and protein sequences across heterogeneous supercomputers.

Hugh B. Nicholas, Grace Giras, Vasiliki Hartonas-Garmhausen, Michael Kopko, Christopher Maher, Alexander Ropelewski

Proceedings of the Proceedings Supercomputing '91, 1991