Martin Wirsing

Software (Germany), Ludwig-Maximilians-Universität München

Papers

Total Citations

H-Index

About

Martin Wirsing is a leading figure in the rigorous engineering of complex, adaptive software systems, with a particular focus on service-oriented and collective adaptive systems. His foundational work in "Reasoning (on) Service Component Ensembles in Rewriting Logic" (2014, 30 citations) established formal methods for specifying and verifying the dynamic behavior of large-scale, distributed ensembles—a critical contribution to ensuring reliability in self-organizing systems. Wirsing also advanced practical AI-driven planning through "OnPlan: A Framework for Simulation-Based Online Planning" (2016, 15 citations), which integrates simulation and decision-making for real-time adaptive control. As a pioneer of the "Rigorous Engineering of Collective Adaptive Systems" track (2016, 8 citations), he has shaped the research agenda for building trustworthy, scalable systems that learn and adapt. His work bridges formal logic, software engineering, and cyber-physical systems, earning him recognition as a thought leader in the field. With a career spanning decades, Wirsing’s contributions continue to inspire researchers tackling the challenges of autonomous, decentralized computing.