Birte Caesar
Papers
2
Total Citations
7
H-Index
2
About
Birte Caesar is a researcher at the forefront of self-adaptive and real-time software systems, specializing in formal methods for runtime reconfiguration. Her work centers on the precomputation of optimal reconfiguration strategies using stochastic timed game automata and stochastic priced timed games—a sophisticated approach that balances functional correctness with non-functional constraints like timing and cost. In her most-cited paper (2022, 4 citations), Caesar introduces a method to precompute strategies that enable software to autonomously select the best next configuration under uncertain, changing environments. Her follow-up work (2024, 3 citations) extends this to cost-sensitive scenarios, addressing the trade-off between performance and resource expenditure. Though early in her career, Caesar’s contributions are pivotal for domains like autonomous systems and cyber-physical infrastructure, where real-time adaptation is critical. Her research bridges theoretical game theory and practical engineering, offering a rigorous foundation for dependable self-adaptive systems. With a growing citation footprint, Birte Caesar is establishing herself as a key voice in the formal verification and runtime reconfiguration communities.
Research Focus
Key Achievements
Top Papers
- 1
- 2