John A. McDermid

发表

Peter John Whysall, John A. McDermid, J. Mcdermid, 1990, Z User Workshop.
John A. McDermid, Tim Kelly, Rob Alexander, 2007 .
John A. McDermid, D. Prasad, I. C. Wand, 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.
John A. Clark, John A. McDermid, Nigel J. Tracey, 2000, Softw. Pract. Exp..
John A. McDermid, R. H. Pierce, Andrew D. Hutcheon, 1995, Microprocess. Microsystems.
Richard F. Paige, Xiaocheng Ge, John A. McDermid, 2009, SAFECOMP.
John A. McDermid, Philippa Conmy, 2001, SCS.
Iain Bate, John A. McDermid, Tim Kelly, 2001, Comput. J..
John A. McDermid, Tim Kelly, Stephen P. Wilson, 1997 .
Alan Burns, Iain Bate, John A. McDermid, 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
John A. McDermid, 1996 .
John A. McDermid, Ernest S. Hocking, 1990, ESORICS.
Richard F. Paige, Xiaocheng Ge, John A. McDermid, 2009, FOSD '09.
John A. McDermid, Joanne M. Atlee, 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).
John A. McDermid, W. Lam, W. Lam, 1997, SSR '97.
John E. Dobson, John A. McDermid, J. McDermid, 1988, Database Security.
John A. Clark, John A. McDermid, Simon Burton, 2000 .
John A. McDermid, Philip Morris, J. McDermid, 1991, DBSec.
John A. McDermid, 2014, ArXiv.
Luqi, Pericles Loucopoulos, John A. McDermid, 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.
John A. McDermid, Stephen P. Wilson, Clive H. Pygott, 1997, SAFECOMP.
John A. McDermid, 2002, SCS.
John A. McDermid, 2002, FTRTFT.
Radu Calinescu, John A. McDermid, Tim Kelly, 2009, SAFECOMP.
John A. McDermid, D. J. Pumfrey, D. Pumfrey, 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.
John A. McDermid, Tse-Min Lin, Tse-Min Lin, 2003, Ada-Europe.
John A. McDermid, Peter Fenelon, P. Fenelon, 1992 .
John A. McDermid, Ian Toyn, David Jordan, 1990, Z User Workshop.
John A. McDermid, Stuart Hutchesson, 2011, 2011 15th International Software Product Line Conference.
John A. McDermid, Alan W. Brown, 2007, ECSA.
John A. McDermid, W. Lam, Andrew Vickers, 2008, Requirements Engineering.
John A. McDermid, Tim Kelly, J. McDermid, 1997, SAFECOMP.
Richard F. Paige, Xiaocheng Ge, John A. McDermid, 2012 .
John A. McDermid, J. Mcdermid, 1994 .
John A. McDermid, Andrew Coombes, J. Mcdermid, 1992, Z User Workshop.
Radu Calinescu, Dave Cliff, Richard F. Paige, 2011, Commun. ACM.
John A. McDermid, Alan W. Brown, 2007, Int. J. Cooperative Inf. Syst..
John A. McDermid, Peter Fenelon, P. Fenelon, 1993, J. Syst. Softw..
John A. McDermid, R. H. Pierce, R. Pierce, 1995, SAFECOMP.
John A. McDermid, Fredrik Asplund, Jonathan Roberts, 2019, IEEE Embedded Systems Letters.
Jeremy L. Jacob, John A. McDermid, Ian Toyn, 1998, J. Syst. Softw..
John A. Clark, Juan E. Tapiador, Dakshi Agrawal, 2010, 2010 International Conference on Security and Cryptography (SECRYPT).
John A. McDermid, Steven J. Clarke, J. Mcdermid, 1993, Softw. Eng. J..
John A. McDermid, Tim Kelly, 2001, Reliab. Eng. Syst. Saf..
John A. McDermid, J. Mcdermid, 1991 .
John A. McDermid, D W Reinhardt, 2010 .
John A. McDermid, Itana Maria de Souza Gimenes, 1993, ISPW.
John A. McDermid, Alan W. Brown, 1992, IEEE Software.
John A. Clark, Juan E. Tapiador, Mudhakar Srivatsa, 2011, Networking Workshops.
John A. McDermid, Catherine Menon, P. Hubbard, 2009, ICONS 2009.
Shaoying Liu, John A. McDermid, 1993, SAC '93.
John A. McDermid, John C. Knight, C. Michael Holloway, 2014, 2014 IEEE International Symposium on Ethics in Science, Technology and Engineering.
Qi Shi, John A. McDermid, 1991, Proceedings Computer Security Foundations Workshop IV.
Guillem Bernat, John A. McDermid, Eman Nasr, 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.
Qi Shi, John A. McDermid, Q. Shi, 1992, [1992] Proceedings Eighth Annual Computer Security Application Conference.
John A. Clark, John A. McDermid, Nigel J. Tracey, 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).
John A. McDermid, Tim Kelly, Georgios Despotou, 2005, ACM SIGSOFT Softw. Eng. Notes.
John A. McDermid, 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.
John A. Clark, John A. McDermid, Simon Burton, 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
Richard F. Paige, John A. McDermid, Howard Chivers, 2005, SAC '05.
David Wright, Sarah Brocklehurst, Bev Littlewood, 1995 .
John A. McDermid, Tim Kelly, T. Kelly, 2006 .
John A. McDermid, Zoë R. Stephenson, 2010 .
John A. Clark, Juan E. Tapiador, Dakshi Agrawal, 2010, ICETE.
Jeremy L. Jacob, John A. McDermid, J. G. Hall, 1995 .
John A. McDermid, Rob Alexander, Tim Kelly, 2007 .
John A. McDermid, Yiannis Papadopoulos, Y. Papadopoulos, 1999, SAFECOMP.
John A. McDermid, Jon G. Hall, 1994, Z User Workshop.
Iain Bate, John A. McDermid, Richard Hawkins, 2003, SCS.
John A. McDermid, Ibrahim Habli, Helen Monkhouse, 2015 .
John A. McDermid, Richard Hawkins, Catherine Menon, 2009, SSS.
John A. McDermid, Howard Chivers, Howard Chivers, 2006, Concurr. Comput. Pract. Exp..
John A. McDermid, Mark Nicholson, D. J. Pumfrey, 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.
John A. McDermid, 2012 .
John A. McDermid, L. M. Barroca, L. Barroca, 1992, Comput. J..
Guillem Bernat, John A. McDermid, Eman S. Nasr, 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).
Shaoying Liu, John A. McDermid, Yuting Chen, 2010, IEEE Transactions on Reliability.
John A. McDermid, J. Mcdermid, 2012, Monterey Workshop.
John A. McDermid, Nancy Talbert, 1998 .
John A. McDermid, Tse-Min Lin, Tse-Min Lin, 2000, Ada-Europe.
John A. McDermid, I. H. A. Johnston, R. May, 1998, SSS.
John A. McDermid, Tim Kelly, T. Kelly, 1998 .
Iain Bate, John A. McDermid, Peter Nightingale, 2003, Microprocess. Microsystems.
John A. McDermid, 2005 .
John A. McDermid, Jonathan D. Moffett, 1996 .
John A. McDermid, Zoë R. Stephenson, Jason Choy, 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.
John A. McDermid, Ernest S. Hocking, 1989, DBSec.
John A. McDermid, Alan W. Brown, J. McDermid, 1991 .
John A. McDermid, 1991, Proceedings. 1991 International Symposium on Software Reliability Engineering.
John A. Clark, John A. McDermid, John Murdoch, 2009 .
John A. Clark, John A. McDermid, Sun-Woo Kim, 2001, Softw. Test. Verification Reliab..
John A. McDermid, Andrew Coombes, 1990, Z User Workshop.
John A. McDermid, Andy Galloway, Ian Toyn, 2005, VSTTE.
John A. McDermid, J. McDermid, 2001, SCS.
Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz, Roberto Passerone, 2015, WESE.
John A. McDermid, Zoë R. Stephenson, Z. Stephenson, 2005, IEE Proc. Softw..
John A. McDermid, Katrina Attwood, Zoë R. Stephenson, 2011, Relating Software Requirements and Architectures.
Roberto Passerone, Martin Törngren, John A. McDermid, 2014 .
John A. McDermid, Mark Nicholson, Philippa Conmy, 2003, SCS.
Richard F. Paige, Xiaocheng Ge, John A. McDermid, 2016, ICEIS 2016.
Shaoying Liu, John A. McDermid, 1996, Proceedings 1996 Asia-Pacific Software Engineering Conference.
John A. Clark, John A. McDermid, Nigel James Tracey, 1999, IEE Proc. Softw..
Qi Shi, John A. McDermid, Jonathan D. Moffett, 1993, Proceedings of 9th Annual Computer Security Applications Conference.
John A. McDermid, 2015, Dependable Software Systems Engineering.
John A. McDermid, Yiannis Papadopoulos, Ralph Sasse, 2001, Reliab. Eng. Syst. Saf..
John A. McDermid, Jon G. Hall, Jonathan D. Moffett, 1996, Requirements Engineering.
John A. McDermid, Richard Hawkins, Tim Kelly, 2010, SSS.
Alan Burns, John A. McDermid, Tim Kelly, 1999 .
Richard F. Paige, Xiaocheng Ge, John A. McDermid, 2011, CENTERIS.
Alan Burns, John E. Dobson, John A. McDermid, 1992, Comput. J..
Richard F. Paige, Xiaocheng Ge, John A. McDermid, 2011, International Conference on Enterprise Information Systems.
John A. McDermid, Yiannis Papadopoulos, Y. Papadopoulos, 2001 .
John A. McDermid, J. Mcdermid, 1993 .
Ning Zhang, Qi Shi, John A. McDermid, 1994, Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94).
John A. McDermid, Andy Galloway, Ian Toyn, 2007, Reliab. Eng. Syst. Saf..
Bernhard Schätz, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2017 .
John A. McDermid, D. Prasad, I. C. Wand, 1996 .
John A. McDermid, Nancy Talbert, 1998, Computer.
John A. McDermid, P. Morris, Andrew Coombes, 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.
John A. McDermid, Zoë R. Stephenson, 2007, 31st IEEE Software Engineering Workshop (SEW 2007).
John E. Dobson, John A. McDermid, J. Dobson, 1989, Proceedings. 1989 IEEE Symposium on Security and Privacy.
John A. McDermid, Mark Nicholson, Philippa Conmy, 2000 .
Richard F. Paige, Xiaocheng Ge, John A. McDermid, 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion.
John A. McDermid, Ian Toyn, J. McDermid, 1995, Softw. Pract. Exp..
Martin Törngren, John A. McDermid, Richard Hawkins, 2015, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
John A. McDermid, Yiannis Papadopoulos, Christian Scheidler, 2001 .
John A. McDermid, Jonathan D. Moffett, Andrew Coombes, 1995, SAFECOMP.
John A. McDermid, Simon Burton, John Murdoch, 2001, PROFES.
John A. McDermid, Andy Galloway, 2006, ICFEM.
Qi Shi, John A. McDermid, Q. Shi, 1993, Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems.
John A. McDermid, Tim Kelly, D. J. Pumfrey, 2001 .
Peter A. Lindsay, John A. McDermid, David J. Tombs, 2000, SAFECOMP.
John A. McDermid, Stephen P. Wilson, 1995, Comput. J..
Peter A. Lindsay, John A. McDermid, 1997, SAFECOMP.
Richard F. Paige, Mike Bennett, John A. McDermid, 2017, STAF Workshops.
John A. McDermid, Alan W. Brown, Anthony Earl, 1993 .
Iain Bate, John A. McDermid, Philippa Conmy, 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).
John A. McDermid, John Murdoch, J. Murdoch, 2000, Trans. SDPS.
John A. McDermid, Darren Lee Buttle, Alan Stephenson, 2000, IW-SAPF.
John A. McDermid, Andrew Rae, Rob Alexander, 2012 .
John A. McDermid, Stephen P. Wilson, P. M. Kirkham, 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.
John A. McDermid, R. H. Pierce, Andrew D. Hutcheon, 1994, Ada-Europe.
Shaoying Liu, John A. McDermid, Yuting Chen, 2005, ICFEM.
John A. McDermid, Tim Kelly, Peter Fenelon, 1995, SAFECOMP.
John A. McDermid, 1992, NATO ASI RTC.
Iain Bate, John A. McDermid, Neil C. Audsley, 2004, IFIP Congress Topical Sessions.
John A. McDermid, Mark Nicholson, Paul Hollow, 2000 .
John A. McDermid, G. Morgan, 1988, FTRTFT.
John A. McDermid, A. G. Ward, Zoë R. Stephenson, 2006 .
John A. Clark, John A. McDermid, Sun-Woo Kim, 2000 .
Richard F. Paige, Xiaocheng Ge, John A. McDermid, 2010, 2010 Agile Conference.
John A. McDermid, Tim Kelly, T. Kelly, 1999, Reliab. Eng. Syst. Saf..
Shaoying Liu, John A. McDermid, Yuting Chen, 2012, IEEE Transactions on Software Engineering.
John A. McDermid, Andrew J. Vickers, J. Mcdermid, 1993 .
John A. McDermid, Philip Morris, 1992, DBSec.
W. J. Cullyer, John A. McDermid, 1992, NATO ASI RTC.
John A. McDermid, Nigel James Tracey, 2001, Microprocess. Microsystems.
John A. McDermid, Keith H. Bennett, 1999, IEE Proc. Softw..
John A. McDermid, Philip Morris, Craig MacNish, 1995, CAiSE.
John A. McDermid, Andrew Coombes, J. Mcdermid, 1993, Softw. Eng. J..
John A. McDermid, J. P. Mocek, 1987, Softw. Eng. J..
John A. McDermid, W. Lam, Andrew Vickers, 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.
John A. McDermid, John A. McDermid, Paul Rook, 1991 .
John A. McDermid, Stephen P. Wilson, Clive H. Pygott, 1996, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW).
John A. McDermid, John A. McDermid, J. McDermid, 1994 .
John A. McDermid, Jon G. Hall, Ian Toyn, 1995 .