Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John A. McDermid
@article{DBLP:journals/computer/McDermidCHHJMOPPC24,
author = {John A. McDermid and
Radu Calinescu and
Ibrahim Habli and
Richard Hawkins and
Yan Jia and
John Molloy and
Matt Osborne and
Colin Paterson and
Zo{\"{e}} Porter and
Philippa Ryan Conmy},
title = {The Safety of Autonomy: {A} Systematic Approach},
journal = {Computer},
volume = {57},
number = {4},
pages = {16--25},
year = {2024},
url = {https://doi.org/10.1109/MC.2023.3317329},
doi = {10.1109/MC.2023.3317329},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/McDermidCHHJMOPPC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZouDM24,
author = {Jie Zou and
Xiaotian Dai and
John A. McDermid},
title = {Context-Aware Graceful Degradation for Mixed-Criticality Scheduling
in Autonomous Systems},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {43},
number = {3},
pages = {788--801},
year = {2024},
url = {https://doi.org/10.1109/TCAD.2023.3330113},
doi = {10.1109/TCAD.2023.3330113},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/ZouDM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-09459,
author = {Philippa Ryan and
Zo{\"{e}} Porter and
Joanna Al{-}Qaddoumi and
John A. McDermid and
Ibrahim Habli},
title = {What's my role? Modelling responsibility for AI-based safety-critical
systems},
journal = {CoRR},
volume = {abs/2401.09459},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.09459},
doi = {10.48550/ARXIV.2401.09459},
eprinttype = {arXiv},
eprint = {2401.09459},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-09459.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-12114,
author = {Josh Hunter and
John A. McDermid and
Simon Burton},
title = {Safety Analysis of Autonomous Railway Systems: An Introduction to
the {SACRED} Methodology},
journal = {CoRR},
volume = {abs/2403.12114},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.12114},
doi = {10.48550/ARXIV.2403.12114},
eprinttype = {arXiv},
eprint = {2403.12114},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-12114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZouDM23,
author = {Jie Zou and
Xiaotian Dai and
John A. McDermid},
title = {reTSN: Resilient and Efficient Time-Sensitive Network for Automotive
In-Vehicle Communication},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {42},
number = {3},
pages = {754--767},
year = {2023},
url = {https://doi.org/10.1109/TCAD.2022.3190235},
doi = {10.1109/TCAD.2022.3190235},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/ZouDM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/Zou0M23,
author = {Jie Zou and
Xiaotian Dai and
John A. McDermid},
title = {Graceful Degradation with Condition- and Inference-Awareness for Mixed-Criticality
Scheduling in Autonomous Systems},
booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week
2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12,
2023},
pages = {215--220},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576914.3587511},
doi = {10.1145/3576914.3587511},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/Zou0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/JiaMHSLH23,
author = {Yan Jia and
John A. McDermid and
Nathan Hughes and
Mark Sujan and
Tom Lawton and
Ibrahim Habli},
title = {The Need for the Human-Centred Explanation for ML-based Clinical Decision
Support Systems},
booktitle = {11th {IEEE} International Conference on Healthcare Informatics, {ICHI}
2023, Houston, TX, USA, June 26-29, 2023},
pages = {446--452},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICHI57859.2023.00064},
doi = {10.1109/ICHI57859.2023.00064},
timestamp = {Wed, 17 Jan 2024 17:11:28 +0100},
biburl = {https://dblp.org/rec/conf/ichi/JiaMHSLH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tas/ConmyMHP23,
author = {Philippa Ryan Conmy and
John A. McDermid and
Ibrahim Habli and
Zo{\"{e}} Porter},
title = {Safety engineering, role responsibility and lessons from the Uber
{ATG} Tempe Accident},
booktitle = {Proceedings of the First International Symposium on Trustworthy Autonomous
Systems, {TAS} 2023, Edinburgh, United Kingdom, July 11-12, 2023},
pages = {25:1--25:10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597512.3599718},
doi = {10.1145/3597512.3599718},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tas/ConmyMHP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2023safeai,
editor = {Gabriel Pedroza and
Xiaowei Huang and
Xin Cynthia Chen and
Andreas Theodorou and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Mauricio Castillo{-}Effen and
Richard Mallah and
John A. McDermid},
title = {Proceedings of the Workshop on Artificial Intelligence Safety 2023
(SafeAI 2023) co-located with the Thirty-Seventh {AAAI} Conference
on Artificial Intelligence {(AAAI} 2023), Washington DC, USA, February
13-14, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3381},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3381},
urn = {urn:nbn:de:0074-3381-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2023safeai.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisafety/2023,
editor = {Gabriel Pedroza and
Xiaowei Huang and
Xin Cynthia Chen and
Andreas Theodorou and
Hu{\'{a}}scar Espinoza and
Nikolaos Matragkas and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Mauricio Castillo{-}Effen and
Richard Mallah and
John A. McDermid and
David M. Bossens and
Bettina K{\"{o}}nighofer and
Sebastian Tschiatschek and
Anqi Liu},
title = {Proceedings of the {IJCAI-23} Joint Workshop on Artificial Intelligence
Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located
with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023),
Macau, China, August 21-22, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3505},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3505},
urn = {urn:nbn:de:0074-3505-0},
timestamp = {Fri, 08 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisafety/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-02608,
author = {Zo{\"{e}} Porter and
Joanna Al{-}Qaddoumi and
Philippa Ryan Conmy and
Phillip Morgan and
John A. McDermid and
Ibrahim Habli},
title = {Unravelling Responsibility for {AI}},
journal = {CoRR},
volume = {abs/2308.02608},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.02608},
doi = {10.48550/ARXIV.2308.02608},
eprinttype = {arXiv},
eprint = {2308.02608},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-02608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/natmi/PorterZMMLH22,
author = {Zo{\"{e}} Porter and
Annette Zimmermann and
Phillip Morgan and
John A. McDermid and
Tom Lawton and
Ibrahim Habli},
title = {Distinguishing two features of accountability for {AI} technologies},
journal = {Nat. Mac. Intell.},
volume = {4},
number = {9},
pages = {734--736},
year = {2022},
url = {https://doi.org/10.1038/s42256-022-00533-0},
doi = {10.1038/S42256-022-00533-0},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/natmi/PorterZMMLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tetc/JiaMLH22,
author = {Yan Jia and
John A. McDermid and
Tom Lawton and
Ibrahim Habli},
title = {The Role of Explainability in Assuring Safety of Machine Learning
in Healthcare},
journal = {{IEEE} Trans. Emerg. Top. Comput.},
volume = {10},
number = {4},
pages = {1746--1760},
year = {2022},
url = {https://doi.org/10.1109/TETC.2022.3171314},
doi = {10.1109/TETC.2022.3171314},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tetc/JiaMLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HunterM22,
author = {Josh Hunter and
John Alexander McDermid},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Investigating Human Error Within GoA-2 Metro Lines},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {179--191},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_13},
doi = {10.1007/978-3-031-05814-1\_13},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/HunterM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/OsborneHM22,
author = {Matt Osborne and
Richard Hawkins and
John A. McDermid},
editor = {Mario Trapp and
Francesca Saglietti and
Marc Spisl{\"{a}}nder and
Friedemann Bitsch},
title = {Analysing the Safety of Decision-Making in Autonomous Systems},
booktitle = {Computer Safety, Reliability, and Security - 41st International Conference,
{SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13414},
pages = {3--16},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14835-4\_1},
doi = {10.1007/978-3-031-14835-4\_1},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/OsborneHM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2022safeai,
editor = {Gabriel Pedroza and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Xin Cynthia Chen and
Xiaowei Huang and
Hu{\'{a}}scar Espinoza and
Mauricio Castillo{-}Effen and
John A. McDermid and
Richard Mallah and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh},
title = {Proceedings of the Workshop on Artificial Intelligence Safety 2022
(SafeAI 2022) co-located with the Thirty-Sixth {AAAI} Conference on
Artificial Intelligence (AAAI2022), Virtual, February, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3087},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3087},
urn = {urn:nbn:de:0074-3087-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/2022safeai.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2022aisafety,
editor = {Gabriel Pedroza and
Xin Cynthia Chen and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Xiaowei Huang and
Hu{\'{a}}scar Espinoza and
Richard Mallah and
John A. McDermid and
Mauricio Castillo{-}Effen},
title = {Proceedings of the Workshop on Artificial Intelligence Safety 2022
(AISafety 2022) co-located with the Thirty-First International Joint
Conference on Artificial Intelligence and the Twenty-Fifth European
Conference on Artificial Intelligence (IJCAI-ECAI-2022), Vienna, Austria,
July 24-25, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3215},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3215},
urn = {urn:nbn:de:0074-3215-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/2022aisafety.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-15370,
author = {Zo{\"{e}} Porter and
Ibrahim Habli and
John A. McDermid},
title = {A Principle-based Ethical Assurance Argument for {AI} and Autonomous
Systems},
journal = {CoRR},
volume = {abs/2203.15370},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.15370},
doi = {10.48550/ARXIV.2203.15370},
eprinttype = {arXiv},
eprint = {2203.15370},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-15370.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-00853,
author = {Richard Hawkins and
Matt Osborne and
Mike Parsons and
Mark Nicholson and
John A. McDermid and
Ibrahim Habli},
title = {Guidance on the Safety Assurance of Autonomous Systems in Complex
Environments {(SACE)}},
journal = {CoRR},
volume = {abs/2208.00853},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.00853},
doi = {10.48550/ARXIV.2208.00853},
eprinttype = {arXiv},
eprint = {2208.00853},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-00853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-08237,
author = {John Molloy and
John Alexander McDermid},
title = {Safety Assessment for Autonomous Systems' Perception Capabilities},
journal = {CoRR},
volume = {abs/2208.08237},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.08237},
doi = {10.48550/ARXIV.2208.08237},
eprinttype = {arXiv},
eprint = {2208.08237},
timestamp = {Thu, 29 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-08237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BurtonMGW21,
author = {Simon Burton and
John A. McDermid and
Philip Garnett and
Rob Weaver},
title = {Safety, Complexity, and Automated Driving: Holistic Perspectives on
Safety Assurance},
journal = {Computer},
volume = {54},
number = {8},
pages = {22--32},
year = {2021},
url = {https://doi.org/10.1109/MC.2021.3073430},
doi = {10.1109/MC.2021.3073430},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/BurtonMGW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/JiaLBMH21,
author = {Yan Jia and
Tom Lawton and
John Burden and
John A. McDermid and
Ibrahim Habli},
title = {Safety-driven design of machine learning for sepsis treatment},
journal = {J. Biomed. Informatics},
volume = {117},
pages = {103762},
year = {2021},
url = {https://doi.org/10.1016/j.jbi.2021.103762},
doi = {10.1016/J.JBI.2021.103762},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbi/JiaLBMH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/JiaMH21,
author = {Yan Jia and
John A. McDermid and
Ibrahim Habli},
editor = {Allan Tucker and
Pedro Henriques Abreu and
Jaime S. Cardoso and
Pedro Pereira Rodrigues and
David Ria{\~{n}}o},
title = {Enhancing the Value of Counterfactual Explanations for Deep Learning},
booktitle = {Artificial Intelligence in Medicine - 19th International Conference
on Artificial Intelligence in Medicine, {AIME} 2021, Virtual Event,
June 15-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12721},
pages = {389--394},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77211-6\_46},
doi = {10.1007/978-3-030-77211-6\_46},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aime/JiaMH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2021safeai,
editor = {Hu{\'{a}}scar Espinoza and
John A. McDermid and
Xiaowei Huang and
Mauricio Castillo{-}Effen and
Xin Cynthia Chen and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
Richard Mallah},
title = {Proceedings of the Workshop on Artificial Intelligence Safety 2021
(SafeAI 2021) co-located with the Thirty-Fifth {AAAI} Conference on
Artificial Intelligence {(AAAI} 2021), Virtual, February 8, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2808},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2808},
urn = {urn:nbn:de:0074-2808-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/2021safeai.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2021aisafety,
editor = {Hu{\'{a}}scar Espinoza and
John A. McDermid and
Xiaowei Huang and
Mauricio Castillo{-}Effen and
Xin Cynthia Chen and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
Richard Mallah and
Gabriel Pedroza},
title = {Proceedings of the Workshop on Artificial Intelligence Safety 2021
co-located with the Thirtieth International Joint Conference on Artificial
Intelligence {(IJCAI} 2021), Virtual, August, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2916},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2916},
urn = {urn:nbn:de:0074-2916-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/2021aisafety.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-05620,
author = {Yan Jia and
Tom Lawton and
John A. McDermid and
Eric Rojas and
Ibrahim Habli},
title = {A Framework for Assurance of Medication Safety using Machine Learning},
journal = {CoRR},
volume = {abs/2101.05620},
year = {2021},
url = {https://arxiv.org/abs/2101.05620},
eprinttype = {arXiv},
eprint = {2101.05620},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-05620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-00520,
author = {Yan Jia and
John A. McDermid and
Tom Lawton and
Ibrahim Habli},
title = {The Role of Explainability in Assuring Safety of Machine Learning
in Healthcare},
journal = {CoRR},
volume = {abs/2109.00520},
year = {2021},
url = {https://arxiv.org/abs/2109.00520},
eprinttype = {arXiv},
eprint = {2109.00520},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-00520.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BurtonHLMMP20,
author = {Simon Burton and
Ibrahim Habli and
Tom Lawton and
John A. McDermid and
Phillip Morgan and
Zo{\"{e}} Porter},
title = {Mind the gaps: Assuring the safety of autonomous systems from an engineering,
ethical, and legal perspective},
journal = {Artif. Intell.},
volume = {279},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2019.103201},
doi = {10.1016/J.ARTINT.2019.103201},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BurtonHLMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BangBBCCCCCDDEF20,
author = {Grace Bang and
Guy Barash and
Ryan Beal and
Jacques Cal{\`{\i}} and
Mauricio Castillo{-}Effen and
Xin Cynthia Chen and
Niyati Chhaya and
Rachel Cummings and
Rohan Dhoopar and
Sebastijan Dumancic and
Hu{\'{a}}scar Espinoza and
Eitan Farchi and
Ferdinando Fioretto and
Raquel Fuentetaja and
Christopher William Geib and
Odd Erik Gundersen and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Xiaowei Huang and
Kokil Jaidka and
Sarah Keren and
Seokhwan Kim and
Michel Galley and
Xiaomo Liu and
Tyler Lu and
Zhiqiang Ma and
Richard Mallah and
John A. McDermid and
Martin Michalowski and
Reuth Mirsky and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
Deepak Ramachandran and
Javier Segovia Aguas and
Onn Shehory and
Arash Shaban{-}Nejad and
Vered Shwartz and
Siddharth Srivastava and
Kartik Talamadupula and
Jian Tang and
Pascal Van Hentenryck and
Dell Zhang and
Jian Zhang},
title = {The Association for the Advancement of Artificial Intelligence 2020
Workshop Program},
journal = {{AI} Mag.},
volume = {41},
number = {4},
pages = {100--114},
year = {2020},
url = {https://doi.org/10.1609/aimag.v41i4.7398},
doi = {10.1609/AIMAG.V41I4.7398},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/BangBBCCCCCDDEF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/MonkhouseHM20,
author = {Helen Monkhouse and
Ibrahim Habli and
John A. McDermid},
title = {An enhanced vehicle control model for assessing highly automated driving
safety},
journal = {Reliab. Eng. Syst. Saf.},
volume = {202},
pages = {107061},
year = {2020},
url = {https://doi.org/10.1016/j.ress.2020.107061},
doi = {10.1016/J.RESS.2020.107061},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/MonkhouseHM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McDermidJ20,
author = {John A. McDermid and
Yan Jia},
editor = {Hu{\'{a}}scar Espinoza and
John A. McDermid and
Xiaowei Huang and
Mauricio Castillo{-}Effen and
Xin Cynthia Chen and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
Richard Mallah},
title = {Safety of Artificial Intelligence: {A} Collaborative Model},
booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety 2020
co-located with the 29th International Joint Conference on Artificial
Intelligence and the 17th Pacific Rim International Conference on
Artificial Intelligence {(IJCAI-PRICAI} 2020), Yokohama, Japan, January,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2640},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2640/paper\_7.pdf},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McDermidJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2020safeai,
editor = {Hu{\'{a}}scar Espinoza and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Xin Cynthia Chen and
Se{\'{a}}n S. {\'{O}}h{\'{E}}igeartaigh and
Xiaowei Huang and
Mauricio Castillo{-}Effen and
Richard Mallah and
John A. McDermid},
title = {Proceedings of the Workshop on Artificial Intelligence Safety, co-located
with 34th {AAAI} Conference on Artificial Intelligence, SafeAI@AAAI
2020, New York City, NY, USA, February 7, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2560},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2560},
urn = {urn:nbn:de:0074-2560-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/2020safeai.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2020aisafety,
editor = {Hu{\'{a}}scar Espinoza and
John A. McDermid and
Xiaowei Huang and
Mauricio Castillo{-}Effen and
Xin Cynthia Chen and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
Richard Mallah},
title = {Proceedings of the Workshop on Artificial Intelligence Safety 2020
co-located with the 29th International Joint Conference on Artificial
Intelligence and the 17th Pacific Rim International Conference on
Artificial Intelligence {(IJCAI-PRICAI} 2020), Yokohama, Japan, January,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2640},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2640},
urn = {urn:nbn:de:0074-2640-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/2020aisafety.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-08381,
author = {Ibrahim Habli and
Rob Alexander and
Richard Hawkins and
Mark Sujan and
John A. McDermid and
Chiara Picardi and
Tom Lawton},
title = {Enhancing Covid-19 Decision-Making by Creating an Assurance Case for
Simulation Models},
journal = {CoRR},
volume = {abs/2005.08381},
year = {2020},
url = {https://arxiv.org/abs/2005.08381},
eprinttype = {arXiv},
eprint = {2005.08381},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-08381.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/AsplundMOR19,
author = {Fredrik Asplund and
John A. McDermid and
Robert Oates and
Jonathan Roberts},
title = {Rapid Integration of {CPS} Security and Safety},
journal = {{IEEE} Embed. Syst. Lett.},
volume = {11},
number = {4},
pages = {111--114},
year = {2019},
url = {https://doi.org/10.1109/LES.2018.2879631},
doi = {10.1109/LES.2018.2879631},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/esl/AsplundMOR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McDermidJH19,
author = {John A. McDermid and
Yan Jia and
Ibrahim Habli},
editor = {Hu{\'{a}}scar Espinoza and
Han Yu and
Xiaowei Huang and
Freddy L{\'{e}}cu{\'{e}} and
Cynthia Chen and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
Richard Mallah},
title = {Towards a Framework for Safety Assurance of Autonomous Systems},
booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety 2019
co-located with the 28th International Joint Conference on Artificial
Intelligence, AISafety@IJCAI 2019, Macao, China, August 11-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2419},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2419/paper\_2.pdf},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McDermidJH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/CleggLSGM19,
author = {Kester Dean Clegg and
Mole Li and
David Stamp and
Alan Grigg and
John A. McDermid},
editor = {Yiannis Papadopoulos and
Koorosh Aslansefat and
Panagiotis Katsaros and
Marco Bozzano},
title = {Integrating Existing Safety Analyses into SysML},
booktitle = {Model-Based Safety and Assessment - 6th International Symposium, {IMBSA}
2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11842},
pages = {63--77},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32872-6\_5},
doi = {10.1007/978-3-030-32872-6\_5},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imbsa/CleggLSGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CleggLSGM19,
author = {Kester Dean Clegg and
Mole Li and
David Stamp and
Alan Grigg and
John A. McDermid},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna and
Friedemann Bitsch},
title = {A SysML Profile for Fault Trees - Linking Safety Models to System
Design},
booktitle = {Computer Safety, Reliability, and Security - 38th International Conference,
{SAFECOMP} 2019, Turku, Finland, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11698},
pages = {85--93},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26601-1\_6},
doi = {10.1007/978-3-030-26601-1\_6},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/CleggLSGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/PaigeZKMBHH17,
author = {Richard F. Paige and
Athanasios Zolotas and
Dimitrios S. Kolovos and
John A. McDermid and
Mike Bennett and
Stuart Hutchesson and
Andrew Hawthorn},
editor = {Martina Seidl and
Steffen Zschaler},
title = {{SECT-AIR:} Software Engineering Costs and Timescales - Aerospace
Initiative for Reduction},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {403--408},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_36},
doi = {10.1007/978-3-319-74730-9\_36},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/PaigeZKMBHH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/MonkhouseHMKD17,
author = {Helen Monkhouse and
Ibrahim Habli and
John A. McDermid and
Siddartha Khastgir and
Gunwant Dhadyalla},
title = {Why functional safety experts worry about automotive systems having
increasing autonomy},
booktitle = {2017 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing,
Advanced {\&} Trusted Computed, Scalable Computing {\&} Communications,
Cloud {\&} Big Data Computing, Internet of People and Smart City
Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco,
CA, USA, August 4-8, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/UIC-ATC.2017.8397595},
doi = {10.1109/UIC-ATC.2017.8397595},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/MonkhouseHMKD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/ZouAM16,
author = {Xueyi Zou and
Rob Alexander and
John A. McDermid},
title = {Testing Method for Multi-UAV Conflict Resolution Using Agent-Based
Simulation and Multi-Objective Search},
journal = {J. Aerosp. Inf. Syst.},
volume = {13},
number = {5},
pages = {191--203},
year = {2016},
url = {https://doi.org/10.2514/1.I010412},
doi = {10.2514/1.I010412},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacic/ZouAM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ZouAM16,
author = {Xueyi Zou and
Rob Alexander and
John A. McDermid},
title = {On the Validation of a {UAV} Collision Avoidance System Developed
by Model-Based Optimization: Challenges and a Tentative Partial Solution},
booktitle = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks Workshops, {DSN} Workshops 2016, Toulouse, France, June
28 - July 1, 2016},
pages = {192--199},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DSN-W.2016.12},
doi = {10.1109/DSN-W.2016.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/ZouAM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/TorngrenBMPSS15,
author = {Martin T{\"{o}}rngren and
Saddek Bensalem and
John A. McDermid and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli and
Bernhard Sch{\"{a}}tz},
editor = {Martin T{\"{o}}rngren and
Martin Edin Grimheden},
title = {Education and training challenges in the era of Cyber-Physical Systems:
beyond traditional engineering},
booktitle = {Proceedings of the Workshop on Embedded and Cyber-Physical Systems
Education, {WESE} 2015, Amsterdam, The Netherlands, October 4-9, 2015},
pages = {8:1--8:5},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2832920.2832928},
doi = {10.1145/2832920.2832928},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esweek/TorngrenBMPSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/AsplundTHM15,
author = {Fredrik Asplund and
Martin T{\"{o}}rngren and
Richard Hawkins and
John A. McDermid},
title = {The Need for a Confidence View of {CPS} Support Environments (Fast
Abstract)},
booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015},
pages = {273--274},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HASE.2015.14},
doi = {10.1109/HASE.2015.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AsplundTHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BandurM15,
author = {Victor Bandur and
John Alexander McDermid},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Informing Assurance Case Review Through a Formal Interpretation of
{GSN} Core Logic},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {3--14},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_1},
doi = {10.1007/978-3-319-24249-1\_1},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BandurM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/McDermid15,
author = {John Alexander McDermid},
editor = {Maximilian Irlbeck and
Doron A. Peled and
Alexander Pretschner},
title = {Safety and Dependability},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {40},
pages = {128--169},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-495-4-128},
doi = {10.3233/978-1-61499-495-4-128},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/McDermid15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/RaeAM14,
author = {Andrew Rae and
Rob Alexander and
John A. McDermid},
title = {Fixing the cracks in the crystal ball: {A} maturity model for quantitative
risk assessment},
journal = {Reliab. Eng. Syst. Saf.},
volume = {125},
pages = {67--81},
year = {2014},
url = {https://doi.org/10.1016/j.ress.2013.09.008},
doi = {10.1016/J.RESS.2013.09.008},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/RaeAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ZouAM14,
author = {Xueyi Zou and
Rob Alexander and
John A. McDermid},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Safety Validation of Sense and Avoid Algorithms Using Simulation and
Evolutionary Search},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {33--48},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_3},
doi = {10.1007/978-3-319-10506-2\_3},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/ZouAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/McDermid14,
author = {John Alexander McDermid},
title = {Nothing is Certain but Doubt and Tests},
journal = {CoRR},
volume = {abs/1404.6801},
year = {2014},
url = {http://arxiv.org/abs/1404.6801},
eprinttype = {arXiv},
eprint = {1404.6801},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/McDermid14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HutchessonM13,
author = {Stuart Hutchesson and
John A. McDermid},
title = {Trusted Product Lines},
journal = {Inf. Softw. Technol.},
volume = {55},
number = {3},
pages = {525--540},
year = {2013},
url = {https://doi.org/10.1016/j.infsof.2012.06.005},
doi = {10.1016/J.INFSOF.2012.06.005},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/HutchessonM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/SommervilleCCKKKMP12,
author = {Ian Sommerville and
Dave Cliff and
Radu Calinescu and
Justin Keen and
Tim Kelly and
Marta Z. Kwiatkowska and
John A. McDermid and
Richard F. Paige},
title = {Large-scale complex {IT} systems},
journal = {Commun. {ACM}},
volume = {55},
number = {7},
pages = {71--77},
year = {2012},
url = {https://doi.org/10.1145/2209249.2209268},
doi = {10.1145/2209249.2209268},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/SommervilleCCKKKMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LiuCNM12,
author = {Shaoying Liu and
Yuting Chen and
Fumiko Nagoya and
John A. McDermid},
title = {Formal Specification-Based Inspection for Verification of Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {38},
number = {5},
pages = {1100--1122},
year = {2012},
url = {https://doi.org/10.1109/TSE.2011.102},
doi = {10.1109/TSE.2011.102},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/LiuCNM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/McDermid12,
author = {John Alexander McDermid},
editor = {Radu Calinescu and
David Garlan},
title = {The Risks of {LSCITS:} The Odds Are Stacked against Us},
booktitle = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
pages = {94--117},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8\_5},
doi = {10.1007/978-3-642-34059-8\_5},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/monterey/McDermid12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/McDermidR12,
author = {John A. McDermid and
Andrew Rae},
editor = {Chris Dale and
Tom Anderson},
title = {Goal-Based Safety Standards: Promises and Pitfalls},
booktitle = {Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical
Systems Symposium, {SSS} 2012, Bristol, UK, February 7-9, 2012},
pages = {257--270},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2494-8\_18},
doi = {10.1007/978-1-4471-2494-8\_18},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scss/McDermidR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/centeris/GePM11,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
editor = {Maria Manuela Cruz{-}Cunha and
Jo{\~{a}}o Varaj{\~{a}}o and
Philip Powell and
Ricardo Martinho},
title = {Failures of a Business Process in Enterprise Systems},
booktitle = {ENTERprise Information Systems - International Conference, {CENTERIS}
2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings,
Part {I}},
series = {Communications in Computer and Information Science},
volume = {219},
pages = {139--146},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24358-5\_14},
doi = {10.1007/978-3-642-24358-5\_14},
timestamp = {Tue, 23 Apr 2024 23:18:35 +0200},
biburl = {https://dblp.org/rec/conf/centeris/GePM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/GePM11,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
editor = {Runtong Zhang and
Jos{\'{e}} Cordeiro and
Xuewei Li and
Zhenji Zhang and
Juliang Zhang},
title = {Model-based Failure Failure Analysis of Business Process},
booktitle = {{ICEIS} 2011 - Proceedings of the 13th International Conference on
Enterprise Information Systems, Volume 3, Beijing, China, 8-11 June,
2011},
pages = {388--391},
publisher = {SciTePress},
year = {2011},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceis/GePM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/TapiadorSCM11,
author = {Juan E. Tapiador and
Mudhakar Srivatsa and
John A. Clark and
John A. McDermid},
editor = {Vicente Casares Giner and
Pietro Manzoni and
Ana Pont},
title = {Decorrelating {WSN} Traffic Patterns with Maximally Uninformative
Constrained Routing},
booktitle = {{NETWORKING} 2011 Workshops - International {IFIP} {TC} 6 Workshops,
PE-CRN, NC-Pro, WCNS, and {SUNSET} 2011, Held at {NETWORKING} 2011,
Valencia, Spain, May 13, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6827},
pages = {207--218},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23041-7\_20},
doi = {10.1007/978-3-642-23041-7\_20},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/networking/TapiadorSCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HutchessonM11,
author = {Stuart Hutchesson and
John A. McDermid},
editor = {Eduardo Santana de Almeida and
Tomoji Kishi and
Christa Schwanninger and
Isabel John and
Klaus Schmid},
title = {Towards Cost-Effective High-Assurance Software Product Lines: The
Need for Property-Preserving Transformations},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SPLC.2011.32},
doi = {10.1109/SPLC.2011.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/HutchessonM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/StephensonAM11,
author = {Zo{\"{e}} R. Stephenson and
Katrina Attwood and
John A. McDermid},
editor = {Paris Avgeriou and
John Grundy and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
title = {Product-Line Models to Address Requirements Uncertainty, Volatility
and Risk},
booktitle = {Relating Software Requirements and Architectures},
pages = {111--131},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21001-3\_8},
doi = {10.1007/978-3-642-21001-3\_8},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/StephensonAM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-3444,
author = {Ian Sommerville and
Dave Cliff and
Radu Calinescu and
Justin Keen and
Tim Kelly and
Marta Z. Kwiatkowska and
John A. McDermid and
Richard F. Paige},
title = {Large-scale Complex {IT} Systems},
journal = {CoRR},
volume = {abs/1109.3444},
year = {2011},
url = {http://arxiv.org/abs/1109.3444},
eprinttype = {arXiv},
eprint = {1109.3444},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-3444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/LiuMC10,
author = {Shaoying Liu and
John A. McDermid and
Yuting Chen},
title = {A Rigorous Method for Inspection of Model-Based Formal Specifications},
journal = {{IEEE} Trans. Reliab.},
volume = {59},
number = {4},
pages = {667--684},
year = {2010},
url = {https://doi.org/10.1109/TR.2010.2085571},
doi = {10.1109/TR.2010.2085571},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tr/LiuMC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agiledc/GePM10,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
editor = {Sallyann Freudenberg and
Joseph Chao},
title = {An Iterative Approach for Development of Safety-Critical Software
and Safety Arguments},
booktitle = {2010 Agile Conference, {AGILE} 2010, Orlando, Florida, USA, August
9-13, 2010},
pages = {35--43},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/AGILE.2010.10},
doi = {10.1109/AGILE.2010.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agiledc/GePM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/ClarkTMCAIS10,
author = {John A. Clark and
Juan E. Tapiador and
John A. McDermid and
Pau{-}Chen Cheng and
Dakshi Agrawal and
Natalie Ivanic and
Dave Slogget},
editor = {Mohammad S. Obaidat and
George A. Tsihrintzis and
Joaquim Filipe},
title = {Modelling Uncertain and Time-Dependent Security Labels in {MLS} Systems},
booktitle = {e-Business and Telecommunications - 7th International Joint Conference,
{ICETE} 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {222},
pages = {158--171},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25206-8\_10},
doi = {10.1007/978-3-642-25206-8\_10},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icete/ClarkTMCAIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HutchessonM10,
author = {Stuart Hutchesson and
John A. McDermid},
editor = {Erwin Schoitsch},
title = {Development of High-Integrity Software Product Lines Using Model Transformation},
booktitle = {Computer Safety, Reliability, and Security, 29th International Conference,
{SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6351},
pages = {389--401},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15651-9\_29},
doi = {10.1007/978-3-642-15651-9\_29},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/HutchessonM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/MenonHMK10,
author = {Catherine Menon and
Richard Hawkins and
John A. McDermid and
Tim Kelly},
editor = {Chris Dale and
Tom Anderson},
title = {An Overview of the SoBP for Software in the Context of {DS} 00-56
Issue 4},
booktitle = {Making Systems Safer - Proceedings of the Eighteenth Safety-Critical
Systems Symposium, Bristol, UK, February 9-11, 2010},
pages = {129--147},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-84996-086-1\_9},
doi = {10.1007/978-1-84996-086-1\_9},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scss/MenonHMK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/ClarkTMCAIS10,
author = {John A. Clark and
Juan E. Tapiador and
John A. McDermid and
Pau{-}Chen Cheng and
Dakshi Agrawal and
Natalie Ivanic and
Dave Slogget},
editor = {Sokratis K. Katsikas and
Pierangela Samarati},
title = {Risk based Access Control with Uncertain and Time-dependent Sensitivity},
booktitle = {{SECRYPT} 2010 - Proceedings of the International Conference on Security
and Cryptography, Athens, Greece, July 26-28, 2010, {SECRYPT} is part
of {ICETE} - The International Joint Conference on e-Business and
Telecommunications},
pages = {5--13},
publisher = {SciTePress},
year = {2010},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secrypt/ClarkTMCAIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/GePM10,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
title = {Analysing System Failure Behaviours with {PRISM}},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {130--136},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.32},
doi = {10.1109/SSIRI-C.2010.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/GePM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GePM09,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
editor = {Sven Apel and
William R. Cook and
Krzysztof Czarnecki and
Christian K{\"{a}}stner and
Neil Loughran and
Oscar Nierstrasz},
title = {Domain analysis on an electronic health records system},
booktitle = {Proceedings of the First International Workshop on Feature-Oriented
Software Development, {FOSD} 2009, Denver, Colorado, USA, October
6, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {49--54},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629716.1629727},
doi = {10.1145/1629716.1629727},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/GePM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GePM09,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
editor = {Bettina Buth and
Gerd Rabe and
Till Seyfarth},
title = {Probabilistic Failure Propagation and Transformation Analysis},
booktitle = {Computer Safety, Reliability, and Security, 28th International Conference,
{SAFECOMP} 2009, Hamburg, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5775},
pages = {215--228},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04468-7\_18},
doi = {10.1007/978-3-642-04468-7\_18},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/GePM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KurdKMCK09,
author = {Zeshan Kurd and
Tim Kelly and
John A. McDermid and
Radu Calinescu and
Marta Z. Kwiatkowska},
editor = {Bettina Buth and
Gerd Rabe and
Till Seyfarth},
title = {Establishing a Framework for Dynamic Risk Management in 'Intelligent'
Aero-Engine Control},
booktitle = {Computer Safety, Reliability, and Security, 28th International Conference,
{SAFECOMP} 2009, Hamburg, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5775},
pages = {326--341},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04468-7\_26},
doi = {10.1007/978-3-642-04468-7\_26},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/KurdKMCK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/McDermidTR09,
author = {John Alexander McDermid and
Martyn Thomas and
Felix Redmill},
editor = {Chris Dale and
Tom Anderson},
title = {Professional Issues in System Safety Engineering},
booktitle = {Safety-Critical Systems: Problems, Process and Practice - Proceedings
of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK,
February 3-5, 2009},
pages = {135--145},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84882-349-5\_8},
doi = {10.1007/978-1-84882-349-5\_8},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scss/McDermidTR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/MenonHM09,
author = {Catherine Menon and
Richard Hawkins and
John A. McDermid},
editor = {Chris Dale and
Tom Anderson},
title = {Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards},
booktitle = {Safety-Critical Systems: Problems, Process and Practice - Proceedings
of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK,
February 3-5, 2009},
pages = {223--243},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84882-349-5\_15},
doi = {10.1007/978-1-84882-349-5\_15},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scss/MenonHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcis/BrownM07,
author = {Alan W. Brown and
John Alexander McDermid},
title = {The Art and Science of Software Architecture},
journal = {Int. J. Cooperative Inf. Syst.},
volume = {16},
number = {3/4},
pages = {439--466},
year = {2007},
url = {https://doi.org/10.1142/S0218843007001718},
doi = {10.1142/S0218843007001718},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcis/BrownM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/IwuGMT07,
author = {Frantz Iwu and
Andy Galloway and
John A. McDermid and
Ian Toyn},
title = {Integrating safety and formal analyses using {UML} and {PFS}},
journal = {Reliab. Eng. Syst. Saf.},
volume = {92},
number = {2},
pages = {156--170},
year = {2007},
url = {https://doi.org/10.1016/j.ress.2005.11.060},
doi = {10.1016/J.RESS.2005.11.060},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/IwuGMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/BrownM07,
author = {Alan W. Brown and
John Alexander McDermid},
editor = {Fl{\'{a}}vio Oquendo},
title = {The Art and Science of Software Architecture},
booktitle = {Software Architecture, First European Conference, {ECSA} 2007, Aranjuez,
Spain, September 24-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4758},
pages = {237--256},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75132-8\_19},
doi = {10.1007/978-3-540-75132-8\_19},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/BrownM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/StephensonM07,
author = {Zo{\"{e}} R. Stephenson and
John A. McDermid},
title = {Using Model Checking to Validate Style-Specific Architectural Refactoring
Patterns},
booktitle = {31st Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-31}
2007), 6-8 March 2007, Loyola College, Columbia, MD, {USA}},
pages = {53--62},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/SEW.2007.112},
doi = {10.1109/SEW.2007.112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/StephensonM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ChiversM06,
author = {Howard Chivers and
John A. McDermid},
title = {Refactoring service-based systems: how to avoid trusting a workflow
service},
journal = {Concurr. Comput. Pract. Exp.},
volume = {18},
number = {10},
pages = {1255--1275},
year = {2006},
url = {https://doi.org/10.1002/cpe.997},
doi = {10.1002/CPE.997},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/ChiversM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/McDermidG06,
author = {John A. McDermid and
Andy Galloway},
editor = {Zhiming Liu and
Jifeng He},
title = {Three Perspectives in Formal Engineering},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {35--54},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_3},
doi = {10.1007/11901433\_3},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/McDermidG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/StephensonMC06,
author = {Zo{\"{e}} R. Stephenson and
John A. McDermid and
Jason Choy},
title = {Using Simulation to Validate Style-Specific Architectural Refactoring
Patterns},
booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
MD, {USA}},
pages = {123--132},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEW.2006.40},
doi = {10.1109/SEW.2006.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/StephensonMC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/StephensonM05,
author = {Zo{\"{e}} R. Stephenson and
John A. McDermid},
title = {Deriving architectural flexibility requirements in safety-critical
systems},
journal = {{IEE} Proc. Softw.},
volume = {152},
number = {4},
pages = {143--152},
year = {2005},
url = {https://doi.org/10.1049/ip-sen:20045050},
doi = {10.1049/IP-SEN:20045050},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/StephensonM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/WeaverDKM05,
author = {Rob Weaver and
Georgios Despotou and
Tim Kelly and
John A. McDermid},
title = {Combining software evidence: arguments and assurance},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {4},
pages = {1--7},
year = {2005},
url = {https://doi.org/10.1145/1082983.1083182},
doi = {10.1145/1082983.1083182},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/WeaverDKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiuNCGM05,
author = {Shaoying Liu and
Fumiko Nagoya and
Yuting Chen and
Masashi Goya and
John A. McDermid},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {An Automated Approach to Specification-Based Program Inspection},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {421--434},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_29},
doi = {10.1007/11576280\_29},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LiuNCGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ChenPMP05,
author = {Zezhi Chen and
Philip Pe and
John Alexander McDermid and
Nick E. Pears},
title = {Two-stage visual localisation: landmark-based pose initialisation
and model-based pose refinement},
booktitle = {2005 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, Edmonton, Alberta, Canada, August 2-6, 2005},
pages = {150--156},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/IROS.2005.1545555},
doi = {10.1109/IROS.2005.1545555},
timestamp = {Thu, 29 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/ChenPMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PaigeCMS05,
author = {Richard F. Paige and
Howard Chivers and
John A. McDermid and
Zo{\"{e}} R. Stephenson},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {High-integrity extreme programming},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1518--1523},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1067019},
doi = {10.1145/1066677.1067019},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/PaigeCMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/GallowayIMT05,
author = {Andy Galloway and
Frantz Iwu and
John A. McDermid and
Ian Toyn},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {On the Formal Development of Safety-Critical Software},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {362--373},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_39},
doi = {10.1007/978-3-540-69149-5\_39},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/GallowayIMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciar/ChenPLM04,
author = {Zezhi Chen and
Nick E. Pears and
Bojian Liang and
John Alexander McDermid},
editor = {Aur{\'{e}}lio C. Campilho and
Mohamed S. Kamel},
title = {Plane Segmentation from Two Views in Reciprocal-Polar Image Space},
booktitle = {Image Analysis and Recognition: International Conference, {ICIAR}
2004, Porto, Portugal, September 29-October 1, 2004, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3212},
pages = {638--646},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30125-7\_79},
doi = {10.1007/978-3-540-30125-7\_79},
timestamp = {Thu, 29 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciar/ChenPLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AudsleyBCM04,
author = {Neil C. Audsley and
Iain Bate and
Steven Crook{-}Dawkins and
John A. McDermid},
editor = {Ren{\'{e}} Jacquart},
title = {Improving certification capability through automatic code generation},
booktitle = {Building the Information Society, {IFIP} 18th World Computer Congress,
Topical Sessions, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {156},
pages = {511--520},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/978-1-4020-8157-6\_46},
doi = {10.1007/978-1-4020-8157-6\_46},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/AudsleyBCM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scs/ChinneckPM04,
author = {Paul Chinneck and
David John Pumfrey and
John A. McDermid},
editor = {Anthony Cant},
title = {The {HEAT/ACT} Preliminary Safety Case: {A} case study in the use
of Goal Structuring Notation},
booktitle = {Safety Critical Systems and Software 2004, Ninth Australian Workshop
on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia,
October 2004},
series = {{CRPIT}},
volume = {47},
pages = {33--41},
publisher = {Australian Computer Society},
year = {2004},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV47Chinneck.html},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scs/ChinneckPM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/BateMN03,
author = {Iain Bate and
John A. McDermid and
Peter Nightingale},
title = {Establishing timing requirements for control loops in real-time systems},
journal = {Microprocess. Microsystems},
volume = {27},
number = {4},
pages = {159--169},
year = {2003},
url = {https://doi.org/10.1016/S0141-9331(03)00015-2},
doi = {10.1016/S0141-9331(03)00015-2},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/BateMN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/LinM03,
author = {Tse{-}Min Lin and
John A. McDermid},
editor = {Jean{-}Pierre Rosen and
Alfred Strohmeier},
title = {A Behavioural Notion of Subtyping for Object-Oriented Programming
in {SPARK95}},
booktitle = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
Conference on Reliable Software Technologies, Toulouse, France, June
16-20, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2655},
pages = {309--321},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44947-7\_23},
doi = {10.1007/3-540-44947-7\_23},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/LinM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dicta/ChenPMH03,
author = {Zezhi Chen and
Nick E. Pears and
John Alexander McDermid and
Thomas Heseltine},
editor = {Changming Sun and
Hugues Talbot and
S{\'{e}}bastien Ourselin and
Tony Adriaansen},
title = {Epipole Estimation under Pure Camera Translation},
booktitle = {Proceedings of the Seventh International Conference on Digital Image
Computing: Techniques and Applications, {DICTA} 2003, 10-12 December
2003, Macquarie University, Sydney, Australia},
pages = {849--858},
publisher = {{CSIRO} Publishing},
year = {2003},
url = {http://www.cmis.csiro.au/Hugues.Talbot/dicta2003/cdrom/pdf/0849.pdf},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dicta/ChenPMH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scs/BateHM03,
author = {Iain Bate and
Richard Hawkins and
John A. McDermid},
editor = {Peter A. Lindsay and
Anthony Cant},
title = {A Contract-based Approach to Designing Safe Systems},
booktitle = {Safety Critical Systems and Software 2003, Eigth Australian Workshop
on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT,
Australia, 9-10 October 2003},
series = {{CRPIT}},
volume = {33},
pages = {25--36},
publisher = {Australian Computer Society},
year = {2003},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Bate.html},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scs/BateHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scs/ConmyNM03,
author = {Philippa Conmy and
Mark Nicholson and
John A. McDermid},
editor = {Peter A. Lindsay and
Anthony Cant},
title = {Safety Assurance Contracts for Integrated Modular Avionics},
booktitle = {Safety Critical Systems and Software 2003, Eigth Australian Workshop
on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT,
Australia, 9-10 October 2003},
series = {{CRPIT}},
volume = {33},
pages = {69--78},
publisher = {Australian Computer Society},
year = {2003},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Conmy.html},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scs/ConmyNM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/McDermid02,
author = {John Alexander McDermid},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Software Hazard and Safety Analysis},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {23--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_2},
doi = {10.1007/3-540-45739-9\_2},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/McDermid02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/NasrMB02,
author = {Eman Nasr and
John A. McDermid and
Guillem Bernat},
title = {A Technique for Managing Complexity of Use Cases for Large Complex
Embedded Systems},
booktitle = {5th International Symposiun on Object Oriented Real-Time Distributed
Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
pages = {225--232},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISORC.2002.1003708},
doi = {10.1109/ISORC.2002.1003708},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/NasrMB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scs/McDermid02,
author = {John Alexander McDermid},
editor = {Peter A. Lindsay},
title = {Trends in Systems Safety},
booktitle = {Safety Critical Systems and Software 2002, Seventh Australian Workshop
on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia,
17-18 October 2002},
series = {{CRPIT}},
volume = {15},
pages = {3--8},
publisher = {Australian Computer Society},
year = {2002},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV15McDermid.html},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scs/McDermid02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/NasrMB02,
author = {Eman Nasr and
John A. McDermid and
Guillem Bernat},
title = {Eliciting and Specifying Requirements with Use Cases for Embedded
Systems},
booktitle = {7th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2002), 7-9 January 2002, San Diego, CA, {USA}},
pages = {350--358},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/WORDS.2002.1000073},
doi = {10.1109/WORDS.2002.1000073},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/NasrMB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BateCKM01,
author = {Iain Bate and
Philippa Conmy and
Tim Kelly and
John A. McDermid},
title = {Use of Modern Processors in Safety-Critical Applications},
journal = {Comput. J.},
volume = {44},
number = {6},
pages = {531--543},
year = {2001},
url = {https://doi.org/10.1093/comjnl/44.6.531},
doi = {10.1093/COMJNL/44.6.531},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BateCKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/TraceyM01,
author = {Nigel James Tracey and
John A. McDermid},
title = {Testing and testing techniques for real-time embedded software systems},
journal = {Microprocess. Microsystems},
volume = {24},
number = {9},
pages = {441},
year = {2001},
url = {https://doi.org/10.1016/S0141-9331(00)00096-X},
doi = {10.1016/S0141-9331(00)00096-X},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/TraceyM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/PapadopoulosMSH01,
author = {Yiannis Papadopoulos and
John A. McDermid and
Ralph Sasse and
Gunter Heiner},
title = {Analysis and synthesis of the behaviour of complex programmable electronic
systems in conditions of failure},
journal = {Reliab. Eng. Syst. Saf.},
volume = {71},
number = {3},
pages = {229--247},
year = {2001},
url = {https://doi.org/10.1016/S0951-8320(00)00076-4},
doi = {10.1016/S0951-8320(00)00076-4},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/PapadopoulosMSH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/KellyM01,
author = {Tim P. Kelly and
John A. McDermid},
title = {A systematic approach to safety case maintenance},
journal = {Reliab. Eng. Syst. Saf.},
volume = {71},
number = {3},
pages = {271--284},
year = {2001},
url = {https://doi.org/10.1016/S0951-8320(00)00079-X},
doi = {10.1016/S0951-8320(00)00079-X},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/KellyM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KimCM01,
author = {Sun{-}Woo Kim and
John A. Clark and
John A. McDermid},
title = {Investigating the effectiveness of object-oriented testing strategies
using the mutation method},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {207--225},
year = {2001},
url = {https://doi.org/10.1002/stvr.238},
doi = {10.1002/STVR.238},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/KimCM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/AllenbyBBMMSBH01,
author = {Karen Allenby and
Simon Burton and
Darren Lee Buttle and
John A. McDermid and
John Murdoch and
Alan Stephenson and
Mike Bardill and
Stuart Hutchesson},
editor = {Frank Bomarius and
Seija Komi{-}Sirvi{\"{o}}},
title = {A Family-Oriented Software Development Process for Engine Controllers},
booktitle = {Product Focused Software Process Improvement, Third International
Conference, {PROFES} 2001, Kaiserslautern, Germany, September 10-13,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2188},
pages = {210--226},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44813-6\_20},
doi = {10.1007/3-540-44813-6\_20},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/profes/AllenbyBBMMSBH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scs/McDermid01,
author = {John Alexander McDermid},
editor = {Peter A. Lindsay},
title = {Software Safety: Where's the Evidence?},
booktitle = {Safety Critical Systems and Software 2001, Sixth Australian Workshop
on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland,
Australia, 6 July 2001},
series = {{CRPIT}},
volume = {3},
pages = {1--6},
publisher = {Australian Computer Society},
year = {2001},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV3McDermid.html},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scs/McDermid01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scs/ConmyM01,
author = {Philippa Conmy and
John A. McDermid},
editor = {Peter A. Lindsay},
title = {High Level Failure Analysis for Integrated Modular Avionics},
booktitle = {Safety Critical Systems and Software 2001, Sixth Australian Workshop
on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland,
Australia, 6 July 2001},
series = {{CRPIT}},
volume = {3},
pages = {13--22},
publisher = {Australian Computer Society},
year = {2001},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV3Conmy.html},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scs/ConmyM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/MurdochM00,
author = {John Murdoch and
John A. McDermid},
title = {Modelling Engineering Design Processes with Role Activity Diagrams},
journal = {Trans. {SDPS}},
volume = {4},
number = {2},
pages = {45--65},
year = {2000},
url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid4-2-04},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jid/MurdochM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/TraceyCMM00,
author = {Nigel J. Tracey and
John A. Clark and
Keith Mander and
John A. McDermid},
title = {Automated test-data generation for exception conditions},
journal = {Softw. Pract. Exp.},
volume = {30},
number = {1},
pages = {61--79},
year = {2000},
url = {https://doi.org/10.1002/(SICI)1097-024X(200001)30:1\&\#60;61::AID-SPE292\&\#62;3.0.CO;2-9},
doi = {10.1002/(SICI)1097-024X(200001)30:1\&\#60;61::AID-SPE292\&\#62;3.0.CO;2-9},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/TraceyCMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/LinM00,
author = {Tse{-}Min Lin and
John A. McDermid},
editor = {Hubert B. Keller and
Erhard Pl{\"{o}}dereder},
title = {(True) Polymorphism in {SPARK2000}},
booktitle = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1845},
pages = {252--265},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722060\_23},
doi = {10.1007/10722060\_23},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/LinM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BateCM00,
author = {Iain Bate and
Philippa Conmy and
John A. McDermid},
title = {Generating evidence for certification of modern processors for use
in safety-critical systems},
booktitle = {5th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings},
pages = {125--134},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/HASE.2000.895450},
doi = {10.1109/HASE.2000.895450},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BateCM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/McDermid00,
author = {John Alexander McDermid},
title = {Complexity: Concept, Causes and Control},
booktitle = {6th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2000), 11-15 September 2000, Tokyo, Japan},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICECCS.2000.873923},
doi = {10.1109/ICECCS.2000.873923},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/McDermid00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsapf/StephensonBM00,
author = {Alan Stephenson and
Darren Lee Buttle and
John A. McDermid},
editor = {Frank van der Linden},
title = {Extending Commonality Analysis for Embedded Control System Families},
booktitle = {Software Architectures for Product Families, International Workshop
IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1951},
pages = {217--224},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-44542-5\_24},
doi = {10.1007/978-3-540-44542-5\_24},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwsapf/StephensonBM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LindsayMT00,
author = {Peter A. Lindsay and
John A. McDermid and
David J. Tombs},
editor = {Floor Koornneef and
Meine van der Meulen},
title = {Deriving Quantified Safety Requirements in Complex Systems},
booktitle = {Computer Safety, Reliability and Security, 19th International Conference,
{SAFECOMP} 2000, Rotterdam, The Netherlands, October 24-27, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1943},
pages = {117--130},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40891-6\_11},
doi = {10.1007/3-540-40891-6\_11},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/LindsayMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ButtleCMST99,
author = {Darren Lee Buttle and
John A. Clark and
John A. McDermid and
Alan Stephenson and
Nigel James Tracey},
title = {{CONVERSE:} {A} change-oriented process for engine controllers},
journal = {{IEE} Proc. Softw.},
volume = {146},
number = {3},
pages = {130--136},
year = {1999},
url = {https://doi.org/10.1049/ip-sen:19990612},
doi = {10.1049/IP-SEN:19990612},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/ButtleCMST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/McDermidB99,
author = {John Alexander McDermid and
Keith H. Bennett},
title = {Software engineering research: {A} critical appraisal},
journal = {{IEE} Proc. Softw.},
volume = {146},
number = {4},
pages = {179--186},
year = {1999},
url = {https://doi.org/10.1049/ip-sen:19990618},
doi = {10.1049/IP-SEN:19990618},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/McDermidB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KellyM99,
author = {Tim P. Kelly and
John A. McDermid},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {A Systematic Approach to Safety Case Maintenance},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {13--26},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_2},
doi = {10.1007/3-540-48249-0\_2},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/KellyM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PapadopoulosM99,
author = {Yiannis Papadopoulos and
John A. McDermid},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Hierarchically Performed Hazard Origin and Propagation Studies},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {139--152},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_13},
doi = {10.1007/3-540-48249-0\_13},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/PapadopoulosM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/TalbertM98,
author = {Nancy Talbert and
John Alexander McDermid},
title = {The Cost of {COTS} (Interview)},
journal = {Computer},
volume = {31},
number = {6},
pages = {46--52},
year = {1998},
url = {https://doi.org/10.1109/MC.1998.683007},
doi = {10.1109/MC.1998.683007},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/TalbertM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ToynCMJ98,
author = {Ian Toyn and
David Michael Cattrall and
John A. McDermid and
Jeremy L. Jacob},
title = {A practical language and toolkit for high-integrity tools},
journal = {J. Syst. Softw.},
volume = {41},
number = {3},
pages = {161--173},
year = {1998},
url = {https://doi.org/10.1016/S0164-1212(97)10017-6},
doi = {10.1016/S0164-1212(97)10017-6},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ToynCMJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/PapadopoulosM98,
author = {Yiannis Papadopoulos and
John A. McDermid},
title = {A harmonised model for safety assessment and certification of safety-critical
systems in the transportation industries},
journal = {Requir. Eng.},
volume = {3},
number = {1},
pages = {143--149},
year = {1998},
url = {https://doi.org/10.1007/bf02919975},
doi = {10.1007/BF02919975},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/PapadopoulosM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/McDermidGBCTTV98,
author = {John A. McDermid and
Andy Galloway and
Simon Burton and
John A. Clark and
Ian Toyn and
Nigel J. Tracey and
Samuel H. Valentine},
title = {Towards Industrially Applicable Formal Methods: Three Small Steps
and One Giant Leap},
booktitle = {Second {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
Proceedings},
pages = {76--89},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICFEM.1998.730572},
doi = {10.1109/ICFEM.1998.730572},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/McDermidGBCTTV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TraceyCMM98,
author = {Nigel J. Tracey and
John A. Clark and
Keith Mander and
John A. McDermid},
title = {An Automated Framework for Structural Test-Data Generation},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {285--288},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732680},
doi = {10.1109/ASE.1998.732680},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/TraceyCMM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/MayMJ98,
author = {R. May and
John A. McDermid and
I. H. A. Johnston},
editor = {Felix Redmill and
Tom Anderson},
title = {{COTS} in Safety-Related Systems Issues and an Illustration},
booktitle = {Industrial Perspectives of Safety-critical Systems - Proceedings of
the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998},
pages = {211--221},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-1-4471-1534-2\_16},
doi = {10.1007/978-1-4471-1534-2\_16},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scss/MayMJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/LamMV97,
author = {W. Lam and
John A. McDermid and
Andrew J. Vickers},
title = {Ten Steps Towards Systematic Requirements Reuse},
journal = {Requir. Eng.},
volume = {2},
number = {2},
pages = {102--113},
year = {1997},
url = {https://doi.org/10.1007/BF02813029},
doi = {10.1007/BF02813029},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/LamMV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LeiteRBMKHO97,
author = {W. Lam and
John A. McDermid and
Andrew J. Vickers},
title = {Ten Steps Towards Systematic Requirements Reuse},
booktitle = {3rd {IEEE} International Symposium on Requirements Engineering (RE'97),
January 5-8, 1997, Annapolis, MD, {USA}},
pages = {6--15},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISRE.1997.566834},
doi = {10.1109/ISRE.1997.566834},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/LeiteRBMKHO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KellyM97,
author = {Tim P. Kelly and
John A. McDermid},
editor = {Peter Daniel},
title = {Safety Case Construction and Reuse Using Patterns},
booktitle = {16th International Conference on Computer Safety, Reliability and
Security, Safe Comp 1997, York, UK, September 7-10, 1997},
pages = {55--69},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-1-4471-0997-6\_5},
doi = {10.1007/978-1-4471-0997-6\_5},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/KellyM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LindsayM97,
author = {Peter A. Lindsay and
John A. McDermid},
editor = {Peter Daniel},
title = {A systematic approach to software safety integrity levels},
booktitle = {16th International Conference on Computer Safety, Reliability and
Security, Safe Comp 1997, York, UK, September 7-10, 1997},
pages = {70--82},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-1-4471-0997-6\_6},
doi = {10.1007/978-1-4471-0997-6\_6},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/LindsayM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/WilsonMKPT97,
author = {Stephen P. Wilson and
John A. McDermid and
P. M. Kirkham and
Clive H. Pygott and
David J. Tombs},
editor = {Peter Daniel},
title = {Computer Based Support for Standards and Processes in Safety Critical
Systems},
booktitle = {16th International Conference on Computer Safety, Reliability and
Security, Safe Comp 1997, York, UK, September 7-10, 1997},
pages = {197--209},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-1-4471-0997-6\_16},
doi = {10.1007/978-1-4471-0997-6\_16},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/WilsonMKPT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/LamM97,
author = {W. Lam and
John A. McDermid},
editor = {Lori A. Clarke and
Guillermo Arango and
Mehdi T. Harandi},
title = {A Summary of Domain Analysis Experience by Way of Heuristics},
booktitle = {Proceedings of the 1997 {ACM} {SIGSOFT} Symposium on Symposium on
Software Reusability, {SSR} 1997, May 17-19, 1997, Boston, MA, {USA}},
pages = {54--64},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258366.258386},
doi = {10.1145/258366.258386},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssr/LamM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LiuM96,
author = {Shaoying Liu and
John A. McDermid},
title = {A Model-Oriented Approach to Safety Analysis Using Fault Trees and
a Support System},
journal = {J. Syst. Softw.},
volume = {35},
number = {2},
pages = {151--164},
year = {1996},
url = {https://doi.org/10.1016/0164-1212(95)00094-1},
doi = {10.1016/0164-1212(95)00094-1},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/LiuM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/MoffetHCM96,
author = {Jonathan D. Moffett and
Jon G. Hall and
Andrew Charles Coombes and
John A. McDermid},
title = {A Model for a Causal Logic for Requirements Engineering},
journal = {Requir. Eng.},
volume = {1},
number = {1},
pages = {27--46},
year = {1996},
url = {https://doi.org/10.1007/BF01235764},
doi = {10.1007/BF01235764},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/MoffetHCM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/McDermidL96,
author = {John A. McDermid and
Shaoying Liu},
title = {A Case Study Using {SAM} - Safety Analysis of {PES}},
booktitle = {3rd Asia-Pacific Software Engineering Conference {(APSEC} '96), December
4-7, 1996, Seoul, South Korea},
pages = {217},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/APSEC.1996.566756},
doi = {10.1109/APSEC.1996.566756},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/McDermidL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LamWMW96,
author = {Wing Lam and
Ben Whittle and
John Alexander McDermid and
Steve Wilson},
title = {An Integrated Approach to Domain Analysis and Reuse for Engineering
Complex Systems},
booktitle = {{IEEE} Symposium and Workshop on Engineering of Computer Based Systems
(ECBS'96), March 11-15, 1996, Friedrichshafen, Germany},
pages = {102--109},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ECBS.1996.494517},
doi = {10.1109/ECBS.1996.494517},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/LamWMW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/WilsonMKF96,
author = {Stephen P. Wilson and
John A. McDermid and
P. M. Kirkham and
Peter Fenelon},
title = {The Safety Argument Manager: An Integrated Approach to the Engineering
and Safety Assessment of Computer Based Systems},
booktitle = {{IEEE} Symposium and Workshop on Engineering of Computer Based Systems
(ECBS'96), March 11-15, 1996, Friedrichshafen, Germany},
pages = {198--205},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ECBS.1996.494529},
doi = {10.1109/ECBS.1996.494529},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/WilsonMKF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BateBMV96,
author = {Iain Bate and
Alan Burns and
John A. McDermid and
Andy Vickers},
title = {Towards a Fixed Priority Scheduler for an Aircraft Application},
booktitle = {Proceedings of the Eighth Euromicro Workshop on Real-Time Systems,
{RTS} 1996, L'Aquila, Italy, June 12-14, 1996},
pages = {34--40},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EMWRTS.1996.557786},
doi = {10.1109/EMWRTS.1996.557786},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BateBMV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WilsonMPT96,
author = {Stephen P. Wilson and
John A. McDermid and
Clive H. Pygott and
David J. Tombs},
title = {Assessing Complex Computer Based Systems using the Goal Structuring
Notation},
booktitle = {2nd {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '96), 21-25 October 1996, Montreal, Canada},
pages = {498--505},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICECCS.1996.558581},
doi = {10.1109/ICECCS.1996.558581},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/WilsonMPT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/McDermid96,
author = {John Alexander McDermid},
editor = {Felix Redmill and
Tom Anderson},
title = {Software Hazard and Safety Analysis: Opportunities and Challenges},
booktitle = {Safety-Critical Systems: The Convergence of High Tech and Human Factors
- Proceedings of the Fourth Safety-critical Systems Symposium, {SSS}
1996, Leeds, UK, February 6-8, 1996},
pages = {209--221},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-1-4471-1480-2\_14},
doi = {10.1007/978-1-4471-1480-2\_14},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scss/McDermid96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/McDermidVW96,
author = {John A. McDermid and
Andrew J. Vickers and
Stephen P. Wilson},
editor = {Alexander L. Wolf and
Anthony Finkelstein and
George Spanoudakis and
Laura Vidal},
title = {Managing analytical complexity of safety critical systems using viewpoints},
booktitle = {Joint Proceedings of the Second International Software Architecture
Workshop {(ISAW-2)} and International Workshop on Multiple Perspectives
in Software Development (Viewpoints '96) on {SIGSOFT} '96 workshops,
{ISAW} '96, San Francisco, California, {USA}},
pages = {272--274},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/243327.243679},
doi = {10.1145/243327.243679},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/McDermidVW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/WilsonM95,
author = {Stephen P. Wilson and
John A. McDermid},
title = {Integrated Analysis of Complex Safety Critical Systems},
journal = {Comput. J.},
volume = {38},
number = {10},
pages = {765--776},
year = {1995},
url = {https://doi.org/10.1093/comjnl/38.10.765},
doi = {10.1093/COMJNL/38.10.765},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/WilsonM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/McDermid95,
author = {John Alexander McDermid},
title = {Software Engineering: {A} Practitioner's Approach [Book Review]},
journal = {Softw. Eng. J.},
volume = {10},
number = {6},
pages = {266},
year = {1995},
url = {https://doi.org/10.1049/sej.1995.0031},
doi = {10.1049/SEJ.1995.0031},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/McDermid95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/HutcheonJMPWJ95,
author = {A. D. Hutcheon and
D. T. Jordan and
John A. McDermid and
R. H. Pierce and
I. C. Wand and
B. J. Jepson},
title = {High integrity software development: process and tool issues},
journal = {Microprocess. Microsystems},
volume = {19},
number = {9},
pages = {517--524},
year = {1995},
url = {https://doi.org/10.1016/0141-9331(96)89279-9},
doi = {10.1016/0141-9331(96)89279-9},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/HutcheonJMPWJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ToynM95,
author = {Ian Toyn and
John A. McDermid},
title = {CADiZ: An Architecture for {Z} Tools and its Implementation},
journal = {Softw. Pract. Exp.},
volume = {25},
number = {3},
pages = {305--330},
year = {1995},
url = {https://doi.org/10.1002/spe.4380250306},
doi = {10.1002/SPE.4380250306},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/ToynM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/DuffyMMM95,
author = {David A. Duffy and
Craig MacNish and
John A. McDermid and
Philip Morris},
editor = {Juhani Iivari and
Kalle Lyytinen and
Matti Rossi},
title = {A Framework for Requirements Analysis Using Automated Reasoning},
booktitle = {Advanced Information Systems Engineering, 7th International Conference,
CAiSE'95, Jyv{\"{a}}skyl{\"{a}}, Finland, June 12-16, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {932},
pages = {68--81},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59498-1\_238},
doi = {10.1007/3-540-59498-1\_238},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/DuffyMMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/AtleeM95,
author = {Joanne M. Atlee and
John A. McDermid},
title = {Integrating requirements analysis and safety analysis},
booktitle = {Second {IEEE} International Symposium on Requirements Engineering,
March 27 - 29, 1995, York, England, {UK}},
pages = {158--159},
publisher = {{IEEE} Computer Society},
year = {1995},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/AtleeM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/McDermidP95,
author = {John A. McDermid and
R. H. Pierce},
editor = {Gerhard Rabe},
title = {Accessible Formal Method Support for {PLC} Software Development},
booktitle = {14th International Conference on Computer Safety, Reliability and
Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
pages = {113--127},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3054-3\_9},
doi = {10.1007/978-1-4471-3054-3\_9},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/McDermidP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CoombesMMM95,
author = {Andrew Charles Coombes and
John A. McDermid and
Jonathan D. Moffett and
Philip Morris},
editor = {Gerhard Rabe},
title = {Requirements Analysis and Safety: {A} Case Study (using {GRASP)}},
booktitle = {14th International Conference on Computer Safety, Reliability and
Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
pages = {353--371},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3054-3\_24},
doi = {10.1007/978-1-4471-3054-3\_24},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/CoombesMMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/FenelonKM95,
author = {Peter Fenelon and
Tim P. Kelly and
John A. McDermid},
editor = {Gerhard Rabe},
title = {Safety Cases for Software Application Reuse},
booktitle = {14th International Conference on Computer Safety, Reliability and
Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
pages = {419--436},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3054-3\_29},
doi = {10.1007/978-1-4471-3054-3\_29},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/FenelonKM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BurnsM94,
author = {Alan Burns and
John A. McDermid},
title = {Real-time safety-critical systems: analysis and synthesis},
journal = {Softw. Eng. J.},
volume = {9},
number = {6},
pages = {267--281},
year = {1994},
url = {https://doi.org/10.1049/sej.1994.0036},
doi = {10.1049/SEJ.1994.0036},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/BurnsM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/HutcheonJMPWJ94,
author = {A. D. Hutcheon and
D. T. Jordan and
John A. McDermid and
R. H. Pierce and
I. C. Wand and
B. J. Jepson},
editor = {Marcel Toussaint},
title = {Tool Support for High Integrity Ada Software},
booktitle = {Ada in Europe, First International Eurospace - Ada-Europe Symposium,
Copenhagen, Denmark, September 26-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {887},
pages = {63--75},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58822-1\_89},
doi = {10.1007/3-540-58822-1\_89},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/HutcheonJMPWJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ShiMZ94,
author = {Qi Shi and
John A. McDermid and
Ning Zhang},
title = {On analysis of secure information systems: a case study},
booktitle = {Eighteenth Annual International Computer Software and Applications
Conference, {COMPSAC} 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings},
pages = {364--369},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/CMPSAC.1994.342777},
doi = {10.1109/CMPSAC.1994.342777},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ShiMZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HallM94,
author = {Jon G. Hall and
John A. McDermid},
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {Towards a {Z} Method: Axiomatic Specification in {Z}},
booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
pages = {213--229},
publisher = {Springer/BCS},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3452-7\_12},
doi = {10.1007/978-1-4471-3452-7\_12},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/HallM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ClarkeM93,
author = {Steven J. Clarke and
John Alexander McDermid},
title = {Software fault trees and weakest preconditions: a comparison and analysis},
journal = {Softw. Eng. J.},
volume = {8},
number = {4},
pages = {225--236},
year = {1993},
url = {https://doi.org/10.1049/sej.1993.0028},
doi = {10.1049/SEJ.1993.0028},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/ClarkeM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CoombesM93,
author = {Andrew Charles Coombes and
John A. McDermid},
title = {Specifying temporal requirements for distributed real-time systems
in {Z}},
journal = {Softw. Eng. J.},
volume = {8},
number = {5},
pages = {273--283},
year = {1993},
url = {https://doi.org/10.1049/sej.1993.0033},
doi = {10.1049/SEJ.1993.0033},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/CoombesM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/LittlewoodBFMPWDMG93,
author = {Bev Littlewood and
Sarah Brocklehurst and
Norman E. Fenton and
Peter Mellor and
Stella Page and
David Wright and
John Dobson and
John A. McDermid and
Dieter Gollmann},
title = {Towards Operational Measures of Computer Security},
journal = {J. Comput. Secur.},
volume = {2},
number = {2-3},
pages = {211--230},
year = {1993},
url = {https://doi.org/10.3233/JCS-1993-22-308},
doi = {10.3233/JCS-1993-22-308},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/LittlewoodBFMPWDMG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/FenelonM93,
author = {Peter Fenelon and
John A. McDermid},
title = {An integrated tool set for software safety analysis},
journal = {J. Syst. Softw.},
volume = {21},
number = {3},
pages = {279--290},
year = {1993},
url = {https://doi.org/10.1016/0164-1212(93)90029-W},
doi = {10.1016/0164-1212(93)90029-W},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/FenelonM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/ShiMM93,
author = {Qi Shi and
John A. McDermid and
Jonathan D. Moffett},
title = {Applying noninterference to composition of systems: a more practical
approach},
booktitle = {Ninth Annual Computer Security Applications Conference, {ACSAC} 1993,
6-10 Decemver, 1993, Orlando, Florida, {USA}},
pages = {210--220},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/CSAC.1993.315438},
doi = {10.1109/CSAC.1993.315438},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/ShiMM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/GimenesM93,
author = {Itana Maria de Souza Gimenes and
John A. McDermid},
editor = {Wilhelm Sch{\"{a}}fer},
title = {Investigating and Formalising the Development of {HIS} Within PSEEs},
booktitle = {State of the Practice in Process Technology, Proceedings of the Eighth
International Software Process Workshop {(ISPW} '93), March 2-5, 1993,
Wadern, Schloss Dagstuhl, Germany},
pages = {90--94},
publisher = {{IEEE} Computer Society},
year = {1993},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispw/GimenesM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LiuM93,
author = {Shaoying Liu and
John A. McDermid},
editor = {Ed Deaton and
K. M. George and
Hal Berghel and
George E. Hedrick},
title = {Dynamic Sets and Their Application in {VDM}},
booktitle = {Proceedings of the 1993 {ACM/SIGAPP} Symposium on Applied Computing:
States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February
14-16, 1993},
pages = {187--192},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/162754.162865},
doi = {10.1145/162754.162865},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/LiuM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/ShiM93,
author = {Qi Shi and
John A. McDermid},
title = {Constructing Secure Distributed Systems Using Components},
booktitle = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
New Jersey, USA, October 6-8, 1993, Proceedings},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/RELDIS.1993.393464},
doi = {10.1109/RELDIS.1993.393464},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/ShiM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BurnsMD92,
author = {Alan Burns and
John A. McDermid and
John E. Dobson},
title = {On the Meaning of Safety and Security},
journal = {Comput. J.},
volume = {35},
number = {1},
pages = {3--15},
year = {1992},
url = {https://doi.org/10.1093/comjnl/35.1.3},
doi = {10.1093/COMJNL/35.1.3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BurnsMD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BarrocaM92,
author = {Leonor Maria Melo Torcato Barroca and
John A. McDermid},
title = {Formal Methods: Use and Relevance for the Development of Safety-Critical
Systems},
journal = {Comput. J.},
volume = {35},
number = {6},
pages = {579--599},
year = {1992},
url = {https://doi.org/10.1093/comjnl/35.6.579},
doi = {10.1093/COMJNL/35.6.579},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BarrocaM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BrownM92,
author = {Alan W. Brown and
John Alexander McDermid},
title = {Learning from IPSE's Mistakes},
journal = {{IEEE} Softw.},
volume = {9},
number = {2},
pages = {23--28},
year = {1992},
url = {https://doi.org/10.1109/52.120598},
doi = {10.1109/52.120598},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BrownM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/McDermidS92,
author = {John A. McDermid and
Qi Shi},
title = {Secure composition of systems},
booktitle = {Eighth Annual Computer Security Applications Conference, {ACSAC} 1992,
November 30 - December 4, 1992, San Antonio, Texas, {USA}},
pages = {112--122},
publisher = {{IEEE}},
year = {1992},
url = {https://doi.org/10.1109/CSAC.1992.228228},
doi = {10.1109/CSAC.1992.228228},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/McDermidS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/MorrisM92,
author = {Philip Morris and
John A. McDermid},
editor = {Bhavani Thuraisingham and
Carl E. Landwehr},
title = {Formalizing and Validating Complex Security Requirements},
booktitle = {Database Security, {VI:} Status and Prospects. Results of the {IFIP}
{WG} 11.3 Workshop on Database Security, Vancouver, Canada, 19-21
August 1992},
series = {{IFIP} Transactions},
volume = {{A-21}},
pages = {113--124},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/MorrisM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VasconcelosM92,
author = {Alexandre Marcos Lins de Vasconcelos and
John Alexander McDermid},
editor = {Michel Diaz and
Roland Groz},
title = {Incremental processing of {Z} specifications},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {53--69},
publisher = {North-Holland},
year = {1992},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/VasconcelosM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/McDermid92,
author = {John Alexander McDermid},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {Safety Engineering and Assurance for Real-Time Systems},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {131--159},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_8},
doi = {10.1007/978-3-642-88049-0\_8},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/McDermid92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/McDermid92a,
author = {John Alexander McDermid},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {What is the Right Specification/Design/Implementation Paradigm for
Real-Time Applications?},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {612--615},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_68},
doi = {10.1007/978-3-642-88049-0\_68},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/McDermid92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/BarrocaM92,
author = {Leonor Barroca and
John A. McDermid},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {Formal Methods for Real-Time Systems},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {619--620},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_71},
doi = {10.1007/978-3-642-88049-0\_71},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nato/BarrocaM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/CullyerM92,
author = {W. J. Cullyer and
John Alexander McDermid},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {"Birds-of-a-Feather-Group" on Safety Critical Systems},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {755--756},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_130},
doi = {10.1007/978-3-642-88049-0\_130},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/CullyerM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/CoombesM92,
author = {Andrew Charles Coombes and
John A. McDermid},
editor = {Jonathan P. Bowen and
John E. Nicholls},
title = {Using Diagrams to Give a Formal Specification of Timing Constraints
in {Z}},
booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
series = {Workshops in Computing},
pages = {119--130},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3556-2\_9},
doi = {10.1007/978-1-4471-3556-2\_9},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/CoombesM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/McDermidS91,
author = {John A. McDermid and
Qi Shi},
title = {A Formal Model of Security Dependency for Analysis and Testing of
Secure Systems},
booktitle = {4th {IEEE} Computer Security Foundations Workshop - CSFW'91, Franconia,
New Hampshire, USA, June 18-20, 1991, Proceedings},
pages = {188--200},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/CSFW.1991.151586},
doi = {10.1109/CSFW.1991.151586},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/McDermidS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/MorrisM91,
author = {Philip Morris and
John A. McDermid},
editor = {Carl E. Landwehr and
Sushil Jajodia},
title = {The Structure of Permissions: {A} Normative Framework for Access Rights},
booktitle = {Database Security, {V:} Status and Prospects, Results of the {IFIP}
{WG} 11.3 Workshop on Database Security, Shepherdstown, West Virginia,
USA, 4-7 November, 1991},
series = {{IFIP} Transactions},
volume = {{A-6}},
pages = {77--97},
publisher = {North-Holland},
year = {1991},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/MorrisM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/McDermid91,
author = {John Alexander McDermid},
title = {Safety arguments, software and system reliability},
booktitle = {Second International Symposium on Software Reliability Engineering,
{ISSRE} 1991, Austin, TX, USA, May 17-18, 1991},
pages = {43--50},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ISSRE.1991.145352},
doi = {10.1109/ISSRE.1991.145352},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/McDermid91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/HockingM90,
author = {Ernest S. Hocking and
John Alexander McDermid},
title = {Towards an Object Oriented Development Environment for Secure Applications},
booktitle = {{ESORICS} 90 - First European Symposium on Research in Computer Security,
October 24-26, 1990, Toulouse, France},
pages = {191--200},
publisher = {{AFCET}},
year = {1990},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/HockingM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/CoombesM90,
author = {Andrew Charles Coombes and
John A. McDermid},
editor = {John E. Nicholls},
title = {A Tool for Defining the Architecture of {Z} Specifications},
booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
Meeting, 17-18 December 1990},
series = {Workshops in Computing},
pages = {77--92},
publisher = {Springer},
year = {1990},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/CoombesM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/JordanMT90,
author = {David Jordan and
John A. McDermid and
Ian Toyn},
editor = {John E. Nicholls},
title = {{CADIZ} - Computer Aided Design in {Z}},
booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
Meeting, 17-18 December 1990},
series = {Workshops in Computing},
pages = {93--104},
publisher = {Springer},
year = {1990},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/JordanMT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/WhysallM90,
author = {Peter John Whysall and
John Alexander McDermid},
editor = {John E. Nicholls},
title = {An Approach to Object-Oriented Specification Using {Z}},
booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
Meeting, 17-18 December 1990},
series = {Workshops in Computing},
pages = {193--215},
publisher = {Springer},
year = {1990},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/WhysallM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/McDermidH89,
author = {John Alexander McDermid and
Ernest S. Hocking},
editor = {David L. Spooner and
Carl E. Landwehr},
title = {Security Policies for Integrated Project Support Environments},
booktitle = {Database Security, {III:} Status and Prospects. Results of the {IFIP}
{WG} 11.3 Workshop on Database Security, Monterey, California, USA,
September 5-7, 1989},
pages = {41--74},
publisher = {North-Holland},
year = {1989},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/McDermidH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/DobsonM89,
author = {John E. Dobson and
John A. McDermid},
title = {A Framework for Expressing Models of Security Policy},
booktitle = {Proceedings of the 1989 {IEEE} Symposium on Security and Privacy,
Oakland, California, USA, May 1-3, 1989},
pages = {229--239},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/SECPRI.1989.36297},
doi = {10.1109/SECPRI.1989.36297},
timestamp = {Thu, 21 Sep 2023 15:57:34 +0200},
biburl = {https://dblp.org/rec/conf/sp/DobsonM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esec/1989,
editor = {Carlo Ghezzi and
John A. McDermid},
title = {{ESEC} '89, 2nd European Software Engineering Conference, University
of Warwick, Coventry, UK, September 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {387},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51635-2},
doi = {10.1007/3-540-51635-2},
isbn = {3-540-51635-2},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esec/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/DobsonM88,
author = {John E. Dobson and
John A. McDermid},
editor = {Carl E. Landwehr},
title = {Security Models and Enterprise Models},
booktitle = {Database Security, {II:} Status and Prospects. Result of the {IFIP}
{WG} 11.3 Workshop on Database Security, Kingston, Ontario, Canada,
October 5-7, 1988},
pages = {1--39},
publisher = {North-Holland},
year = {1988},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/DobsonM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/McDermidM88,
author = {John Alexander McDermid and
Gary Morgan},
editor = {Mathai Joseph},
title = {Low Level Synchronisation Problems in Digital Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {139--141},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_10},
doi = {10.1007/3-540-50302-1\_10},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/McDermidM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MocekM87,
author = {J. P. Mocek and
John Alexander McDermid},
title = {Implementation of a model lift control system from a formal specification},
journal = {Softw. Eng. J.},
volume = {2},
number = {3},
pages = {71--79},
year = {1987},
url = {https://doi.org/10.1049/sej.1987.0010},
doi = {10.1049/SEJ.1987.0010},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/MocekM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jitech/McDermid87,
author = {John Alexander McDermid},
title = {The Role of Formal Methods in Software Development},
journal = {J. Inf. Technol.},
volume = {2},
number = {3},
pages = {124--134},
year = {1987},
url = {https://doi.org/10.1057/jit.1987.25},
doi = {10.1057/JIT.1987.25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jitech/McDermid87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee-sej/KitchenhamM86,
author = {Barbara A. Kitchenham and
John A. McDermid},
title = {Software metrics and integrated project support environments},
journal = {Softw. Eng. J.},
volume = {1},
number = {1},
pages = {58--64},
year = {1986},
url = {https://doi.org/10.1049/sej.1986.0010},
doi = {10.1049/SEJ.1986.0010},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee-sej/KitchenhamM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee-sej/McDermid86,
author = {John A. McDermid},
title = {Editorial: Mascot 3},
journal = {Softw. Eng. J.},
volume = {1},
number = {3},
year = {1986},
url = {https://doi.org/10.1049/sej.1986.0016},
doi = {10.1049/SEJ.1986.0016},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee-sej/McDermid86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee-sej/DowsingDM85,
author = {Roy D. Dowsing and
Owen Davies and
John A. McDermid},
title = {Editorial},
journal = {Softw. Microsystems},
volume = {4},
number = {1},
year = {1985},
url = {https://doi.org/10.1049/sm.1985.0001},
doi = {10.1049/SM.1985.0001},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee-sej/DowsingDM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee-sej/DowsingDM85a,
author = {Roy D. Dowsing and
Owen Davies and
John A. McDermid},
title = {Editorial},
journal = {Softw. Microsystems},
volume = {4},
number = {2},
year = {1985},
url = {https://doi.org/10.1049/sm.1985.0008},
doi = {10.1049/SM.1985.0008},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee-sej/DowsingDM85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee-sej/McDermid85,
author = {John A. McDermid},
title = {The {IEE} and software engineers},
journal = {Softw. Microsystems},
volume = {4},
number = {2},
pages = {45--48},
year = {1985},
url = {https://doi.org/10.1049/sm.1985.0012},
doi = {10.1049/SM.1985.0012},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee-sej/McDermid85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/McDermid81,
author = {John A. McDermid},
title = {Checkpointing and Error Recovery in distributed Systems},
booktitle = {Proceedings of the 2nd International Conference on Distributed Computing
Systems, Paris, France, 1981},
pages = {271--282},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/McDermid81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-06 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
