Martyn Thomas

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 2

Top Topics

Development Lifecycle

Top Venues

Formal Aspects Comput.

Publications

Cliff B. Jones, Martyn Thomas
The Development and Deployment of Formal Methods in the UK. Formal Aspects Comput. 34 (1) (2022)
Cliff B. Jones, Martyn Thomas
The development and deployment of formal methods in the UK. CoRR (2020)
Richard James Housden, Aruna Arujuna, YingLiang Ma, N. Nijhof, Geert Gijsbers, Roland Bullens, Mark D. O'Neill, Michael Cooklin, C. Aldo Rinaldi, Jaswinder S. Gill, Stam Kapetanakis, Jane Hancock, Martyn Thomas, Reza Razavi, Kawal S. Rhode
Evaluation of a Real-Time Hybrid Three-Dimensional Echo and X-Ray Imaging System for Guidance of Cardiac Catheterisation Procedures. MICCAI (2) (2012)
Martyn Thomas
Accidental Systems, Hidden Assumptions and Safety Assurance. SSS (2012)
Gang Gao, Graeme P. Penney, YingLiang Ma, Nicolas Gogin, Pascal Cathier, Aruna Arujuna, Geraint Morton, Dennis Caulfield, Jaswinder S. Gill, C. Aldo Rinaldi, Jane Hancock, Simon Redwood, Martyn Thomas, Reza Razavi, Geert Gijsbers, Kawal S. Rhode
Registration of 3D trans-esophageal echocardiography to X-ray fluoroscopy using image-based probe tracking. Medical Image Anal. 16 (1) (2012)
John McDermid, Martyn Thomas, Felix Redmill
Professional Issues in System Safety Engineering. SSS (2009)
Martyn Thomas
Unsafe Standardization. Computer 40 (11) (2007)
Art Sedighi, Martyn Thomas, Paula M. Bach, Mark A. Cohen
Bookshelf. IEEE Softw. 22 (5) (2005)
Martyn Thomas
Engineering Judgement. SCS (2004)
Martyn Thomas
The Modest Software Engineer. ISADS (2003)
Martyn Thomas
Myths of the Year 2000. Comput. J. 41 (2) (1998)
Martyn Thomas, Frank E. McGarry
Top-Down vs. Bottom-Up Process Improvement. IEEE Softw. 11 (4) (1994)
Martyn Thomas
The industrial use of formal methods. Microprocess. Microsystems 17 (1) (1993)
Martyn Thomas
The role of formal methods in developing safety-critical software. Microprocess. Microsystems 14 (5) (1990)
Martyn Thomas
Assessing Failure Probabilities in Safety-Critical Systems Containing Software. ICSE (1990)
Martyn Thomas
Development Methods for Trusted Computer Systems. Formal Aspects Comput. 1 (1) (1989)
Martyn Thomas
Asking for the Impossible: The State of the Art in Safety-Related Systems. ESEC (1989)