Follow
Simon Diemert
Simon Diemert
Critical Systems Labs Inc., University of Victoria
Verified email at cslabs.com - Homepage
Title
Cited by
Cited by
Year
Eliminative Argumentation for Arguing System Safety - A Practitioner’s Experience
S Diemert, J Joyce
14th IEEE International Systems Conference (SysCon), 1-7, 2020
172020
Can Large Language Models assist in Hazard Analysis?
S Diemert, JH Weber
International Conference on Computer Safety, Reliability, and Security …, 2023
142023
Supporting Assurance Case Development Using Generative AI
T Viger, L Murphy, S Diemert, C Menghi, A Di, M Chechik
SAFECOMP 2023, Position Paper, 2023
112023
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
112017
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
112017
Evaluation of eHealth System Usability and Safety
M Price, J Weber, P Bellwood, S Diemert, R Habibi
Handbook of eHealth Evaluation, 2016
92016
Incremental Assurance Through Eliminative Argumentation
S Diemert, JB Goodenough, J Joyce, CB Weinstock
Journal of System Safety 58 (1), 7-15, 2023
82023
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
82015
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
72023
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
72020
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
62015
Computable Adherence
S Diemert, J Weber, M Price
International Conference on Health Informatics, 2017
52017
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
22023
Considering the Language of Computerized Order Entry Systems.
S Diemert, JH Weber, M Price
ITCH, 87-92, 2017
22017
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
12023
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, ...
12023
Safety-Critical Adaptation in Self-Adaptive Systems
S Diemert, JH Weber
2022 IEEE International Symposium on Software Reliability Engineering …, 2022
12022
Safety Properties of Hybrid System Product Lines
S Diemert, L Millet, J Joyce
14th IEEE International Systems Conference (SysCon), 1-8, 2020
12020
Data for Adherence Decision Support.
S Diemert, J Weber, M Price, J Bannman
Studies in health technology and informatics 257, 75-79, 2019
12019
Evaluation of personal health services and records
M Price, P Bellwood, R Habibi, S Diemert, J Weber
Handbook of eHealth Evaluation: An Evidence-based Approach [Internet], 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20