Marc Carwehl
Papers
1
Total Citations
5
H-Index
1
About
Marc Carwehl is a leading researcher in self-adaptive systems (SAS), with a primary focus on formal methods for managing and reducing uncertainty. His most cited work, "Formal Synthesis of Uncertainty Reduction Controllers" (2024, 5 citations), introduces a novel paradigm that shifts the community's attention from merely adapting to uncertainty toward actively reducing it through formal controller synthesis. This contribution challenges the conventional approach of reactive architectural or behavioral changes, offering a proactive, mathematically rigorous framework that enhances system reliability. Carwehl's research bridges the gap between formal verification and adaptive systems, providing tools for engineers to design SAS that can reason about and mitigate unknown environmental factors. His work is particularly impactful for safety-critical applications, where uncertainty poses significant risks. With a growing citation footprint, Carwehl's contributions are shaping the next generation of robust, self-aware systems, and his 2024 paper stands as a cornerstone for future research in uncertainty-aware adaptation.
Research Focus
Key Achievements
Top Papers
- 1Formal Synthesis of Uncertainty Reduction Controllers5 citations · 2024