125 citations · 186 across the 6 of their papers we have counts for
6 papers · 1 filter
Formal Synthesis of Uncertainty Reduction Controllers
Marc Carwehl, Calum Imrie, Thomas Vogel +3
In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behavio…
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…
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues +1
Context: The goal of specification pattern catalogs for real-time requirements is to mask the complexity of specifying such requirements in a timed temporal logic for verification.…
A systematic literature review on counterexample explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: Safety is of paramount importance for cyber-physical systems in domains such as automotive, robotics, and avionics. Formal methods such as model checking are one way to en…
Bet and Run for Test Case Generation
Sebastian Müller, Thomas Vogel, Lars Grunske
Anyone working in the technology sector is probably familiar with the question: "Have you tried turning it off and on again?", as this is usually the default question asked by tech…
Challenges for Verifying and Validating Scientific Software in Computational Materials Science
Thomas Vogel, Stephan Druskat, Markus Scheidgen +2
Many fields of science rely on software systems to answer different research questions. For valid results researchers need to trust the results scientific software produces, and co…