45 citations · 99 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods i…
cs.SE2021★ 16 cited
Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees
Kai Hoefig, Andreas Joanni, Marc Zeller +5
The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for relia…