122 citations · 534 across the 25 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
How do we Evaluate Self-adaptive Software Systems?
Ilias Gerostathopoulos, Thomas Vogel, Danny Weyns +1
With the increase of research in self-adaptive systems, there is a need to better understand the way research contributions are evaluated. Such insights will support researchers to…