Barbara Heyd

According to our database, Barbara Heyd authored at least 5 papers between 1996 and 1999.

Collaborative distances:

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

1999

Progress Properties for Empty UNITY Programs.

Pierre Crégut, Barbara Heyd

Inf. Process. Lett., 1999

1997

Application de la théorie des types et du démonstrateur COQ à la vérification de programmes parallèles. (Application of type theory and the COQ assistant to the verification of parallel programs).

Barbara Heyd

PhD thesis, 1997

Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis.

Boutheina Chetali, Barbara Heyd

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1996

A Modular Coding of UNITY in COQ.

Barbara Heyd, Pierre Crégut

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

A Protocol for Supporting the ABT/DT Capability.

Pierre Crégut, Fabrice Guillemin, Barbara Heyd

Proceedings of the 1996 International Conference on Network Protocols, 1996