Mentoring

PhD Students

Current

• Hannes Ueck (Humboldt-Universität zu Berlin)
• Marc Carwehl (Humboldt-Universität zu Berlin)
• Sebastian Müller (Humboldt-Universität zu Berlin)

Graduated

• Dr. Arut Prakash Kaleeswaran (Humboldt-Universität zu Berlin)
  PhD thesis Explanation of the Model Checker Verification Results (2023)
• Dr. Sona Ghahremani (Hasso Plattner Institute / University of Potsdam)
  PhD thesis Incremental Self-Adaptation of Dynamic Architectures Attaining Optimality and Scalability (summa cum laude) (2023)

Awards

• Distinguished Lecturer at the Computer Science Department of the Humboldt-Universität zu Berlin for outstanding teaching performance with the course “Software Engineering II” based on student questionnaires (2025)
• SEAMS 10-Year Most Influential Paper Award for Software Engineering meets Control Theory awarded at the 20th ACM/IEEE International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2025)
• Best Paper Award for Formal Synthesis of Uncertainty Reduction Controllers at the 19th ACM/IEEE International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024)
• Best Reviewer Award as one of the “Top 1% of SoSyM Reviewers” for 2021 of the Journal of Software and Systems Modeling (SoSyM, 2021).
• Facebook Testing and Verification Research Award for S3: Self-Adaptive Search for Sapienz (2018)
• Distinguished PC Member Award (certificate) of the 12th Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2018)
• Karsten Schwan Best Paper Award for Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures at the 14th IEEE International Conference on Autonomic Computing (ICAC 2017, acceptance rate <20%)
• Best Paper Award for A language for feedback loops in self-adaptive systems: Executable runtime megamodels at the 7th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012)
• Best Paper Award for Language and Framework Requirements for Adaptation Models at the 6th International Workshop on Models@run.time (MRT 2011)
• Best Paper Award for Toward Megamodels at Runtime at the 5th International Workshop on Models@run.time (MRT 2010)
• Best Paper Award for Incremental Model Synchronization for Efficient Run-time Monitoring at the 4th International Workshop on Models@run.time (MRT 2009)

Editorial Boards

• Associate Editor of ACM Transactions on Autonomous and Adaptive Systems (TAAS), since 2025
• Co-Editor of the special issue Advances in Search-Based Software Engineering in the Automated Software Engineering journal (2025)
• Editor-in-Chief of self-adaptive.org (since 2014), the central website of the research community on Software Engineering for Self-Adaptive Systems connected to the annual ACM/IEEE International Conference on Adaptive and Self-Managing Systems (SEAMS)

Steering Committees

• Nominated Steering Committee member of the International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), based on my role as PC Co-Chair of SEAMS 2025 and responsible for the publicity strategy liaison, 2023-2028 (Link)
• Elected Steering Committee member of the International Symposium on Search-Based Software Engineering (SSBSE, elected for 2020-2022)

Organization Committees

• 41st ACM/IEEE International Conference on Automated Software Engineering (ASE 2026), Review Process Co-Chair
• 20th ACM/IEEE International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2025), Program Committee Co-Chair (Research Track)
• GI-Fachtagung Software Engineering (SE 2023), Workshop Co-Chair
• 15th International Symposium on Search-Based Software Engineering (SSBSE 2023), Program Committee Co-Chair (Hot off the Press (HOP) Track)
• 14th International Symposium on Search-Based Software Engineering (SSBSE 2022), Program Committee Co-Chair (Challenge Track)
• 15th European Conference on Software Architecture (ECSA 2021), Program Committee Co-Chair (Diversity, Equity and Inclusion (DE&I) Track)
• 16th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021), Program Committee Chair (Artifacts Track)
• 29th Int’l Workshop on Concurrency, Specification and Programming (CS&P 2021), Co-Organizer
• GI-Dagstuhl Seminar on Explainable Software for Cyber-Physical Systems, Seminar 19023, 2019, Co-Organizer
• 14th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019), Social Media Chair
• GI-Dagstuhl Seminar on Software Engineering for Intelligent and Autonomous Systems, Seminar 18343, 2018, Co-Organizer
• 13th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2018), Publicity Co-Chair, Web Chair, and Social Media Chair
• GI-Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems, Seminar 14433, 2014, Co-Organizer
• Workshop on Current Trends, Challenges, and Solutions in Model-Driven Engineering (MDE 2014), Web Chair
• 6th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), Publicity Co-Chair

Program Committees

Conferences

• ACM/IEEE International Conference on Software Engineering (ICSE)
  Research Track (2024, 2027), NIER Track (2020)
• ACM/IEEE International Conference on Automated Software Engineering (ASE)
  Research Track (2025), NIER Track (2022)
• ACM/IEEE International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
  Research Track (2018-2024, 2026), Artifact Track (2015, 2023)
• IEEE International Conference on Software Testing, Verification and Validation (ICST)
  Research Track (2022-2025), Vision and Emerging Results Track (2026), Testing Tools and Data Showcase Track (2026)
• ACM/IEEE International Conference on Automation of Software Test (AST), 2025-2027
• IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)
  Research Track (2021-2022, Senior PC member 2023, 2026), Posters & Demos (2020-2021)
• ACM Genetic and Evolutionary Computation Conference (GECCO), 2019-2023
• International Symposium on Search-Based Software Engineering (SSBSE)
  Research Track (2021-2023, 2025), NIER Track (2020-2021)
• International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS), 2019, 2022
• European Conference on Software Architecture (ECSA)
  Doctoral Symposium (2016, 2021), Posters, Tools & Demos (2019)
• Annual Modeling and Simulation Conference (ANNSIM)
  Theory and Foundations of Modeling and Simulation (TMS) Track (2021)
• Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2018-2019
• IEEE International Conference on Autonomic Computing (ICAC) / IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
  Posters and Demos (2018-2019)
• ACM International Symposium on the Foundations of Software Engineering (FSE)
  Demo Track (2016)

Workshops

• International ICSE Workshop on Search-Based and Fuzz Testing (SBFT), 2020-2026
• Workshop on Automotive Software Engineering, 2022-2026
• Software Engineering im Unterricht der Hochschulen (SEUH), 2023
• ACSOS Workshop on Self-Aware Computing (SeAC), 2020-2021
• ACSOS Workshop on Self-Protecting Systems (SPS), 2021
• International Workshop on Concurrency, Specification and Programming (CS&P), 2021
• ACSOS Workshop on Cyber Resilience and Antifragility in Complex, Distributed Systems (CyRA), 2020
• International ASE Workshop on Explainable Software (EXPLAIN), 2019
• Modellierung, Praxisforum (2018)
• MODELS Workshop on Model-Driven Engineering Tools (MDETools), 2017-2018
• MODELS Workshop on Models@run.time (MRT), 2014-2018
• Joint International ICAC/SASO Workshop on Models@run.time and Self-aware Computing Systems (MRT-SeAC), 2018
• International ICAC Workshop on Models@run.time for Self-aware Computing Systems (MRT-ICAC), 2016-2017
• International MODELS Workshop on Open Source Software for Model-Driven Engineering (OSS4MDE), 2016
• International ESEC/FSE Workshop on Control Theory for Software Engineering (CTSE), 2015

Reviews

Journal Reviewing

(My Web-of-Science profile (publons))

• IEEE Transactions on Software Engineering (TSE)
• ACM Transactions on Software Engineering and Methodology (TOSEM)
• ACM Transactions on Autonomous and Adaptive Systems (TAAS)
• Information and Software Technology (IST)
• Software and Systems Modeling (SOSYM)
• IEEE Software
• Automated Software Engineering
• PeerJ
• Journal of Systems and Software (JSS)
• Journal of Systems and Software (JSS), Special Issue on State of the Art in Self-Adaptive Software Systems
• Computing
• Computer Languages, Systems & Structures
• IEEE Transactions on Cybernetics

Book Reviewing

• LNCS Book ECSA 2021 Post-proceedings
• Springer Book on Self-Aware Computing Systems
• LNCS Book Models@run.time

External Reviewer (selection)

• ACM International Conference on the Foundations of Software Engineering (FSE), 2026
• ACM/IEEE International Conference on Software Engineering (ICSE), 2009-2010, 2012, 2019-2020, 2026
• ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009-2014
• ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2011, 2018-2019
• ACM/IEEE International Conference on Automated Software Engineering (ASE), 2017-2019
• ACM/IEEE International Workshop/Symposium/Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2009-2010, 2012-2017
• International Conference on Fundamental Approaches to Software Engineering (FASE), 2010, 2012, 2014
• IEEE International Conference on Autonomic Computing (ICAC), 2009

Talks

Invited Talks

• Self-Adaptive Search for Sapienz, Facebook Testing and Verification (FaceTAV) Challenge Workshop, Facebook, London, UK, 11/2019.
• Search-Based App Testing, Fitness Landscape Analysis, and Diversity (video), 19th HPI Future SOC Lab Day, Potsdam, Germany, 11/2019.
• Self-Adaptive Search for Sapienz, Facebook Testing and Verification (FaceTAV) Challenge Workshop, Facebook, London, UK, 11/2018.
• Synopsis of the Recent GI-Dagstuhl Seminar on Software Engineering for Intelligent and Autonomous Systems (SEfIAS), The 1st Joint International Workshop on Models@run.time and Self-aware Computing Systems (MRT-SeAC), Trento, Italy, 09/2018 (joint invitation with Ada Diaconsecu and Simos Gerasimou).
• Fitness Landscape Analysis to improve Search Heuristics in Software Engineering, Search-Based Model Engineering Workshop at King’s College London, 08/2018.
• Fitness Landscape Analysis to Improve Search-Based Software Engineering, Dagstuhl event Research Methods in Software Engineering, 01/2018.
• Fitness Landscape Analysis of Sapienz, Facebook, London, UK, 11/2017.
• Toward Self-Adaptive Software Employing Model Predictive Control, NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS), Shonan, Japan, 04/2016 (joint talk with Holger Giese).
• Model-Driven Engineering of Self-Adaptive Software, Computer Science Colloquium at the University of Cape Town, South Africa, 08/2015.
• Model-Driven Engineering of Self-Adaptive Software with EUREMA, GI Dagstuhl Seminar on Control Theory Meets Software Engineering, Seminar 14382, Schloss Dagstuhl, Germany, 09/2014.
• Modeling Self-Adaptive Software, Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems: Assurances, Seminar 13511, Schloss Dagstuhl, Germany, 12/2013.
• Engineering Self-Adaptive Software Systems with Runtime Models, 7th Annual HPI Symposium on Future Trends in Service-Oriented Computing (FutureSOC), Potsdam, Germany, 06/2012 (Video).
• Engineering Self-Adaptive Software Systems with Runtime Models, GI Dagstuhl Seminar on Quality-of-Service Attributes in Service- and Cloud-based Systems, Seminar 12211, Schloss Dagstuhl, Germany, 05/2012.
• Models at Runtime for Adaptive and Self-managing Software, Dagstuhl Seminar on Models@run.time, Seminar 11481, Schloss Dagstuhl, Germany, 11/2011 (joint talk with Holger Giese).
• Multiple Runtime Models and their Relations for Self-Managing Systems, SAP, St. Leon-Rot, Germany, 12/2010.
• Runtime Models as Interfaces for Adapting Software Systems, Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems, Seminar 10431, Schloss Dagstuhl, Germany, 10/2010.
• Model-Based Self-Adaptation of Service-Oriented Software Systems, Joint Workshop of the German Research Training Groups in Computer Science, Event 10222, Schloss Dagstuhl, Germany, 05/2010.
• A Model-Driven Infrastructure for Self-Adaptive Software Systems, HPI-UCT Workshop at the University of Cape Town, South Africa, 05/2010.
• Die Zukunft mit erfinden? Software entwickeln!, Vortrag auf dem Schülercampus 2009 in Brandenburg, Europa Universität Viadrina Frankfurt (Oder), Germany, 03/2009.

Accepted Talks

• Formal Synthesis of Uncertainty Reduction Controller, GI Software Engineering 2025, Karlsruhe, Germany, 02/2025 (paper related to the talk).
• Runtime Verification of Self-Adaptive Systems with Changing Requirements, GI Software Engineering 2024, Linz, Austria, 02/2024 (paper related to the talk).
• A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity, GI Software Engineering 2023, Paderborn, Germany, 02/2023 (paper related to the talk).
• VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python, GI Software Engineering 2023, Paderborn, Germany, 02/2023 (paper related to the talk).
• A Systematic Literature Review on Counterexample Explanation, GI Software Engineering 2023, Paderborn, Germany, 02/2023 (paper related to the talk).
• Challenges for Verifying and Validating Scientific Software in Computational Materials Science, deRSE19: Conference for Research Software Engineers in Germany, Potsdam, Germany, 06/2019 (paper related to the talk).

Invitations to Seminars and Workshops

• Bertinoro Seminar on Uncertainty in Self-Adaptive Systems (USAS), Bertinoro International Center for Informatics, Italy, 06/2023 (participation canceled).
• NII Shonan Meeting on Uncertainty in Self-Adaptive Systems (USAS), 12/2020 (rescheduled and eventually canceled due to COVID-19).
• 3rd NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS), 01/2020 (participation canceled).
• Facebook Testing and Verification (FaceTAV) Challenge Workshop and Symposium, London, UK, 11/2019.
• Facebook Testing and Verification (FaceTAV) Challenge Workshop and Symposium, London, UK, 11/2018.
• Search-Based Model Engineering Workshop at King’s College London, 08/2018.
• Dagstuhl Workshop on Research Methods in Software Engineering, 01/2018.
• 2nd NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS), 07/2017.
• 1st NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS), 04/2016.
• GI Dagstuhl Seminar on Control Theory Meets Software Engineering, 09/2014.
• Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 12/2013.
• GI Dagstuhl Seminar on Quality-of-Service Attributes in Service- and Cloud-based Systems, 05/2012.
• Dagstuhl Seminar on Models@run.time, 11/2011.
• Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems, 10/2010.
• Joint Workshop of the German Research Training Groups in Computer Science at Schloss Dagstuhl, 06/2010.