Mentoring

PhD Students

Current

• 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

• Best Paper Award for Formal Synthesis of Uncertainty Reduction Controllers at the 19th 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 the project S3: Self-Adaptive Search for Sapienz (2018)
• Distinguished PC Member Award of the 12th Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS’18)
• Karsten Schwan Best Paper Award for Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures at the 14th International Conference on Autonomic Computing (ICAC’17, acceptance rate <20%)
• Best paper award for A language for feedback loops in self-adaptive systems: Executable runtime megamodels at the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’12)
• Best paper award for Language and Framework Requirements for Adaptation Models at the 6th International Workshop on Models@run.time (MRT’11)
• Best paper award for Toward Megamodels at Runtime at the 5th International Workshop on Models@run.time (MRT’10)
• Best paper award for Incremental Model Synchronization for Efficient Run-time Monitoring at the 4th International Workshop on Models@run.time (MRT’09)

Editorships

• Editor 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 Symposium 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

• Program Committee Co-Chair of the Research Track at the 20th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2025 (Link)
• Workshop Co-Chair of the Gesellschaft für Informatik (GI) conference on Software Engineering (SE), 2023 (Link)
• Program Committee Co-Chair of the Hot off the Press (HOP) Track of the 15th International Symposium on Search-Based Software Engineering (SSBSE), 2023 (Link)
• Program Committee Co-Chair of the Challenge Track at the 14th International Symposium on Search-Based Software Engineering (SSBSE), 2022 (Link)
• Program Committee Co-Chair of the Diversity, Equity and Inclusion (DE&I) Track at the 15th European Conference on Software Architecture (ECSA), 2021 (Link)
• Program Committee Chair of the Artifacts Track at the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021 (Link)
• Co-Organizer of the 29th International Workshop on Concurrency, Specification and Programming (CS&P), 2021 (Link)
• Co-Organizer of the GI-Dagstuhl Seminar on Explainable Software for Cyber-Physical Systems, Seminar 19023, Schloss Dagstuhl, 2019 (Link)
• Social Media Chair of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019 (Link)
• Co-Organizer of the GI-Dagstuhl Seminar on Software Engineering for Intelligent and Autonomous Systems, Seminar 18343, Schloss Dagstuhl, 2018 (Link)
• Publicity Co-Chair, Web Chair, and Social Media Chair of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2018 (Link)
• Co-Organizer of the GI-Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems, Seminar 14433, Schloss Dagstuhl, 2014 (Link)
• Web Chair of the Workshop on Current Trends, Challenges, and Solutions in Model-Driven Engineering, 2014 (Link)
• Publicity Co-Chair of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2011 (Link)

Program Committees

2025

• 18th Intl. Conference on Software Testing, Verification and Validation (ICST)
• 6th Intl. Conference on Automation of Software Test (AST)
• 18th Intl. Workshop on Search-Based and Fuzz Testing (SBFT) at ICSE
• 22nd Workshop Automotive Software Engineering (ASE) at SE

2024

• 46th Intl. Conference on Software Engineering (ICSE)
• 19th Intl. Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
• 17th Intl. Conference on Software Testing, Verification and Validation (ICST)
• 17th Intl. Workshop on Search-Based and Fuzz Testing (SBFT) at ICSE
• 21st Workshop Automotive Software Engineering (ASE) at SE

2023

• 25th Genetic and Evolutionary Computation Conference (GECCO)
• 16th Intl. Conference on Software Testing, Verification and Validation (ICST)
• 4th Intl. Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) (Senior PC member)
• 18th Intl. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
• 18th Intl. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) – Artifact Track
• 15th Intl. Symposium on Search-Based Software Engineering (SSBSE), Research Paper Track
• 16th Intl. Workshop on Search-Based and Fuzz Testing (SBFT) at ICSE
• 20th Workshop Automotive Software Engineering (ASE) at SE
• Software Engineering im Unterricht der Hochschulen (SEUH)

2022

• 37th Intl. Conference on Automated Software Engineering (ASE), New Ideas and Emerging Results (NIER)
• 24th Genetic and Evolutionary Computation Conference (GECCO)
• 15th Intl. Conference on Software Testing, Verification and Validation (ICST)
• 3rd Intl. Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)
• 17th Intl. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
• 14th Intl. Symposium on Search-Based Software Engineering (SSBSE), Research Paper Track
• 16th Intl. Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS)
• 15th Intl. Workshop on Search-Based Software Testing (SBST) at ICSE
• 19th Workshop Automotive Software Engineering (ASE) at SE

2021

• 23rd Genetic and Evolutionary Computation Conference (GECCO)
• 2nd Intl. Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)
• 16th Intl. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
• 13th Intl. Symposium on Search-Based Software Engineering (SSBSE), Research Paper Track
• 13th Intl. Symposium on Search-Based Software Engineering (SSBSE), New Ideas and Emerging Results (NIER)
• 15th European Conference on Software Architecture (ECSA), Doctoral Symposium
• Annual Modeling and Simulation Conference (ANNSIM), Theory and Foundations of Modeling and Simulation (TMS) track
• 2nd Intl. Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Posters and Demos
• 14th Intl. Workshop on Search-Based Software Testing (SBST) at ICSE
• 5th Workshop on Self-Aware Computing (SeAC) at ACSOS
• Special Session on Cyber Resilience and Antifragility in Complex, Distributed Systems (CyRA) as part of the 3rd Intl. Workshop on Self-Protecting Systems (SPS) at ACSOS
• 29th Intl. Workshop on Concurrency, Specification and Programming (CS&P)

2020

• 42th Intl. Conference on Software Engineering (ICSE), New Ideas and Emerging Results (NIER)
• 22nd Genetic and Evolutionary Computation Conference (GECCO)
• 15th Intl. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
• 12th Intl. Symposium on Search-Based Software Engineering (SSBSE), New Ideas and Emerging Results (NIER)
• 1st Intl. Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Posters and Demos
• 13th Intl. Workshop on Search-Based Software Testing (SBST) at ICSE
• 4th Workshop on Self-Aware Computing (SeAC) at ACSOS
• 1st Intl. Workshop on Cyber Resilience and Antifragility in Complex, Distributed Systems (CyRA) at ACSOS

2019

• 21st Genetic and Evolutionary Computation Conference (GECCO)
• 14th Intl. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
• 13th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)
• 13th European Conference on Software Architecture (ECSA), Posters, Tools, and Demos
• 16th Intl. Conference on Autonomic Computing (ICAC) and 13th Intl. Conference on Self-Adaptive and Self-Organizing Systems (SASO), Posters and Demos
• 13th Intl. Workshop on Variability Modelling of Software-Intensive Systems (VaMoS)
• 1st Intl. Workshop on Explainable Software (EXPLAIN) at ASE

2018

• 13th Intl. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
• 12th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)
• Modellierung 2018, Industry Track (Praxisforum)
• 15th Intl. Conference on Autonomic Computing (ICAC) and 12th Intl. Conference on Self-Adaptive and Self-Organizing Systems (SASO), Posters and Demos
• 2nd Workshop on Model-Driven Engineering Tools (MDETools) at MoDELS
• 13th Intl. Workshop on Models@run.time (MRT) at MODELS
• 1st Joint Intl. Workshop on Models@run.time and Self-aware Computing Systems (MRT-SeAC) at ICAC/SASO

2017

• 1st Workshop on Model-Driven Engineering Tools (MDETools) at MoDELS
• 12th Intl. Workshop on Models@run.time (MRT) at MoDELS
• 2nd Intl. Workshop on Models@run.time for Self-aware Computing Systems (MRT-ICAC) at ICAC

2016

• 24th Intl. Symposium on the Foundations of Software Engineering (FSE), Demo Paper Track
• 10th European Conference on Software Architecture (ECSA), Doctoral Symposium
• 11th Intl. Workshop on Models@run.time (MRT) at MoDELS
• 1st Intl. Workshop on Models@run.time for Self-aware Computing Systems (MRT-ICAC) at ICAC
• 3rd Intl. Workshop on Open Source Software for Model-Driven Engineering (OSS4MDE) at MoDELS

2015

• 10th Intl. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Artifact Evaluation Committee
• 1st Intl. Workshop on Control Theory for Software Engineering (CTSE) at ESEC/FSE
• 10th Intl. Workshop on Models@run.time (MRT) at MoDELS

2014

• 9th Intl. Workshop on Models@run.time (MRT) at MoDELS

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

• 2020: ICSE
• 2019: ICSE, ESEC/FSE, ASE
• 2018: ESEC/FSE, ASE, SSBSE
• 2017: Journal of Software: Evolution and Process, ASE, SEAMS
• 2016: SASO, SEAMS
• 2015: SEAMS, DADS/SAC, SEsCPS, SERENE, Modes@run.time
• 2014: Science of Computer Programming, MoDELS, FASE, ICSME, SEAMS, CyPhy, ModTools
• 2013: TSE, JSS, MoDELS, FORTE/FMOODS, FORMATS, ICSM, SEAMS, DADS/SAC, Models@run.time
• 2012: SOSYM, ICSE, MoDELS, FASE, COORDINATION, SEAMS, DADS/SAC, Models@run.time, FOCLASA
• 2011: ESEC/FSE, MoDELS, ICPE, FMOODS/FORTE, MOCS/SEAA, DADS/SAC
• 2010: Science of Computer Programming, ICSE, MoDELS, ECSA, FASE, SEAMS, DEPEND, MOCS/SEAA, SIMPAR, DADS/SAC, Models@run.time, QUASOSS, MBEES, AOSE
• 2009: ICSE, MoDELS, AAMAS, ICAC, SEAMS, SEKE, ICSE Demo Track, DADS/SAC, MISE, SOAR, WADS

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

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

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’20), 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’17), 07/2017.
• 1st NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS’16), 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.