Simon Diemert

Orcid: 0000-0001-9493-7969

According to our database1, Simon Diemert authored at least 19 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Including Defeaters in Quantitative Confidence Assessments for Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

2023
Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysis.
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Assurance Case Arguments in the Large: The CERN LHC Machine Protection System.
Proceedings of the Computer Safety, Reliability, and Security, 2023

Can Large Language Models Assist in Hazard Analysis?
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Safety Integrity Levels for Artificial Intelligence.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Challenging Autonomy with Combinatorial Testing.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022
Safety-Critical Adaptation in Self-Adaptive Systems.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2020
Safety Properties of Hybrid System Product Lines.
Proceedings of the IEEE International Systems Conference, 2020

Eliminative Argumentation for Arguing System Safety - A Practitioner's Experience.
Proceedings of the IEEE International Systems Conference, 2020

2019
Data for Adherence Decision Support.
Proceedings of the Improving Usability, Safety and Patient Outcomes with Health Information Technology, 2019

2017
Considering the Language of Computerized Order Entry Systems.
Proceedings of the Building Capacity for Health Informatics in the Future, 2017

An Engagement Model for Medication Management: From Prescription to Description and Conscription.
Proceedings of the Building Capacity for Health Informatics in the Future, 2017

Computable Adherence.
Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017

Using Markov Chains to Model Sensor Network Reliability.
Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016
A language based model for analysis of communication intensive processes in health care.
Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

2015
SmartMed: A Medication Management System to Improve Adherence.
Proceedings of the Driving Quality in Informatics: Fulfilling the Promise, 2015

Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence.
Proceedings of the Graph Transformation - 8th International Conference, 2015

2013
Locating Discharge Medications in Natural Language Summaries.
Proceedings of the ACM Conference on Bioinformatics, 2013


  Loading...