| Eliminative Argumentation for Arguing System Safety - A Practitioner’s Experience S Diemert, J Joyce 14th IEEE International Systems Conference (SysCon), 1-7, 2020 | 19 | 2020 |
| Can Large Language Models assist in Hazard Analysis? S Diemert, JH Weber International Conference on Computer Safety, Reliability, and Security …, 2023 | 18 | 2023 |
| Using Markov Chains to Model Sensor Network Reliability T Arjannikov, S Diemert, S Ganti, C Lampman, EC Wiebe ARES 17 Proceedings of the 12th International Conference on Availability …, 2017 | 15 | 2017 |
| Supporting Assurance Case Development Using Generative AI T Viger, L Murphy, S Diemert, C Menghi, A Di, M Chechik SAFECOMP 2023, Position Paper, 2023 | 12 | 2023 |
| An engagement model for medication management: from prescription to description and conscription S Diemert, J Weber, M Price Building Capacity for Health Informatics in the Future, 81-86, 2017 | 11 | 2017 |
| Evaluation of eHealth System Usability and Safety M Price, J Weber, P Bellwood, S Diemert, R Habibi Handbook of eHealth Evaluation, 2016 | 10 | 2016 |
| Incremental Assurance Through Eliminative Argumentation S Diemert, JB Goodenough, J Joyce, CB Weinstock Journal of System Safety 58 (1), 7-15, 2023 | 9 | 2023 |
| Assurance Case Arguments in the Large: The CERN LHC Machine Protection System L Millet, S Diemert, C Rees, T Viger, M Chechik, C Menghi, J Joyce International Conference on Computer Safety, Reliability, and Security, 3-10, 2023 | 8 | 2023 |
| Bridging the Gap Between ISO 26262 and Machine Learning: A Survey of Techniques for Developing Confidence in Machine Learning Based Systems. J Serna, S Diemert, L Millet, R Debouk, S Ramesh, J Joyce WCX SAE World Congress Experience, 2020 | 8 | 2020 |
| SmartMed: a medication management system to improve adherence S Diemert, K Richardson, P Hunter, J Weber, M Price Driving Quality in Informatics: Fulfilling the Promise, 125-130, 2015 | 8 | 2015 |
| Computable Adherence S Diemert, J Weber, M Price International Conference on Health Informatics, 2017 | 6 | 2017 |
| Using graph transformations for formalizing prescriptions and monitoring adherence JH Weber, S Diemert, M Price Graph Transformation: 8th International Conference, ICGT 2015, Held as Part …, 2015 | 6 | 2015 |
| Safety Integrity Levels for Artificial Intelligence S Diemert, L Millet, J Groves, J Joyce International Conference on Computer Safety, Reliability, and Security, 397-409, 2023 | 4 | 2023 |
| Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases T Viger, S Diemert, O Foster International Conference on Computer Safety, Reliability, and Security, 165-175, 2023 | 3 | 2023 |
| AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases T Viger, L Murphy, S Diemert, C Menghi, J Joyce, A Di Sandro, M Chechik 2024 IEEE 35th International Symposium on Software Reliability Engineering …, 2024 | 2 | 2024 |
| Considering the Language of Computerized Order Entry Systems. S Diemert, JH Weber, M Price ITCH, 87-92, 2017 | 2 | 2017 |
| Driving the Development Process from the Safety Case C Hobbs, S Diemert, J Joyce Safety Critical Systems Symposium, 2024 | 1 | 2024 |
| Assessing the Usefulness of Assurance Cases: an Experience with the CERN Large Hadron Collider C Rees, R Lippelt, M Chechik, L Felsberger, M Delgado, M Zerlauth, ... | 1 | 2023 |
| Safety-Critical Adaptation in Self-Adaptive Systems S Diemert, JH Weber 2022 IEEE International Symposium on Software Reliability Engineering …, 2022 | 1 | 2022 |
| Safety Properties of Hybrid System Product Lines S Diemert, L Millet, J Joyce 14th IEEE International Systems Conference (SysCon), 1-8, 2020 | 1 | 2020 |
Jens H. WeberProfessor, Department of Computer Science, University of VictoriaVerified email at uvic.ca
