125 citations · 176 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023★ 10 cited
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: Ensuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for formal methods to entrust con…
cs.SE2023
Runtime Verification of Self-Adaptive Systems with Changing Requirements
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues +1
To accurately make adaptation decisions, a self-adaptive system needs precise means to analyze itself at runtime. To this end, runtime verification can be used in the feedback loop…