Karen Stephenson

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 1

Top Topics

Autonomous Underwater Vehicle

Lessons Learned

Top Venues

Swansea University, UK (PHD)

Education History

Swansea University, UK

PHD

Publications

Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study. FormaliSE@ICSE (2020)
D. Ll. L. Rees, Karen Stephenson, John V. Tucker
The algebraic structure of interfaces. Sci. Comput. Program. 49 (1-3) (2003)
Karen Stephenson
Towards an Algebraic Specification of the Java Virtual Machine. Prospects for Hardware Foundations (1998)