Showing cs.SEShow all
3 papers · 1 filter
cs.SE2025
Ten simple rules for PIs to integrate Research Software Engineering into their research group
Stuart M. Allen, Neil Chue Hong, Stephan Druskat +8
Research Software Engineering (RSEng) is a key success factor in producing high-quality research software, which in turn enables and improves research outcomes. However, as a princ…
cs.SE2024
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…
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…