122 citations · 534 across the 25 of their papers we have counts for
6 papers · 1 filter
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…
Does Diversity Improve the Test Suite Generation for Mobile Applications?
Thomas Vogel, Chinh Tran, Lars Grunske
In search-based software engineering we often use popular heuristics with default configurations, which typically lead to suboptimal results, or we perform experiments to identify…
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues +2
Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-adaptation. A SAS often operates in dynamic and partially unknown environments, which cause un…
Planning as Optimization: Dynamically Discovering Optimal Configurations for Runtime Situations
Erik M. Fredericks, Ilias Gerostathopoulos, Christian Krupitzer +1
The large number of possible configurations of modern software-based systems, combined with the large number of possible environmental situations of such systems, prohibits enumera…
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl
Joel Greenyer, Malte Lochau, Thomas Vogel
This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS). The seminar was concerned with the chall…
Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343
Simos Gerasimou, Thomas Vogel, Ada Diaconescu
Software systems are increasingly used in application domains characterised by uncertain environments, evolving requirements and unexpected failures; sudden system malfunctioning r…