Roger Hale

According to our database, Roger Hale authored at least 6 papers between 1974 and 2002.

Collaborative distances:

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

2002

A Compositional Framework for Hardware/Software Co-Design.

Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, Michael Spivey

Des. Autom. Embed. Syst., 2002

1993

An Embedding of Timed Transition Systems in HOL.

Roger Hale, Rachel Cardell-Oliver, John Herbert

Formal Methods Syst. Des., 1993

1991

Reasoning About Software.

Roger Hale

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1987

Using Temporal Logic for Prototyping: The Design of a Lift Controller.

Roger Hale

Proceedings of the Temporal Logic in Specification, 1987

Parallel Programming in Temporal Logic.

Roger Hale, Ben C. Moszkowski

Proceedings of the PARLE, 1987

1974

Behavioral semantics of nonrecursive control structures.

Carl Hewitt, Peter Boehler Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale

Proceedings of the Programming Symposium, 1974