Publications on Simon Diemerthttps://simondiemert.com/publications/Recent content in Publications on Simon DiemertHugo -- gohugo.ioen-caA Language Based Model for Analysis of Communication Intensive Processes in Health Carehttps://simondiemert.com/publications/2016-sehc/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2016-sehc/A Mathematical Basis for Medication Prescriptions and Adherencehttps://simondiemert.com/publications/2017-msc-thesis/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2017-msc-thesis/A Scalability Analysis of Quantitative Confidence Assessment Methods for Assurance Caseshttps://simondiemert.com/publications/2026-sassur/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2026-sassur/AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Caseshttps://simondiemert.com/publications/2024-issre-aiea/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2024-issre-aiea/An Engagement Model for Medication Management: From Prescription to Description and Conscriptionhttps://simondiemert.com/publications/2017-itch-engagement/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2017-itch-engagement/Assessing the Usefulness of Assurance Cases: An Experience with the CERN Large Hadron Colliderhttps://simondiemert.com/publications/2023-cern-preprint/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2023-cern-preprint/Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Colliderhttps://simondiemert.com/publications/2026-se-lhc/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2026-se-lhc/Assurance Case Arguments in the Large: The CERN LHC Machine Protection Systemhttps://simondiemert.com/publications/2023-safecomp-cern/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2023-safecomp-cern/Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Developmenthttps://simondiemert.com/publications/2025-safecomp-balancing/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2025-safecomp-balancing/Bridging the Gap Between ISO 26262 and Machine Learning: A Survey of Techniques for Developing Confidence in Machine Learning Based Systemshttps://simondiemert.com/publications/2020-sae-wcx/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2020-sae-wcx/Can Large Language Models Assist in Hazard Analysis?https://simondiemert.com/publications/2023-waise/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2023-waise/Can Large Language Models Assist with SOTIF Scenario Generation?https://simondiemert.com/publications/2025-rasse/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2025-rasse/Certus: A Domain Specific Language for Confidence Assessment in Assurance Caseshttps://simondiemert.com/publications/2025-sassur/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2025-sassur/Challenging Autonomy with Combinatorial Testinghttps://simondiemert.com/publications/2023-icst/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2023-icst/Computable Adherencehttps://simondiemert.com/publications/2017-ichi-adherence/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2017-ichi-adherence/Confidence in Dynamic Assurance Caseshttps://simondiemert.com/publications/2026-uvic-thesis/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2026-uvic-thesis/Considering the Language of Computerized Order Entry Systemshttps://simondiemert.com/publications/2017-itch-cpoe/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2017-itch-cpoe/Data for Adherence Decision Supporthttps://simondiemert.com/publications/2019-ehealth-ads/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2019-ehealth-ads/Driving the Development Process from the Safety Casehttps://simondiemert.com/publications/2024-scss/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2024-scss/Eliminative Argumentation for Arguing System Safety – A Practitioner's Experiencehttps://simondiemert.com/publications/2020-syscon/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2020-syscon/Evaluating AI-supported eliminative argumentation for developing reliable assurance caseshttps://simondiemert.com/publications/2026-emse/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2026-emse/Evaluation of eHealth System Usability and Safetyhttps://simondiemert.com/publications/2016-ehealth-handbook-usability/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2016-ehealth-handbook-usability/Evaluation of Personal Health Services and Recordshttps://simondiemert.com/publications/2017-ehealth-handbook-phs/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2017-ehealth-handbook-phs/Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysishttps://simondiemert.com/publications/2023-seams/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2023-seams/How Do Practitioners Gain Confidence in Assurance Cases?https://simondiemert.com/publications/2025-ist/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2025-ist/Including Defeaters in Quantitative Confidence Assessments for Assurance Caseshttps://simondiemert.com/publications/2024-sassur/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2024-sassur/Incremental Assurance Through Eliminative Argumentationhttps://simondiemert.com/publications/2023-jss/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2023-jss/Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Argumentshttps://simondiemert.com/publications/2025-edcc/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2025-edcc/Locating Discharge Medications in Natural Language Summarieshttps://simondiemert.com/publications/2013-bcb/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2013-bcb/One-size-fits-all Evaluation of LLMs for Safety Assurance Considered Harmfulhttps://simondiemert.com/publications/2025-safecomp-llm-eval/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2025-safecomp-llm-eval/Patterns for Integrating NIST 800-53 Controls into Security Assurance Caseshttps://simondiemert.com/publications/2023-safecomp-nist/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2023-safecomp-nist/Practice Advisory: Use of Artificial Intelligence (AI) in Professional Practicehttps://simondiemert.com/publications/2024-egbc/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2024-egbc/This practice advisory has been issued for professional registrants of Engineers and Geoscientists BC to provide guidance on using Artificial Intelligence (AI) appropriately in professional engineering or geoscience practice. The advisory discusses the responsibilities of professionals while using AI and topics related to risk management. It is focused on the use of AI as a tool to support practice, not on using AI as part of a deployed system.Professional Practice Guidelines: Development of Safety-Critical Softwarehttps://simondiemert.com/publications/2020-egbc/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2020-egbc/These professional practice guidelines are intended for engineers involved in the specification, design, implementation, verification, deployment, or maintenance of safety-critical software being developed or deployed in British Columbia, Canada. The guidelines provide guidance for delineating roles and responsibilities related to safety-critical software development, and reference standards that apply to areas of practice associated with safety-critical systems.Safety Integrity Levels for Artificial Intelligencehttps://simondiemert.com/publications/2023-safecomp-sil/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2023-safecomp-sil/Safety Properties of Hybrid System Product Lineshttps://simondiemert.com/publications/2020-syscon-hybrid/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2020-syscon-hybrid/Safety-Critical Adaptation in Self-Adaptive Systemshttps://simondiemert.com/publications/2022-issre/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2022-issre/SmartMed: A Medication Management System to Improve Adherencehttps://simondiemert.com/publications/2015-smartmed/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2015-smartmed/Specifying Functional Safety Requirements for AI/ML in terms of Metamorphic Relationshttps://simondiemert.com/publications/2024-issc/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2024-issc/Supporting Assurance Case Development Using Generative AIhttps://simondiemert.com/publications/2023-safecomp-genai/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2023-safecomp-genai/Supporting Change Impact Assessment with LLMshttps://simondiemert.com/publications/2024-issre-cia/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2024-issre-cia/The ML FMEA in Action: Lessons from Applications of Machine Learning Safetyhttps://simondiemert.com/publications/2026-sae-wcx/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2026-sae-wcx/Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherencehttps://simondiemert.com/publications/2015-icgt/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2015-icgt/Using Markov Chains to Model Sensor Network Reliabilityhttps://simondiemert.com/publications/2017-ares/Mon, 01 Jan 0001 00:00:00 +0000https://simondiemert.com/publications/2017-ares/