John A. McDermid

	2009
75		Xiaocheng Ge, Richard F. Paige, John A. McDermid: Domain analysis on an electronic health records system. FOSD 2009: 49-54
74		Xiaocheng Ge, Richard F. Paige, John A. McDermid: Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP 2009: 215-228
73		Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska: Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP 2009: 326-341
	2007
72		Alan W. Brown, John A. McDermid: The Art and Science of Software Architecture. ECSA 2007: 237-256
71		Zoë R. Stephenson, John A. McDermid: Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. SEW 2007: 53-62
70		Alan W. Brown, John A. McDermid: The Art and Science of Software Architecture. Int. J. Cooperative Inf. Syst. 16(3/4): 439-466 (2007)
	2006
69		John A. McDermid, Andy Galloway: Three Perspectives in Formal Engineering. ICFEM 2006: 35-54
68		Zoë R. Stephenson, John A. McDermid, Jason Choy: Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. SEW 2006: 123-132
67		Howard Chivers, John A. McDermid: Refactoring service-based systems: how to avoid trusting a workflow service. Concurrency and Computation: Practice and Experience 18(10): 1255-1275 (2006)
	2005
66		Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid: An Automated Approach to Specification-Based Program Inspection. ICFEM 2005: 421-434
65		Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson: High-integrity extreme programming. SAC 2005: 1518-1523
64		Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn: On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373
63		Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid: Combining software evidence: arguments and assurance. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
	2004
62		Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid: Improving certification capability through automatic code generation. IFIP Congress Topical Sessions 2004: 511-520
	2003
61		Tse-Min Lin, John A. McDermid: A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe 2003: 309-321
60		Iain Bate, Richard Hawkin, John A. McDermid: A Contract-based Approach to Designing Safe Systems. SCS 2003: 25-36
59		Philippa Conmy, Mark Nicholson, John A. McDermid: Safety Assurance Contracts for Integrated Modular Avionics. SCS 2003: 69-78
58		Iain Bate, John A. McDermid, Peter Nightingale: Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems 27(4): 159-169 (2003)
	2002
57		John A. McDermid: Software Hazard and Safety Analysis. FTRTFT 2002: 23-36
56		John A. McDermid: Trends in Systems Safety. SCS 2002: 3-8
55		Eman Nasr, John A. McDermid, Guillem Bernat: A Technique for Managing Complexity of Use Cases for Large Complex Embedded Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 225-232
54		Eman Nasr, John A. McDermid, Guillem Bernat: Eliciting and Specifying Requirements with Use Cases for Embedded Systems. WORDS 2002: 350-358
	2001
53		Karen Allenby, Simon Burton, Darren L. Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson: A Family-Oriented Software Development Process for Engine Controllers. PROFES 2001: 210-226
52		John A. McDermid: Software Safety: Where's the Evidence? SCS 2001: 1-6
51		Philippa Conmy, John A. McDermid: High Level Failure Analysis for Integrated Modular Avionics. SCS 2001: 13-22
50		Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid: Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001)
49		Sun-Woo Kim, John A. Clark, John A. McDermid: Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test., Verif. Reliab. 11(3): 207-225 (2001)
	2000
48		Tse-Min Lin, John A. McDermid: (True) Polymorphism in SPARK2000. Ada-Europe 2000: 252-265
47		John A. McDermid: Complexity: Concept, Causes and Control. ICECCS 2000: 2-
46		Alan Stephenson, Darren L. Buttle, John A. McDermid: Extending Commonality Analysis for Embedded Control System Families. IW-SAPF 2000: 217-224
45		Peter A. Lindsay, John A. McDermid, David J. Tombs: Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP 2000: 117-130
44		Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: Automated test-data generation for exception conditions. Softw., Pract. Exper. 30(1): 61-79 (2000)
	1999
43		Tim P. Kelly, John A. McDermid: A Systematic Approach to Safety Case Maintenance. SAFECOMP 1999: 13-26
42		Yiannis Papadopoulos, John A. McDermid: Hierarchically Performed Hazard Origin and Propagation Studies. SAFECOMP 1999: 139-152
41		Darren L. Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel J. Tracey: CONVERSE: A change-oriented process for engine controllers. IEE Proceedings - Software 146(3): 130-136 (1999)
40		John A. McDermid, Keith H. Bennett: Software engineering research: A critical appraisal. IEE Proceedings - Software 146(4): 179-186 (1999)
	1998
39		Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: An Automated Framework for Structural Test-Data Generation. ASE 1998: 285-288
38		John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine: Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM 1998: 76-
37		Nancy Talbert, John A. McDermid: The Cost of COTS (Interview). IEEE Computer 31(6): 46-52 (1998)
36		Ian Toyn, David M. Cattrall, John A. McDermid, Jeremy L. Jacob: A practical language and toolkit for high-integrity tools. Journal of Systems and Software 41(3): 161-173 (1998)
	1997
35		W. Lam, John A. McDermid, Andrew Vickers: Ten Steps Towards Systematic Requirements Reuse. RE 1997: 6-15
34		W. Lam, John A. McDermid: A Summary of Domain Analysis Experience by Way of Heuristics. SSR 1997: 54-64
33		W. Lam, John A. McDermid, Andrew Vickers: Ten Steps Towards Systematic Requirements Reuse. Requir. Eng. 2(2): 102-113 (1997)
	1996
32		John A. McDermid, Shaoying Liu: A Case Study Using SAM - Safety Analysis of PES. APSEC 1996: 217-
31		Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Peter Fenelon: The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems. ECBS 1996: 198-205
30		Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs: Assessing Complex Computer Based Systems using the Goal Structuring Notation. ICECCS 1996: 498-505
29		Shaoying Liu, John A. McDermid: A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. Journal of Systems and Software 35(2): 151-164 (1996)
28		Jonathan D. Moffett, Jon G. Hall, Andrew Coombes, John A. McDermid: A Model for a Causal Logic for Requirements Engineering. Requir. Eng. 1(1): 27-46 (1996)
	1995
27		David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris: A Framework for Requirements Analysis Using Automated Reasoning CAiSE 1995: 68-81
26		Joanne M. Atlee, John A. McDermid: Integrating requirements analysis and safety analysis. RE 1995: 158-159
25		Stephen P. Wilson, John A. McDermid: Integrated Analysis of Complex Safety Critical Systems. Comput. J. 38(10): 765-776 (1995)
24		Ian Toyn, John A. McDermid: CADiZ: An Architecture for Z Tools and its Implementation. Softw., Pract. Exper. 25(3): 305-330 (1995)
	1994
23		A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson: Tool Support for High Integrity Ada Software. Ada-Europe 1994: 63-75
22		Jon G. Hall, John A. McDermid: Towards a Z Method: Axiomatic Specification in Z. Z User Workshop 1994: 213-229
	1993
21		Itana Maria de Souza Gimenes, John A. McDermid: Investigating and Formalising the Development of HIS Within PSEEs. ISPW 1993: 90-94
20		Shaoying Liu, John A. McDermid: Dynamic Sets and Their Application in VDM. SAC 1993: 187-192
19		Qi Shi, John A. McDermid: Constructing Secure Distributed Systems Using Components. SRDS 1993: 143-152
18		Peter Fenelon, John A. McDermid: An integrated tool set for software safety analysis. Journal of Systems and Software 21(3): 279-290 (1993)
	1992
17		Philip Morris, John A. McDermid: Formalizing and Validating Complex Security Requirements. DBSec 1992: 113-124
16		Alexandre Marcos Lins de Vasconcelos, John A. McDermid: Incremental processing of Z specifications. FORTE 1992: 53-69
15		Andrew Coombes, John A. McDermid: Using Diagrams to Give a Formal Specification of Timing Constraints in Z. Z User Workshop 1992: 119-130
14		Alan Burns, John A. McDermid, John E. Dobson: On the Meaning of Safety and Security. Comput. J. 35(1): 3-15 (1992)
13		L. M. Barroca, John A. McDermid: Formal Methods: Use and Relevance for the Development of Safety-Critical Systems. Comput. J. 35(6): 579-599 (1992)
12		Alan W. Brown, John A. McDermid: Learning from IPSE's Mistakes. IEEE Software 9(2): 23-28 (1992)
	1991
11		John A. McDermid, Qi Shi: A Formal Model of Security Dependency for Analysis and Testing of Secure Systems. CSFW 1991: 188-200
10		Philip Morris, John A. McDermid: The Structure of Permissions: A Normative Framework for Access Rights. DBSec 1991: 77-97
	1990
9		Ernest S. Hocking, John A. McDermid: Towards an Object Oriented Development Environment for Secure Applications. ESORICS 1990: 191-200
8		Peter J. Whysall, John A. McDermid: An Approach to Object-Oriented Specification Using Z. Z User Workshop 1990: 193-215
7		Andrew Coombes, John A. McDermid: A Tool for Defining the Architecture of Z Specifications. Z User Workshop 1990: 77-92
6		David Jordan, John A. McDermid, Ian Toyn: CADIZ - Computer Aided Design in Z. Z User Workshop 1990: 93-104
	1989
5		Carlo Ghezzi, John A. McDermid: ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings Springer 1989
4		John A. McDermid, Ernest S. Hocking: Security Policies for Integrated Project Support Environments. DBSec 1989: 41-74
3		John E. Dobson, John A. McDermid: A Framework for Expressing Models of Security Policy. IEEE Symposium on Security and Privacy 1989: 229-241
	1988
2		John E. Dobson, John A. McDermid: Security Models and Enterprise Models. DBSec 1988: 1-39
1		John A. McDermid, G. Morgan: Low Level Synchronisation Problems in Digital Systems. FTRTFT 1988: 139-141

Coauthor Index

1	Karen Allenby	[53]
2	Joanne M. Atlee	[26]
3	Neil C. Audsley	[62]
4	Mike Bardill	[53]
5	L. M. Barroca	[13]
6	Iain Bate (I. J. Bate)	[50] [58] [60] [62]
7	Keith H. Bennett	[40]
8	Guillem Bernat	[54] [55]
9	Alan W. Brown	[12] [70] [72]
10	Alan Burns	[14]
11	Simon Burton	[38] [53]
12	Darren L. Buttle	[41] [46] [53]
13	Radu Calinescu	[73]
14	David M. Cattrall	[36]
15	Yuting Chen	[66]
16	Howard Chivers	[65] [67]
17	Jason Choy	[68]
18	John A. Clark (John Andrew Clark)	[38] [39] [41] [44] [49]
19	Philippa Conmy	[50] [51] [59]
20	Andrew Coombes	[7] [15] [28]
21	Steven Crook-Dawkins	[62]
22	Georgios Despotou	[63]
23	John E. Dobson	[2] [3] [14]
24	David A. Duffy	[27]
25	Peter Fenelon	[18] [31]
26	Andy Galloway	[38] [64] [69]
27	Xiaocheng Ge	[74] [75]
28	Carlo Ghezzi	[5]
29	Itana Maria de Souza Gimenes	[21]
30	Masashi Goya	[66]
31	Jon G. Hall	[22] [28]
32	Richard Hawkin	[60]
33	Ernest S. Hocking	[4] [9]
34	A. D. Hutcheon	[23]
35	Stuart Hutchesson	[53]
36	Frantz Iwu	[64]
37	Jeremy L. Jacob (Jeremy Jacob)	[36]
38	B. J. Jepson	[23]
39	D. T. Jordan	[23]
40	David Jordan	[6]
41	Tim Kelly (Tim P. Kelly)	[43] [50] [63] [73]
42	Sun-Woo Kim	[49]
43	P. M. Kirkham	[31]
44	Zeshan Kurd	[73]
45	Marta Z. Kwiatkowska	[73]
46	W. Lam	[33] [34] [35]
47	Tse-Min Lin	[48] [61]
48	Peter A. Lindsay	[45]
49	Shaoying Liu	[20] [29] [32] [66]
50	Craig MacNish	[27]
51	Keith Mander	[39] [44]
52	Jonathan D. Moffett	[28]
53	G. Morgan	[1]
54	Philip Morris	[10] [17] [27]
55	John Murdoch	[53]
56	Fumiko Nagoya	[66]
57	Eman Nasr	[54] [55]
58	Mark Nicholson	[59]
59	Peter Nightingale	[58]
60	Richard F. Paige	[65] [74] [75]
61	Yiannis Papadopoulos	[42]
62	R. H. Pierce	[23]
63	Clive H. Pygott	[30]
64	Qi Shi	[11] [19]
65	Alan Stephenson	[41] [46] [53]
66	Zoë R. Stephenson	[65] [68] [71]
67	Nancy Talbert	[37]
68	David J. Tombs	[30] [45]
69	Ian Toyn	[6] [24] [36] [38] [64]
70	Nigel Tracey	[38] [39] [44]
71	Nigel J. Tracey	[41]
72	Samuel H. Valentine	[38]
73	Alexandre Marcos Lins de Vasconcelos	[16]
74	Andrew Vickers	[33] [35]
75	I. C. Wand	[23]
76	Rob Weaver	[63]
77	Peter J. Whysall	[8]
78	Stephen P. Wilson	[25] [30] [31]

Colors in the list of coauthors