Martyn Thomas

According to our database, Martyn Thomas authored at least 20 papers between 1989 and 2025.

Collaborative distances:

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

2025

Formal Methods in Industry.

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

Formal Aspects Comput., 2025

2022

The Development and Deployment of Formal Methods in the UK.

Cliff B. Jones, Martyn Thomas

Formal Aspects Comput., 2022

2013

Industrial Software Engineering and Formal Methods.

Martyn Thomas, Alexander B. Romanovsky

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

Introducing Formal Methods into Existing Industrial Practices.

Martyn Thomas, Alexander B. Romanovsky

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

Introduction.

Alexander B. Romanovsky, Martyn Thomas

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

Registration of 3D trans-esophageal echocardiography to X-ray fluoroscopy using image-based probe tracking.

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

Medical Image Anal., 2012

Accidental Systems, Hidden Assumptions and Safety Assurance.

Martyn Thomas

Proceedings of the Achieving Systems Safety, 2012

Evaluation of a Real-Time Hybrid Three-Dimensional Echo and X-Ray Imaging System for Guidance of Cardiac Catheterisation Procedures.

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

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2012, 2012

2009

Professional Issues in System Safety Engineering.

John Alexander McDermid, Martyn Thomas, Felix Redmill

Proceedings of the Safety-Critical Systems: Problems, Process and Practice, 2009

2007

Unsafe Standardization.

Martyn Thomas

Computer, 2007

2005

Bookshelf.

Art Sedighi, Martyn Thomas, Paula M. Bach, Mark A. Cohen

IEEE Softw., 2005

2004

Engineering Judgement.

Martyn Thomas

Proceedings of the Safety Critical Systems and Software 2004, 2004

2003

The Modest Software Engineer.

Martyn Thomas

Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

1998

Myths of the Year 2000.

Martyn Thomas

Comput. J., 1998

1994

Top-Down vs. Bottom-Up Process Improvement.

Martyn Thomas, Frank E. McGarry

IEEE Softw., 1994

1993

The industrial use of formal methods.

Martyn Thomas

Microprocess. Microsystems, 1993

1990

The role of formal methods in developing safety-critical software.

Martyn Thomas

Microprocess. Microsystems, 1990

Assessing Failure Probabilities in Safety-Critical Systems Containing Software.

Martyn Thomas

Proceedings of the 12th International Conference on Software Engineering, 1990

1989

Development Methods for Trusted Computer Systems.

Martyn Thomas

Formal Aspects Comput., 1989

Asking for the Impossible: The State of the Art in Safety-Related Systems.

Martyn Thomas

Proceedings of the ESEC '89, 1989