Martyn Thomas

22 papers A* 1C 3Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Formal Methods in Industry.
Formal Aspects Comput.
Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang
2022 J jnl
The Development and Deployment of Formal Methods in the UK.
Formal Aspects Comput.
Cliff B. Jones, Martyn Thomas
2020 J jnl
The development and deployment of formal methods in the UK.
CoRR
Cliff B. Jones, Martyn Thomas
2013 — book
Industrial Deployment of System Engineering Methods
Alexander B. Romanovsky, Martyn Thomas
2013 — ch.
Industrial Software Engineering and Formal Methods.
Industrial Deployment of System Engineering Methods
Martyn Thomas, Alexander B. Romanovsky
2013 — ch.
Introducing Formal Methods into Existing Industrial Practices.
Industrial Deployment of System Engineering Methods
Martyn Thomas, Alexander B. Romanovsky
2013 — ch.
Introduction.
Industrial Deployment of System Engineering Methods
Alexander B. Romanovsky, Martyn Thomas
2012 C conf
Accidental Systems, Hidden Assumptions and Safety Assurance.
SSS
Martyn Thomas
2012 — conf
Evaluation of a Real-Time Hybrid Three-Dimensional Echo and X-Ray Imaging System for Guidance of Cardiac Catheterisation Procedures.
MICCAI (2)
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
2012 J jnl
Registration of 3D trans-esophageal echocardiography to X-ray fluoroscopy using image-based probe tracking.
Medical Image Anal.
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
2009 C conf
Professional Issues in System Safety Engineering.
SSS
John Alexander McDermid, Martyn Thomas, Felix Redmill
2007 J jnl
Unsafe Standardization.
Computer
Martyn Thomas
2005 J jnl
Bookshelf.
IEEE Softw.
Art Sedighi, Martyn Thomas, Paula M. Bach, Mark A. Cohen
2004 — conf
Engineering Judgement.
SCS
Martyn Thomas
2003 C conf
The Modest Software Engineer.
ISADS
Martyn Thomas
1998 J jnl
Myths of the Year 2000.
Comput. J.
Martyn Thomas
1994 J jnl
Top-Down vs. Bottom-Up Process Improvement.
IEEE Softw.
Martyn Thomas, Frank E. McGarry
1993 J jnl
The industrial use of formal methods.
Microprocess. Microsystems
Martyn Thomas
1990 A* conf
Assessing Failure Probabilities in Safety-Critical Systems Containing Software.
ICSE
Martyn Thomas
1990 J jnl
The role of formal methods in developing safety-critical software.
Microprocess. Microsystems
Martyn Thomas
1989 — conf
Asking for the Impossible: The State of the Art in Safety-Related Systems.
ESEC
Martyn Thomas
1989 J jnl
Development Methods for Trusted Computer Systems.
Formal Aspects Comput.
Martyn Thomas