Martyn Thomas - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2022

The Development and Deployment of Formal Methods in the UKCliff B. Jones, Martyn Thomas. fac, 34(1):1-21, 2022. [doi]

2013

IntroductionAlexander Romanovsky, Martyn Thomas. In Alexander Romanovsky, Martyn Thomas, editors, Industrial Deployment of System Engineering Methods. pages 1-3, Springer, 2013. [doi]

Introducing Formal Methods into Existing Industrial PracticesMartyn Thomas, Alexander Romanovsky. In Alexander Romanovsky, Martyn Thomas, editors, Industrial Deployment of System Engineering Methods. pages 145-156, Springer, 2013. [doi]

Industrial Software Engineering and Formal MethodsMartyn Thomas, Alexander Romanovsky. In Alexander Romanovsky, Martyn Thomas, editors, Industrial Deployment of System Engineering Methods. pages 203-210, Springer, 2013. [doi]

2012

Registration of 3D trans-esophageal echocardiography to X-ray fluoroscopy using image-based probe trackingGang 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. mia, 16(1):38-49, 2012. [doi]

Evaluation of a Real-Time Hybrid Three-Dimensional Echo and X-Ray Imaging System for Guidance of Cardiac Catheterisation ProceduresR. James Housden, Aruna Arujuna, YingLiang Ma, N. Nijhof, Geert Gijsbers, Roland Bullens, Mark O'Neill, Michael Cooklin, C. Aldo Rinaldi, Jaswinder S. Gill, Stam Kapetanakis, Jane Hancock, Martyn Thomas, Reza Razavi, Kawal S. Rhode. miccai 2012: 25-32 [doi]

Accidental Systems, Hidden Assumptions and Safety AssuranceMartyn Thomas. scss 2012: 1-9 [doi]

2009

Professional Issues in System Safety EngineeringJohn McDermid, Martyn Thomas, Felix Redmill. scss 2009: 135-145 [doi]

2007

Unsafe StandardizationMartyn Thomas. Computer, 40(11):109-111, 2007. [doi]

2005

BookshelfArt Sedighi, Martyn Thomas, Paula M. Bach, Mark A. Cohen. IEEE Software, 22(5):115-118, 2005. [doi]

2004

Engineering JudgementMartyn Thomas. scs 2005: 43-47 [doi]

2003

The Modest Software EngineerMartyn Thomas. isads 2003: 169 [doi]

1998

Myths of the Year 2000Martyn Thomas. cj, 41(2):67-70, 1998.

1994

Top-Down vs. Bottom-Up Process ImprovementMartyn Thomas, Frank E. McGarry. IEEE Software, 11(4):12-13, 1994. [doi]

1993

The industrial use of formal methodsMartyn Thomas. mam, 17(1):31-36, 1993. [doi]

1990

Assessing Failure Probabilities in Safety-Critical Systems Containing SoftwareMartyn Thomas. ICSE 1990: 227

The role of formal methods in developing safety-critical softwareMartyn Thomas. mam, 14(5):323-324, 1990. [doi]

1989

Asking for the Impossible: The State of the Art in Safety-Related SystemsMartyn Thomas. ESEC/FSE 1989: 42-47

Development Methods for Trusted Computer SystemsMartyn Thomas. fac, 1(1):5-18, 1989.

Sign in or sign up to see more results.

runs on WebDSL