research
∙
04/01/2023
Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysis
Self-adaptive systems are able to change their behaviour at run-time in ...
share
research
∙
03/25/2023
Can Large Language Models assist in Hazard Analysis?
Large Language Models (LLMs), such as GPT-3, have demonstrated remarkabl...
research
∙
12/22/2022
A Foundation for Functional Graph Programs: The Graph Transformation Control Algebra (GTA)
Applications of graph transformation (GT) systems often require control ...
research
∙
09/30/2022