Simon Diemert | Publications

Below is a list of selected publications (papers, reports, theses, etc.) that I have contributed to as an author or collaborator. Similar lists can be found on Google Scholar, ORCID, and DPLB.

Journal Articles

Evaluating AI-supported eliminative argumentation for developing reliable assurance cases

Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Aren A. Babikian, Jeff Joyce, Alessio Di Sandro, Naweed Anwari, Erin Cyffka, Marsha Chechik

Empirical Software Engineering

Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Collider

Torin Viger, Jeff Joyce, Simon Diemert, Claudio Menghi, Marsha Chechik, Jan Uythoven, Markus Zerlauth, Lukas Felsberger

Systems Engineering

How Do Practitioners Gain Confidence in Assurance Cases?

Simon Diemert, C. Shortt, Jens H. Weber

Information and Software Technology

Incremental Assurance Through Eliminative Argumentation

Simon Diemert, John B. Goodenough, Jeff Joyce, Charles B. Weinstock

Journal of System Safety

Bridging the Gap Between ISO 26262 and Machine Learning: A Survey of Techniques for Developing Confidence in Machine Learning Based Systems

Jose Serna, Simon Diemert, Laure Millet, Rami Debouk, Ramesh S, Jeffrey J. Joyce

SAE International Journal of Advances and Current Practices in Mobility

Conference/Workshop Papers

The ML FMEA in Action: Lessons from Applications of Machine Learning Safety

Paul Schmitt, Chaitanya Shinde, Simon Diemert, Krzysztof Pennar, Bodo Seifert, Justin Poh, Jerry Lopez, Fahim Mannan, Majed Mohammed, Akshay Chalana, Neil Wadhvana, Michael Wagner

WCX SAE World Congress Experience

A Scalability Analysis of Quantitative Confidence Assessment Methods for Assurance Cases

Simon Diemert, Jens H. Weber

Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), SAFECOMP

One-size-fits-all Evaluation of LLMs for Safety Assurance Considered Harmful

Simon Diemert, Torin Viger, Jeffrey Joyce, Marsha Chechik

SAFECOMP 2025 Position Papers

Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments

Benjamin Herd, Jessica M. Kelly, João-Vitor Zacchi, Clarissa Heinemann, Simon Diemert

20th European Dependable Computing Conference (EDCC)

Certus: A Domain Specific Language for Confidence Assessment in Assurance Cases

Simon Diemert, Jens H. Weber

Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), SAFECOMP

Can Large Language Models Assist with SOTIF Scenario Generation?

Erin Cyffka, Simon Diemert, Arun Adiththan, Rami Debouk, Ramesh S., Justin Kernot, Jeffrey Joyce

IEEE International Conference on Recent Advances in Systems Science and Engineering (RASSE)

Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Development

Simon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet, Jeffrey Joyce

International Conference on Computer Safety, Reliability, and Security (SAFECOMP)

Supporting Change Impact Assessment with LLMs

Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Marsha Chechik

IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

Specifying Functional Safety Requirements for AI/ML in terms of Metamorphic Relations

Laure Millet, Simon Diemert, Rami Debouk, Ramesh S, Mateo Delgado, Jeffrey Joyce

International System Safety Society Summit and Training

Including Defeaters in Quantitative Confidence Assessments for Assurance Cases

Simon Diemert, Laure Millet, Jeff Joyce, Jens H. Weber

Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), SAFECOMP

Driving the Development Process from the Safety Case

Christopher Hobbs, Simon Diemert, Jeff Joyce

Safety-Critical Systems Symposium (SSS)

AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases

Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik

IEEE 35th International Symposium on Software Reliability Engineering (ISSRE)

Supporting Assurance Case Development Using Generative AI

Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Alessio Di Sandro, Marsha Chechik

SAFECOMP 2023 Position Papers

Safety Integrity Levels for Artificial Intelligence

Simon Diemert, Laure Millet, Jonathan Groves, Jeff Joyce

International Workshop on Artifical Intelligence Safety Engineering (WAISE), SafeCOMP

Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases

Torin Viger, Simon Diemert, Olivia Foster

Computer Safety, Reliability, and Security (SafeCOMP) Workshops

Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysis

Simon Diemert, Jens H. Weber

18th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

Challenging Autonomy with Combinatorial Testing

Simon Diemert, A. Casey, Jeremiah Robertson

IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Can Large Language Models Assist in Hazard Analysis?

Simon Diemert, Jens H. Weber

International Workshop on Artificial Intelligence Safety Engineering (WAISE), SAFECOMP

Assurance Case Arguments in the Large: The CERN LHC Machine Protection System

Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce

International Conference on Computer Safety, Reliability, and Security (SAFECOMP)

Safety-Critical Adaptation in Self-Adaptive Systems

Simon Diemert, Jens Weber

IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

Safety Properties of Hybrid System Product Lines

Simon Diemert, Laure Millet, Jeff Joyce

IEEE International Systems Conference (SysCon)

Eliminative Argumentation for Arguing System Safety – A Practitioner's Experience

Simon Diemert, Jeff Joyce

IEEE International Systems Conference (SysCon)

Data for Adherence Decision Support

Simon Diemert, Jens Weber, Morgan Price, Jordan Bannman

Improving Usability, Safety and Patient Outcomes with Health Information Technology: From Research to Practice (Lau et al., eds.)

Using Markov Chains to Model Sensor Network Reliability

Tom Arjannikov, Simon Diemert, Sudhakar Ganti, Chloe Lampman, Edward C. Wiebe

12th International Conference on Availability, Reliability and Security (ARES)

Considering the Language of Computerized Order Entry Systems

Simon Diemert, Jens Weber, Morgan Price

Building Capacity for Health Informatics in the Future (Studies in Health Technology and Informatics)

Computable Adherence

Simon Diemert, Jens Weber, Morgan Price

IEEE International Conference on Healthcare Informatics (ICHI)

An Engagement Model for Medication Management: From Prescription to Description and Conscription

Simon Diemert, Jens Weber, Morgan Price

Informatics for Health: Connected Citizen-Led Wellness and Population Health (ITCH)

A Language Based Model for Analysis of Communication Intensive Processes in Health Care

Simon Diemert, Fieran Mason-Blakely, Morgan Price, Jens Weber

International Workshop on Software Engineering in Healthcare (SEHC)

Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence

Jens H. Weber, Simon Diemert, Morgan Price

International Conference on Graph Transformation (ICGT)

SmartMed: A Medication Management System to Improve Adherence

Simon Diemert, Kirk Richardson, Paul Hunter, Jens Weber, Morgan Price

Driving Quality in Informatics: Fulfilling the Promise (Studies in Health Technology and Informatics)

Locating Discharge Medications in Natural Language Summaries

Simon Diemert, Morgan Price, Jens H. Weber

Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics (ACM-BCB)

Book Sections

Evaluation of Personal Health Services and Records

Morgan Price, Paule Bellwood, Ryan Habibi, Simon Diemert, Jens Weber

Handbook of eHealth Evaluation: An Evidence-Based Approach (Lau & Kuziemsky, eds.)

Evaluation of eHealth System Usability and Safety

Morgan Price, Jens Weber, Paule Bellwood, Simon Diemert, Ryan Habibi

Handbook of eHealth Evaluation: An Evidence-Based Approach (Lau & Kuziemsky, eds.)

Technical Reports

Assessing the Usefulness of Assurance Cases: An Experience with the CERN Large Hadron Collider

Chris Rees, Mateo Delgado, Rolf Lippelt, Jeff Joyce, Simon Diemert, Claudio Menghi, Torin Viger, Marsha Chechik, Jan Uythoven, Markus Zerlauth, Lukas Felsberger

CERN Technical Report (CERN-ACC-2023-0002)

Standards and Guidance

Practice Advisory: Use of Artificial Intelligence (AI) in Professional Practice

Engineers and Geoscientists British Columbia (EGBC)

Professional Practice Guidelines: Development of Safety-Critical Software

Engineers and Geoscientists British Columbia (EGBC)

Engineers and Geoscientists British Columbia (EGBC)

Theses and Dissertations

Confidence in Dynamic Assurance Cases

Dissertation, Doctor of Philosphy (Ph.D.), University of Victoria

A Mathematical Basis for Medication Prescriptions and Adherence

Thesis, Master of Science (M.Sc.), University of Victoria