Karen Stephenson

According to our database, Karen Stephenson authored at least 4 papers between 1996 and 2020.

Collaborative distances:

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

2020

Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.

Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2003

The algebraic structure of interfaces.

D. Ll. L. Rees, Karen Stephenson, John V. Tucker

Sci. Comput. Program., 2003

1998

Towards an Algebraic Specification of the Java Virtual Machine.

Karen Stephenson

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

1996

An algebraic approach to syntax, semantics and compilation.

Karen Stephenson

PhD thesis, 1996