| 2026 |
J |
jnl |
ACM Trans. Interact. Intell. Syst.
Nathan Gerard Jayy Hughes, Yan Jia, Mark Sujan, Tom Lawton, Ibrahim Habli, John A. McDermid
|
| 2025 |
J |
jnl |
ACM Trans. Auton. Adapt. Syst.
Zoë Porter, Radu Calinescu, Ernest Lim, Victoria J. Hodge, Philippa Ryan, Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, John Molloy, Helen Monkhouse, Phillip Morgan, Paul Noordhof, Colin Paterson, Isobel Standen, Jie Zou
|
| 2025 |
Misc |
conf |
EDCC
Josh Hunter, John A. McDermid, Simon Burton
|
| 2025 |
J |
jnl |
CoRR
Josh Hunter, John A. McDermid, Simon Burton
|
| 2025 |
J |
jnl |
CoRR
Yoshua Bengio, Stephen Clare, Carina Prunkl, Shalaleh Rismani, Maksym Andriushchenko, Ben Bucknall, Philip Fox, Tiancheng Hu, Cameron Jones, Sam Manning, Nestor Maslej, Vasilios Mavroudis, Conor McGlynn, Malcolm Murray, Charlotte Stix, Lucia Velasco, Nicole Wheeler, Daniel Privitera, Sören Mindermann, Daron Acemoglu, Thomas G. Dietterich, Fredrik Heintz, Geoffrey E. Hinton, Nicholas R. Jennings, Susan Leavy, Teresa Ludermir, Vidushi Marda, Helen Margetts, John A. McDermid, Jane Munga, Arvind Narayanan, Alondra Nelson, Clara Neppel, Gopal Ramchurn, Stuart Russell, Marietje Schaake, Bernhard Schölkopf, Alavaro Soto, Lee Tiedrich, Gaël Varoquaux, Andrew Yao, Yan-Ning Zhang, Leandro Aguirre, Olubunmi Ajala, Fahad Albalawi Noora AlMalek, Christian Busch, André C. P. L. F. de Carvalho, Jonathan Collas, Amandeep Gill, Ahmet Halit Hatip, Juha Heikkilä, Chris Johnson, Gill Jolly, Ziv Katzir, Mary Kerema, Hiroaki Kitano, Antonio Krüger, Aoife McLysaght, Oleksii Molchanovskyi, Andrea Monti, Kyoung Mu Lee, Mona Nemer, Nuria Oliver, Raquel Pezoa Rivera, Audrey Plonk, José Ramón López Portillo, Balaraman Ravindran, Hammam Riza, Crystal Rugege, Haroon Sheikh, Denise Wong, Yi Zeng, Liming Zhu
|
| 2025 |
J |
jnl |
CoRR
Yoshua Bengio, Stephen Clare, Carina Prunkl, Maksym Andriushchenko, Ben Bucknall, Philip Fox, Nestor Maslej, Conor McGlynn, Malcolm Murray, Shalaleh Rismani, Stephen Casper, Jessica Newman, Daniel Privitera, Sören Mindermann, Daron Acemoglu, Thomas G. Dietterich, Fredrik Heintz, Geoffrey E. Hinton, Nick R. Jennings, Susan Leavy, Teresa Ludermir, Vidushi Marda, Helen Margetts, John A. McDermid, Jane Munga, Arvind Narayanan, Alondra Nelson, Clara Neppel, Gopal Ramchurn, Stuart Russell, Marietje Schaake, Bernhard Schölkopf, Alavaro Soto, Lee Tiedrich, Gaël Varoquaux, Andrew Yao, Yanning Zhang, Leandro Aguirre, Olubunmi Ajala, Fahad Albalawi Noora AlMalek, Noora AlMalek, Christian Busch, André Carvalho, Jonathan Collas, Amandeep Gill, Ahmet Halit Hatip, Juha Heikkilä, Chris Johnson, Gill Jolly, Ziv Katzir, Mary Kerema, Hiroaki Kitano, Antonio Krüger, Aoife McLysaght, Oleksii Molchanovskyi, Andrea Monti, Kyoung Mu Lee, Mona Nemer, Nuria Oliver, Raquel Pezoa, Audrey Plonk, José Ramón López Portillo, Balaraman Ravindran, Hammam Riza, Crystal Rugege, Haroon Sheikh, Denise Wong, Yi Zeng, Liming Zhu
|
| 2025 |
J |
jnl |
CoRR
Yoshua Bengio, Sören Mindermann, Daniel Privitera, Tamay Besiroglu, Rishi Bommasani, Stephen Casper, Yejin Choi, Philip Fox, Ben Garfinkel, Danielle Goldfarb, Hoda Heidari, Anson Ho, Sayash Kapoor, Leila Khalatbari, Shayne Longpre, Sam Manning, Vasilios Mavroudis, Mantas Mazeika, Julian Michael, Jessica Newman, Kwan Yee Ng, Chinasa T. Okolo, Inioluwa Deborah Raji, Girish Sastry, Elizabeth Seger, Theodora Skeadas, Tobin South, Emma Strubell, Florian Tramèr, Lucia Velasco, Nicole Wheeler, Daron Acemoglu, Olubayo Adekanmbi, David Dalrymple, Thomas G. Dietterich, Edward W. Felten, Pascale Fung, Pierre-Olivier Gourinchas, Fredrik Heintz, Geoffrey E. Hinton, Nick R. Jennings, Andreas Krause, Susan Leavy, Percy Liang, Teresa Ludermir, Vidushi Marda, Helen Margetts, John A. McDermid, Jane Munga, Arvind Narayanan, Alondra Nelson, Clara Neppel, Alice Oh, Gopal Ramchurn, Stuart Russell, Marietje Schaake, Bernhard Schölkopf, Dawn Song, Alvaro Soto, Lee Tiedrich, Gaël Varoquaux, Andrew Yao, Ya-Qin Zhang, Fahad Albalawi, Marwan Alserkal, Olubunmi Ajala, Guillaume Avrin, Christian Busch, André Carlos Ponce de Leon Ferreira de Carvalho, Bronwyn Fox, Amandeep Singh Gill, Ahmet Halit Hatip, Juha Heikkilä, Gill Jolly, Ziv Katzir, Hiroaki Kitano, Antonio Krüger, Chris Johnson, Saif M. Khan, Kyoung Mu Lee, Dominic Vincent Ligot, Oleksii Molchanovskyi, Andrea Monti, Nusu Mwamanzi, Mona Nemer, Nuria Oliver, José Ramón López Portillo, Balaraman Ravindran, Raquel Pezoa Rivera, Hammam Riza, Crystal Rugege, Ciarán Seoighe, Jerry Sheehan, Haroon Sheikh, Denise Wong, Yi Zeng
|
| 2025 |
J |
jnl |
CoRR
Josh Hunter, John A. McDermid, Simon Burton, Poppy Fynes, Mia Dempster
|
| 2025 |
J |
jnl |
CoRR
Ibrahim Habli, Richard Hawkins, Colin Paterson, Philippa Ryan, Yan Jia, Mark Sujan, John A. McDermid
|
| 2025 |
J |
jnl |
CoRR
Yan Jia, Harriet Evans, Zoë Porter, Simon Graham, John A. McDermid, Tom Lawton, David R. J. Snead, Ibrahim Habli
|
| 2025 |
J |
jnl |
CoRR
John A. McDermid, Yan Jia, Ibrahim Habli
|
| 2024 |
J |
jnl |
AI Ethics
Zoë Porter, Ibrahim Habli, John A. McDermid, Marten H. L. Kaas
|
| 2024 |
— |
conf |
SAFECOMP (Workshops)
Philippa Ryan, Mathias von Essen, Liam Shackley, John A. McDermid
|
| 2024 |
J |
jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jie Zou, Xiaotian Dai, John A. McDermid
|
| 2024 |
J |
jnl |
Computer
John Molloy, Sepeedeh Shahbeigi, John A. McDermid
|
| 2024 |
J |
jnl |
CoRR
Yoshua Bengio, Sören Mindermann, Daniel Privitera, Tamay Besiroglu, Rishi Bommasani, Stephen Casper, Yejin Choi, Danielle Goldfarb, Hoda Heidari, Leila Khalatbari, Shayne Longpre, Vasilios Mavroudis, Mantas Mazeika, Kwan Yee Ng, Chinasa T. Okolo, Inioluwa Deborah Raji, Theodora Skeadas, Florian Tramèr, Bayo Adekanmbi, Paul F. Christiano, David Dalrymple, Thomas G. Dietterich, Edward W. Felten, Pascale Fung, Pierre-Olivier Gourinchas, Nick R. Jennings, Andreas Krause, Percy Liang, Teresa Ludermir, Vidushi Marda, Helen Margetts, John A. McDermid, Arvind Narayanan, Alondra Nelson, Alice Oh, Gopal Ramchurn, Stuart Russell, Marietje Schaake, Dawn Song, Alvaro Soto, Lee Tiedrich, Gaël Varoquaux, Andrew Yao, Ya-Qin Zhang
|
| 2024 |
— |
ed. |
AISafety@IJCAI
Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Fabio Arnez, Huáscar Espinoza, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, Andreas Theodorou
|
| 2024 |
J |
jnl |
CoRR
Josh Hunter, John A. McDermid, Simon Burton
|
| 2024 |
J |
jnl |
Computer
John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy
|
| 2024 |
— |
conf |
SAFECOMP (Workshops)
Kester Dean Clegg, Ibrahim Habli, John A. McDermid
|
| 2024 |
J |
jnl |
CoRR
Philippa Ryan, Zoë Porter, Joanna Al-Qaddoumi, John A. McDermid, Ibrahim Habli
|
| 2023 |
— |
conf |
CPS-IoT Week Workshops
Jie Zou, Xiaotian Dai, John A. McDermid
|
| 2023 |
— |
ed. |
AISafety/SafeRL@IJCAI
Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, Huáscar Espinoza, Nikolaos Matragkas, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, David M. Bossens, Bettina Könighofer, Sebastian Tschiatschek, Anqi Liu
|
| 2023 |
— |
ed. |
SafeAI@AAAI
Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid
|
| 2023 |
— |
conf |
TAS
Philippa Ryan Conmy, John A. McDermid, Ibrahim Habli, Zoë Porter
|
| 2023 |
— |
conf |
ICHI
Yan Jia, John A. McDermid, Nathan Gerard Jayy Hughes, Mark Sujan, Tom Lawton, Ibrahim Habli
|
| 2023 |
J |
jnl |
CoRR
Zoë Porter, Joanna Al-Qaddoumi, Philippa Ryan Conmy, Phillip Morgan, John A. McDermid, Ibrahim Habli
|
| 2023 |
J |
jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jie Zou, Xiaotian Dai, John A. McDermid
|
| 2022 |
J |
jnl |
CoRR
Zoë Porter, Ibrahim Habli, John A. McDermid
|
| 2022 |
B |
conf |
SAFECOMP
Matt Osborne, Richard Hawkins, John A. McDermid
|
| 2022 |
J |
jnl |
Nat. Mac. Intell.
Zoë Porter, Annette Zimmermann, Phillip Morgan, John A. McDermid, Tom Lawton, Ibrahim Habli
|
| 2022 |
J |
jnl |
CoRR
Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John A. McDermid, Ibrahim Habli
|
| 2022 |
— |
ed. |
AISafety@IJCAI
Gabriel Pedroza, Xin Cynthia Chen, José Hernández-Orallo, Xiaowei Huang, Huáscar Espinoza, Richard Mallah, John A. McDermid, Mauricio Castillo-Effen
|
| 2022 |
— |
ed. |
SafeAI@AAAI
Gabriel Pedroza, José Hernández-Orallo, Xin Cynthia Chen, Xiaowei Huang, Huáscar Espinoza, Mauricio Castillo-Effen, John A. McDermid, Richard Mallah, Seán Ó hÉigeartaigh
|
| 2022 |
J |
jnl |
IEEE Trans. Emerg. Top. Comput.
Yan Jia, John A. McDermid, Tom Lawton, Ibrahim Habli
|
| 2021 |
J |
jnl |
CoRR
Yan Jia, Tom Lawton, John A. McDermid, Eric Rojas, Ibrahim Habli
|
| 2021 |
B |
conf |
AIME
Yan Jia, John A. McDermid, Ibrahim Habli
|
| 2021 |
— |
ed. |
SafeAI@AAAI
Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah
|
| 2021 |
— |
ed. |
AISafety@IJCAI
Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah, Gabriel Pedroza
|
| 2021 |
J |
jnl |
Computer
Simon Burton, John A. McDermid, Philip Garnett, Rob Weaver
|
| 2021 |
J |
jnl |
J. Biomed. Informatics
Yan Jia, Tom Lawton, John Burden, John A. McDermid, Ibrahim Habli
|
| 2021 |
J |
jnl |
CoRR
Yan Jia, John A. McDermid, Tom Lawton, Ibrahim Habli
|
| 2020 |
J |
jnl |
Reliab. Eng. Syst. Saf.
Helen Monkhouse, Ibrahim Habli, John A. McDermid
|
| 2020 |
J |
jnl |
CoRR
Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton
|
| 2020 |
J |
jnl |
Artif. Intell.
Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, Phillip Morgan, Zoë Porter
|
| 2020 |
— |
ed. |
AISafety@IJCAI
Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah
|
| 2020 |
— |
ed. |
SafeAI@AAAI
Huáscar Espinoza, José Hernández-Orallo, Xin Cynthia Chen, Seán S. ÓhÉigeartaigh, Xiaowei Huang, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid
|
| 2020 |
— |
conf |
AISafety@IJCAI
John A. McDermid, Yan Jia
|
| 2020 |
J |
jnl |
AI Mag.
Grace Bang, Guy Barash, Ryan Beal, Jacques Calì, Mauricio Castillo-Effen, Xin Cynthia Chen, Niyati Chhaya, Rachel Cummings, Rohan Dhoopar, Sebastijan Dumancic, Huáscar Espinoza, Eitan Farchi, Ferdinando Fioretto, Raquel Fuentetaja, Christopher William Geib, Odd Erik Gundersen, José Hernández-Orallo, Xiaowei Huang, Kokil Jaidka, Sarah Keren, Seokhwan Kim, Michel Galley, Xiaomo Liu, Tyler Lu, Zhiqiang Ma, Richard Mallah, John A. McDermid, Martin Michalowski, Reuth Mirsky, Seán Ó hÉigeartaigh, Deepak Ramachandran, Javier Segovia-Aguas, Onn Shehory, Arash Shaban-Nejad, Vered Shwartz, Siddharth Srivastava, Kartik Talamadupula, Jian Tang, Pascal Van Hentenryck, Dell Zhang, Jian Zhang
|
| 2019 |
B |
conf |
SAFECOMP
Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid
|
| 2019 |
— |
conf |
IMBSA
Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid
|
| 2019 |
J |
jnl |
IEEE Embed. Syst. Lett.
Fredrik Asplund, John A. McDermid, Robert Oates, Jonathan Roberts
|
| 2019 |
— |
conf |
AISafety@IJCAI
John A. McDermid, Yan Jia, Ibrahim Habli
|
| 2017 |
— |
conf |
STAF Workshops
Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn
|
| 2017 |
— |
conf |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Helen Monkhouse, Ibrahim Habli, John A. McDermid, Siddartha Khastgir, Gunwant Dhadyalla
|
| 2016 |
— |
conf |
DSN Workshops
Xueyi Zou, Rob Alexander, John A. McDermid
|
| 2016 |
J |
jnl |
J. Aerosp. Inf. Syst.
Xueyi Zou, Rob Alexander, John A. McDermid
|
| 2015 |
— |
conf |
WESE
Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz
|
| 2015 |
— |
conf |
HASE
Fredrik Asplund, Martin Törngren, Richard Hawkins, John A. McDermid
|
| 2014 |
J |
jnl |
Reliab. Eng. Syst. Saf.
Andrew Rae, Rob Alexander, John A. McDermid
|
| 2014 |
B |
conf |
SAFECOMP
Xueyi Zou, Rob Alexander, John A. McDermid
|
| 2013 |
J |
jnl |
Inf. Softw. Technol.
Stuart Hutchesson, John A. McDermid
|
| 2012 |
J |
jnl |
IEEE Trans. Software Eng.
Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid
|
| 2012 |
C |
conf |
SSS
John A. McDermid, Andrew Rae
|
| 2012 |
J |
jnl |
Commun. ACM
Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
|
| 2011 |
— |
conf |
Networking Workshops
Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John A. McDermid
|
| 2011 |
— |
conf |
CENTERIS (1)
Xiaocheng Ge, Richard F. Paige, John A. McDermid
|
| 2011 |
J |
jnl |
CoRR
Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
|
| 2011 |
— |
conf |
ICEIS (3)
Xiaocheng Ge, Richard F. Paige, John A. McDermid
|
| 2011 |
— |
ch. |
Relating Software Requirements and Architectures
Zoë R. Stephenson, Katrina Attwood, John A. McDermid
|
| 2011 |
B |
conf |
SPLC
Stuart Hutchesson, John A. McDermid
|
| 2010 |
J |
jnl |
IEEE Trans. Reliab.
Shaoying Liu, John A. McDermid, Yuting Chen
|
| 2010 |
— |
conf |
AGILE
Xiaocheng Ge, Richard F. Paige, John A. McDermid
|
| 2010 |
C |
conf |
SSS
Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly
|
| 2010 |
— |
conf |
SSIRI (Companion)
Xiaocheng Ge, Richard F. Paige, John A. McDermid
|
| 2010 |
B |
conf |
SAFECOMP
Stuart Hutchesson, John A. McDermid
|
| 2010 |
— |
conf |
ICETE (Selected Papers)
John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget
|
| 2010 |
C |
conf |
SECRYPT
John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget
|
| 2009 |
C |
conf |
SSS
Catherine Menon, Richard Hawkins, John A. McDermid
|
| 2009 |
— |
conf |
FOSD
Xiaocheng Ge, Richard F. Paige, John A. McDermid
|
| 2009 |
B |
conf |
SAFECOMP
Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska
|
| 2009 |
B |
conf |
SAFECOMP
Xiaocheng Ge, Richard F. Paige, John A. McDermid
|
| 2007 |
J |
jnl |
Reliab. Eng. Syst. Saf.
Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn
|
| 2007 |
C |
conf |
SEW
Zoë R. Stephenson, John A. McDermid
|
| 2006 |
J |
jnl |
Concurr. Comput. Pract. Exp.
Howard Chivers, John A. McDermid
|
| 2006 |
C |
conf |
ICFEM
John A. McDermid, Andy Galloway
|
| 2006 |
C |
conf |
SEW
Zoë R. Stephenson, John A. McDermid, Jason Choy
|
| 2005 |
C |
conf |
ICFEM
Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid
|
| 2005 |
J |
jnl |
ACM SIGSOFT Softw. Eng. Notes
Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid
|
| 2005 |
J |
jnl |
IEE Proc. Softw.
Zoë R. Stephenson, John A. McDermid
|
| 2005 |
Misc |
conf |
SAC
Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson
|
| 2005 |
— |
conf |
VSTTE
Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn
|
| 2004 |
— |
conf |
IFIP Congress Topical Sessions
Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid
|
| 2004 |
— |
conf |
SCS
Paul Chinneck, David John Pumfrey, John A. McDermid
|
| 2003 |
Misc |
conf |
Ada-Europe
Tse-Min Lin, John A. McDermid
|
| 2003 |
— |
conf |
SCS
Iain Bate, Richard Hawkins, John A. McDermid
|
| 2003 |
J |
jnl |
Microprocess. Microsystems
Iain Bate, John A. McDermid, Peter Nightingale
|
| 2003 |
— |
conf |
SCS
Philippa Conmy, Mark Nicholson, John A. McDermid
|
| 2002 |
— |
conf |
Symposium on Object-Oriented Real-Time Distributed Computing
Eman Nasr, John A. McDermid, Guillem Bernat
|
| 2002 |
— |
conf |
WORDS
Eman Nasr, John A. McDermid, Guillem Bernat
|
| 2001 |
B |
conf |
PROFES
Karen Allenby, Simon Burton, Darren Lee Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson
|
| 2001 |
J |
jnl |
Reliab. Eng. Syst. Saf.
Tim P. Kelly, John A. McDermid
|
| 2001 |
J |
jnl |
Reliab. Eng. Syst. Saf.
Yiannis Papadopoulos, John A. McDermid, Ralph Sasse, Gunter Heiner
|
| 2001 |
— |
conf |
SCS
Philippa Conmy, John A. McDermid
|
| 2001 |
J |
jnl |
Softw. Test. Verification Reliab.
Sun-Woo Kim, John A. Clark, John A. McDermid
|
| 2001 |
J |
jnl |
Microprocess. Microsystems
Nigel James Tracey, John A. McDermid
|
| 2001 |
J |
jnl |
Comput. J.
Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid
|
| 2000 |
Misc |
conf |
Ada-Europe
Tse-Min Lin, John A. McDermid
|
| 2000 |
J |
jnl |
Softw. Pract. Exp.
Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid
|
| 2000 |
B |
conf |
SAFECOMP
Peter A. Lindsay, John A. McDermid, David J. Tombs
|
| 2000 |
— |
conf |
IW-SAPF
Alan Stephenson, Darren Lee Buttle, John A. McDermid
|
| 2000 |
— |
conf |
HASE
Iain Bate, Philippa Conmy, John A. McDermid
|
| 2000 |
J |
jnl |
Trans. SDPS
John Murdoch, John A. McDermid
|
| 1999 |
B |
conf |
SAFECOMP
Tim P. Kelly, John A. McDermid
|
| 1999 |
J |
jnl |
IEE Proc. Softw.
Darren Lee Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel James Tracey
|
| 1999 |
B |
conf |
SAFECOMP
Yiannis Papadopoulos, John A. McDermid
|
| 1998 |
J |
jnl |
Requir. Eng.
Yiannis Papadopoulos, John A. McDermid
|
| 1998 |
J |
jnl |
J. Syst. Softw.
Ian Toyn, David Michael Cattrall, John A. McDermid, Jeremy L. Jacob
|
| 1998 |
A* |
conf |
ASE
Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid
|
| 1998 |
C |
conf |
SSS
R. May, John A. McDermid, I. H. A. Johnston
|
| 1998 |
C |
conf |
ICFEM
John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
|
| 1997 |
— |
conf |
SSR
W. Lam, John A. McDermid
|
| 1997 |
B |
conf |
SAFECOMP
Peter A. Lindsay, John A. McDermid
|
| 1997 |
B |
conf |
SAFECOMP
Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs
|
| 1997 |
B |
conf |
SAFECOMP
Tim P. Kelly, John A. McDermid
|
| 1997 |
A |
conf |
RE
W. Lam, John A. McDermid, Andrew J. Vickers
|
| 1997 |
J |
jnl |
Requir. Eng.
W. Lam, John A. McDermid, Andrew J. Vickers
|
| 1996 |
C |
conf |
APSEC
John A. McDermid, Shaoying Liu
|
| 1996 |
J |
jnl |
Requir. Eng.
Jonathan D. Moffett, Jon G. Hall, Andrew Charles Coombes, John A. McDermid
|
| 1996 |
J |
jnl |
J. Syst. Softw.
Shaoying Liu, John A. McDermid
|
| 1996 |
B |
conf |
ICECCS
Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs
|
| 1996 |
— |
conf |
ISAW/Viewpoints@FSE
John A. McDermid, Andrew J. Vickers, Stephen P. Wilson
|
| 1996 |
— |
conf |
ECBS
Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Peter Fenelon
|
| 1996 |
— |
conf |
RTS
Iain Bate, Alan Burns, John A. McDermid, Andy Vickers
|
| 1995 |
A |
conf |
CAiSE
David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris
|
| 1995 |
B |
conf |
SAFECOMP
John A. McDermid, R. H. Pierce
|
| 1995 |
J |
jnl |
Softw. Pract. Exp.
Ian Toyn, John A. McDermid
|
| 1995 |
J |
jnl |
Microprocess. Microsystems
A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
|
| 1995 |
J |
jnl |
Comput. J.
Stephen P. Wilson, John A. McDermid
|
| 1995 |
A |
conf |
RE
Joanne M. Atlee, John A. McDermid
|
| 1995 |
B |
conf |
SAFECOMP
Andrew Charles Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris
|
| 1995 |
B |
conf |
SAFECOMP
Peter Fenelon, Tim P. Kelly, John A. McDermid
|
| 1994 |
B |
conf |
COMPSAC
Qi Shi, John A. McDermid, Ning Zhang
|
| 1994 |
J |
jnl |
Softw. Eng. J.
Alan Burns, John A. McDermid
|
| 1994 |
Misc |
conf |
Ada-Europe
A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
|
| 1994 |
— |
conf |
Z User Workshop
Jon G. Hall, John A. McDermid
|
| 1993 |
J |
jnl |
J. Syst. Softw.
Peter Fenelon, John A. McDermid
|
| 1993 |
A |
conf |
ACSAC
Qi Shi, John A. McDermid, Jonathan D. Moffett
|
| 1993 |
B |
conf |
SRDS
Qi Shi, John A. McDermid
|
| 1993 |
Misc |
conf |
SAC
Shaoying Liu, John A. McDermid
|
| 1993 |
— |
conf |
ISPW
Itana Maria de Souza Gimenes, John A. McDermid
|
| 1993 |
J |
jnl |
Softw. Eng. J.
Andrew Charles Coombes, John A. McDermid
|
| 1993 |
J |
jnl |
J. Comput. Secur.
Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton, Peter Mellor, Stella Page, David Wright, John Dobson, John A. McDermid, Dieter Gollmann
|
| 1992 |
— |
conf |
NATO ASI RTC
Leonor Barroca, John A. McDermid
|
| 1992 |
J |
jnl |
Comput. J.
Leonor Maria Melo Torcato Barroca, John A. McDermid
|
| 1992 |
B |
conf |
DBSec
Philip Morris, John A. McDermid
|
| 1992 |
J |
jnl |
Comput. J.
Alan Burns, John A. McDermid, John E. Dobson
|
| 1992 |
A |
conf |
ACSAC
John A. McDermid, Qi Shi
|
| 1992 |
— |
conf |
Z User Workshop
Andrew Charles Coombes, John A. McDermid
|
| 1991 |
— |
conf |
CSFW
John A. McDermid, Qi Shi
|
| 1991 |
B |
conf |
DBSec
Philip Morris, John A. McDermid
|
| 1990 |
— |
conf |
Z User Workshop
Andrew Charles Coombes, John A. McDermid
|
| 1990 |
— |
conf |
Z User Workshop
David Jordan, John A. McDermid, Ian Toyn
|
| 1989 |
— |
conf |
S&P
John E. Dobson, John A. McDermid
|
| 1989 |
— |
ed. |
ESEC
Carlo Ghezzi, John A. McDermid
|
| 1988 |
B |
conf |
DBSec
John E. Dobson, John A. McDermid
|
| 1986 |
J |
jnl |
Softw. Eng. J.
John A. McDermid
|
| 1986 |
J |
jnl |
Softw. Eng. J.
Barbara A. Kitchenham, John A. McDermid
|
| 1985 |
J |
jnl |
Softw. Microsystems
Roy D. Dowsing, Owen Davies, John A. McDermid
|
| 1985 |
J |
jnl |
Softw. Microsystems
Roy D. Dowsing, Owen Davies, John A. McDermid
|
| 1985 |
J |
jnl |
Softw. Microsystems
John A. McDermid
|
| 1981 |
A |
conf |
ICDCS
John A. McDermid
|