2024

2023

• Dec 2023 — I am very happy that Arut Prakash Kaleeswaran, a mentee of mine, successfully defended his PhD thesis entitled Explanation of the Model Checker Verification Results. Congratulations!
• Nov 2023 — I am very happy that Sona Ghahremani, a mentee of mine, successfully defended her PhD thesis entitled Incremental Self-Adaptation of Dynamic Architectures Attaining Optimality and Scalability with summa cum laude. Congratulations!
• Nov 2023 — We will present our work on Runtime Verification of Self-Adaptive Systems with Changing Requirements in an accepted talk at the GI Software Engineering conference (SE 2024).
• Oct 2023 — I will be teaching the following courses this semester: Adaptive Systeme (Seminar, Master), Software Engineering (Tutorial, Bachelor), and Methoden und Modelle des Systementwurfs (Tutorial, Master).
• Sep 2023 — Our article A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch has been published in the Empirical Software Engineering (EMSE) journal.
• Aug 2023 — I was invited to the PC of the Research Papers Track of the 17th International Conference on Software Testing, Verification and Validation (ICST 2024). Consider submitting high-quality testing, verification, or validation papers.
• Jul 2023 — I was invited to the PC of the 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024). Consider submitting your work on self-adaptive software systems.
• Jun 2023 — Our article A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch has been accepted for publication in the Empirical Software Engineering (EMSE) journal (Preprint of the accepted article).
• May 2023 — I was nominated to the Steering Committee of the International Conference on Self-Adaptive and Self-Managing Systems (SEAMS) taking on the role of Publicity Strategy Liaison.
• May 2023 — I am the Program Committee Co-Chair of the Hot off the Press (HOP) Track of the 15th International Symposium on Search-Based Software Engineering (SSBSE 2023).
• May 2023 — Edited book Concurrency, Specification and Programming has been published at Springer and is now available.

• Mar 2023 — Two papers accepted at the 18th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2023):
  • Runtime Verification of Self-Adaptive Systems with Changing Requirements
  • On the Need for Artifacts to Support Research on Self-Adaptation Mature for Industrial Adoption

2022

• Dec 2022 — We will present our work on Vudenc and Sapienzdiv as well as our survey on counterexample explanation at the German Software Engineering conference (SE 2023).
• Nov 2022 — Our article A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL accepted at the Information and Software Technology journal is available online.
• Oct 2022 — I joined the PC of the Technical Track of the 46th International Conference on Software Engineering (ICSE 2024).
• Oct 2022 — Our article Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation has been published in the SIGSOFT Software Engineering Notes.
• Sep 2022 — I joined the PC of the 18th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2023).
• Jul 2022 — I joined the PC of the Research Papers Track of the 16th International Conference on Software Testing, Verification and Validation (ICST 2023). Consider submitting high-quality testing, verification, or validation papers.
• Apr 2022 — The summer semester is starting and I will offer a lecture on Software Quality Assurance and two seminars, one on Learning, Optimization, and Assurances for Self-Adaptive Systems and one on Search-Based Software Engineering. See my teaching page for details.
• Mar 2022 — I joined the PC of the New Ideas and Emerging Results (NIER) track of the 37th International Conference on Automated Software Engineering (ASE 2022). Consider submitting your new ideas and emerging results on automated software engineering.
• Feb 2022 — I joined the PC of the 3rd International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2022). Consider submitting your research results on self-adaptive systems.
• Jan 2022 — Happy to receive a 2021 Best Reviewer Award of the Journal of Software and Systems Modeling (SoSyM). I am among the “Top 1% of SoSyM Reviewers” for 2021.

• Jan 2022 — Our article Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python accepted at the Information and Software Technology journal is available online.

2021

• Dec 2021 — Our article A Systematic Literature Review on Counterexample Explanation accepted at the Information and Software Technology journal is available online.
• Nov 2021 — I joined the PC of the Genetic and Evolutionary Computation Conference (GECCO 2022). Consider submitting high-quality papers.
• Nov 2021 — I joined the PC of the 15th International Workshop on Search-Based Software Testing (SBST 2022). Consider submitting high-quality papers.
• Oct 2021 — Starting a new position as stand-in professor for empirical software engineering at Paderborn University.
• Sep 2021 — I joined the PC of the Research Papers Track of the 15th International Conference on Software Testing, Verification and Validation (ICST 2022). Consider submitting high-quality testing, verification, or validation papers.
• Aug 2021 — Our registered report A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation has been accepted to the Registered Reports Track at the 37th International Conference on Software Maintenance and Evolution (ICSME 2021).
• Jun 2021 — I joined the PC of the 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2022).
• May 2021 — Paper How do we Evaluate Self-adaptive Software Systems? has been presented at the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021).
• Apr 2021 — I joined the PCs of the Research Papers Track and New Ideas and Emerging Results (NIER) Track of the 13th International Symposium on Search-Based Software Engineering (SSBSE 2021). Consider submitting high-quality SBSE papers.
• Mar 2021 — Our paper How do we Evaluate Self-adaptive Software Systems? has been accepted at the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021).
• Feb 2021 — I joined the PC of the 2nd International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2021). Consider submitting high-quality papers.

2020

• Dec 2020 — I joined the PC of the 14th International Workshop on Search-Based Software Testing (SBST 2021). Consider submitting high-quality papers.
• Dec 2020 — I joined the PC of the track on Theory and Foundations of Modeling and Simulation (TMS 2021), part of the Annual Modeling and Simulation Conference, ANNSIM 2021.
• Nov 2020 — I joined the PC of the Doctoral Symposium at the 15th European Conference on Software Architecture (ECSA 2021).
• Nov 2020 — I joined the PC of the Genetic and Evolutionary Computation Conference (GECCO 2021). Consider submitting high-quality papers.
• Sep 2020 — Our article A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity has been accepted for publication in the Information and Software Technology journal and it is available online.
• Sep 2020 — I will be the Program Committee Co-Chair of the Diversity, Equity and Inclusion (DE&I) track at the 15th European Conference on Software Architecture (ECSA 2021).
• Jul 2020 — Our paper Micro-controllers: Promoting Structurally Flexible Controllers in Self-Aware Computing Systems has been accepted to the ACSOS 2020 workshop on Self-Aware Computing.
• Jul 2020 — Two papers accepted at SSBSE 2020:
  • Evolutionary Grammar-Based Fuzzing
  • Bet and Run for Test Case Generation
• Jul 2020 — Our paper Counterexample Interpretation for Contract-Based Design has been accepted at IMBSA 2020.
• Jul 2020 — I joined the PC of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021).
• Jul 2020 — The collaborative research center “FONDA: Foundations of Workflows for Large-Scale Scientific Data Analysis” funded by the German Research Foundation (DFG) has started. I am involved in the subprojects “Deriving Trust Levels for Multi-Choice Data Analysis Workflows” and “Distributed Run-Time Monitoring and Control of Data Analysis Workflows”.
• Jun 2020 — I will be the Program Committee Chair of the Artifacts track at the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021).
• Mar 2020 — Two papers accepted at SEAMS 2020:
  • A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
  • Towards Bridging the Gap between Control and Self-Adaptive System Properties
• Feb 2020 — I joined the PCs of the posters and demos track of the 1st International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2020) and of two ACSOS 2020 workshops: 4th Workshop on Self-Aware Computing (SeAC) and 1st International Workshop on Cyber Resilience and Antifragility in Complex, Distributed Systems (CyRA).
• Jan 2020 — Our paper Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures has been accepted for publication in ACM Transactions on Autonomous and Adaptive Systems (TAAS).
• Jan 2020 — I joined the PC of the NIER track at the 12th International Symposium on Search-Based Software Engineering (SSBSE 2020). Submit your new ideas and emerging results on search-based software engineering.

2019

• Nov 2019 — I joined the PCs of the Genetic and Evolutionary Computation Conference (GECCO 2020) and the 13th International Workshop on Search-Based Software Testing (SBST 2020). Consider submitting high-quality papers.
• Nov 2019 — I gave an invited talk on Self-Adaptive Search for Sapienz at the 2019 Facebook Testing and Verification (FaceTAV) Challenge Workshop.
• Nov 2019 — I gave an invited talk on Search-Based App Testing, Fitness Landscape Analysis, and Diversity (video) at the 19th HPI Future SOC Lab Day in Potsdam, Germany.
• Oct 2019 — I am in the PC of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020). Consider submitting high-quality papers.
• Aug 2019 — At SSBSE 2019 I have been elected as a member of the steering committee of the International Symposium on Search-Based Software Engineering (SSBSE).
• Jul 2019 — I joined the PC of the New Ideas and Emerging Results (NIER) Track at ICSE 2020. Consider submitting your innovative ideas and early results.
• Jul 2019 — Our paper A Domain Specific Language to support HAZOP Studies of SysML Models has been accepted at IMBSA 2019.
• Jun 2019 — Our paper Does Diversity Improve the Test Suite Generation for Mobile Applications? has been accepted at the 11th International Symposium on Search-Based Software Engineering (SSBSE 2019).
• Jun 2019 — I joined the PC of the 1st International Workshop on Explainable Software. Consider submitting high-quality papers.
• May 2019 — Paper Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach has been presented at SEAMS 2019, and Challenges for Verifying and Validating Scientific Software in Computational Materials Science has been presented at SE4Science 2019.
• Apr 2019 — The report of the GI-Dagstuhl Seminar on Explainable Software for Cyber-Physical Systems (ES4CPS) has been published.
• Apr 2019 — Our paper Planning as Optimization: Dynamically Discovering Optimal Configurations for Runtime Situations has been accepted at SASO 2019.
• Apr 2019 — The report of the GI-Dagstuhl Seminar on Software Engineering for Intelligent and Autonomous Systems has been published.
• Apr 2019 — I joined the PC of the 13th Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2019). Consider submitting high-quality papers.
• Mar 2019 — Our talk on Challenges for Verifying and Validating Scientific Software in Computational Materials Science has been accepted at deRSE19: Conference for Research Software Engineers in Germany that runs in Potsdam, Germany in June 2019.
• Mar 2019 — Our paper Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach has been accepted at SEAMS 2019.
• Mar 2019 — Our paper Challenges for Verifying and Validating Scientific Software in Computational Materials Science has been accepted at the ICSE workshop SE4Science 2019.
• Feb 2019 — Our project Fitness Landscape Analysis to improve Search Heuristics (FLASH) funded by the German Research Foundation (DFG) has started.
• Jan 2019 — Joel Greenyer, Malte Lochau, and I run the GI-Dagstuhl Seminar on Explainable Software for Cyber-Physical Systems at Schloss Dagstuhl. At the seminar I gave a talk on Explainable Quality Assurance of Behavioral Requirements (Abstract).
• Jan 2019 — I joined the PC of the Posters, Tools, and Demos Track of the 13th European Conference on Software Architecture (ECSA 2019) and the PC of the joint Posters and Demos Track of the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2019) and the 16th IEEE International Conference on Autonomic Computing (ICAC 2019). Consider submitting posters, tools, and demos.

2018

• Nov 2018 — As a winner of the Facebook Testing and Verification (FaceTAV) Research Award, I gave an invited talk about Self-Adaptive Search for Sapienz at the FaceTAV Challenge Workshop and attended the FaceTAV Symposium at the Facebook offices in London.
• Nov 2018 — I joined in the PC of the Genetic and Evolutionary Computation Conference (GECCO 2019), Search-Based Software Engineering Track. Consider submitting high-quality papers.
• Oct 2018 — Very happy to receive a Facebook Testing and Verification Research Award. The award comes along with funding for my research project Self-Adaptive Search for Sapienz.
• Sep 2018 — I received the Distinguished PC Member Award of SBCARS 2018.
• Sep 2018 — Our proposed GI-Dagstuhl Seminar on Explainable Software for Cyber-Physical Systems has been accepted and it will be held at Schloss Dagstuhl from January 6th to January 11th, 2019.
• Sep 2018 — I joined in the PC of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019). Consider submitting high-quality papers.
• Aug 2018 — Co-organizing the GI-Dagstuhl Seminar on Software Engineering for Intelligent and Autonomous Systems at Schloss Dagstuhl.
• Aug 2018 — Attending the Search-Based Model Engineering Workshop at King’s College London, and giving a talk on Fitness Landscape Analysis to improve Search Heuristics in Software Engineering.
• Jul 2018 — I joined the PC of the 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019). Consider submitting a paper.
• Jun 2018 — I will serve as the Social Media Chair of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019).
• May 2018 —The mRUBiS artifact is now published in the Dagstuhl Artifact Series.
• May 2018 — I joined the PC of the 13th International Workshop on Models@run.time (MRT 2018) at MODELS 2018. Consider submitting a paper.
• May 2018 — I joined the PC of the Posters and Demos Track of the 15th International Conference on Autonomic Computing (ICAC 2018) and the 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2018). Consider submitting posters and demos.
• May 2018 — I joined the PC of the 1st Joint International Workshop on Models@run.time and Self-aware Computing Systems (MRT-SeAC 2018) at ICAC 2018 / SASO 2018. Consider submitting a paper.
• Apr 2018 — My dissertation entitled Model-Driven Engineering of Self-Adaptive Software and graded summa cum laude is now available online.
• Apr 2018 — Paper Zum fehlenden Architekturverständnis über Implementierungsmodelle multifunktionaler eingebetteter Systeme in der industriellen Praxis accepted and presented at the MBEES 2018 workshop in Dagstuhl.
• Apr 2018 — I joined the PC of the 2nd Workshop on Model-Driven Engineering Tools (MDETools) co-located with MoDELS 2018. Consider submitting a paper.
• Mar 2018 — Two papers accepted at SEAMS 2018:
  • mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization
  • A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems
• Feb 2018 — I joined the PC of the 12th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS). Consider submitting high-quality papers.
• Jan 2018 — The papers Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances and Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems are now available online at Springer.
• Jan 2018 — Participating in the Dagstuhl event Research Methods in Software Engineering and giving a talk on Fitness Landscape Analysis to Improve Search-Based Software Engineering.

2017

• Nov 2017 — Our proposal for the GI-Dagstuhl seminar on Software Engineering for Intelligent and Autonomous Systems has been accepted. Ada Diaconescu, Simos Gerasimou, and I will organize the seminar in 2018.
• Nov 2017 — Invited talk on Fitness Landscape Analysis of Sapienz at Facebook, London, UK.
• Sep 2017 — I joined in the PC of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2018). Consider submitting high-quality papers.
• Sep 2017 — Preprint of the paper Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances is available.
• Jul 2017 — Our paper Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures got the Karsten Schwan Best Paper Award at ICAC 2017.
• Jul 2017 — 2nd NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS 2017).
• Jun 2017 — I am the Publicity Co-Chair and Web Chair of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2018) co-located with ICSE 2018 in Gothenburg, Sweden. Consider submitting high-quality papers.
• May 2017 — Our ICAC 2017 paper Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures is among the three candidates for the Karsten Schwan Best Paper Award.
• May 2017 — I joined in the PC of the Modellierung 2018 Industry Track. Consider submitting a paper.
• May 2017 — I joined in the PC of two MODELS 2017 workshops: Model-Driven Engineering Tools (MDETools) and International Workshop on Models@run.time. Consider submitting papers.
• Apr 2017 — Paper accepted at ICAC 2017: Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures.
• Mar 2017 — I joined in the PC of the International Workshop on Models@run.time for Self-aware Computing Systems at ICAC 2017. Consider submitting a paper.
• Feb 2017 — Starting my new position at Humboldt-Universität zu Berlin.
• Feb 2017 — Article published in ACM TAAS: Control Strategies for Self-Adaptive Software Systems.
• Jan 2017 — Book on Self-Aware Computing Systems with my contributions to Chapters 5, 6, and 8 on architectures published.

2016

• Nov 2016 — FSE 2016 Demo Papers: ACM SIGSOFT International Symposium on the Foundations of Software Engineering (PC Member).
• Oct 2016 — OSS4MDE 2016: Workshop on Open Source Software for Model-Driven Engineering (PC Member).
• Oct 2016 — MRT 2016: The 11th International Workshop on Models@run.time (PC Member).
• Sep 2016 — Short paper presented at SASO 2016: Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures.
• Jul 2016 — MRT 2016-ICAC: The International Workshop on Models@run.time for Self-aware Computing Systems (PC Member).
• Apr 2016 — NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS). Invited talk on Toward Self-Adaptive Software Employing Model Predictive Control.
• Mar 2016 — Chapter to appear in the SEfSAS III book: Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems.

2015

• Sep 2015 — Paper presented QA4SASO 2015: A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models.
• Sep 2015 — MRT 2015: 10th International Workshop on Models@run.time (PC Member).
• Aug 2015 — Invited Talk on Model-Driven Engineering of Self-Adaptive Software in the CS Colloquium at the University of Cape Town (Aug 19, 2015)
• Aug 2015 — CTSE 2015: 1st Workshop on Control Theory for Software Engineering (PC Member).
• May 2015 — Paper presented at SEAMS 2015: Software Engineering Meets Control Theory.
• May 2015 — SEAMS 2015 Artifact Track (member of the artifact evaluation committee).
• Apr 2015 — Invited paper to FSEN 2015: Towards Smart Systems of Systems.

2014

• Oct 2014 — Report from the GI Dagstuhl Seminar 14433: Software engineering for Self-Adaptive Systems published.
• Oct 2014 — GI Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems at Schloss Dagstuhl (Co-Organizer).
• Sep 2014 — Paper presented at Models@run.time (MRT 2014): On Unifying Development Models and Runtime Models.
• Sep 2014 — MRT 2014: 9th International Workshop on Models@run.time (PC Member).
• Sep 2014 — Attending the GI Dagstuhl Seminar on Control Theory meets Software Engineering and giving a talk about Model-Driven Engineering of Self-Adaptive Software with EUREMA.
• May 2014 — Paper published in the Models@run.time book: Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.
• May 2014 — MDE 2014: Workshop on Current trends, challenges, and solutions in Model-Driven Engineering, May 30, 2014 (Web Chair).
• Feb 2014 — Article published in ACM TAAS: Model-Driven Engineering of Self-Adaptive Software with EUREMA.

2013

• Dec 2013 — Attending the Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems: Assurances.
• Jul 2013 — The first release of mRUBiS (the modular Rice University Bidding System) is available for download.
• Jan 2013 — Paper published in the SEfSAS II book: Software Engineering for Self-Adaptive Systems: A second Research Roadmap.
• Jan 2013 — Paper published in the SEfSAS II book: Software Engineering Processes for Self-Adaptive Systems.

2012

• Jun 2012 — Paper presented at SEAMS 2012: A Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels.
• Jun 2012 — Paper published in Formal Methods for Model-Driven Engineering: Graph Transformations for MDE, Adaptation, and Models at Runtime.
• Jun 2012 — Invited talk at the HPI Symposium on Future Trends in Service-Oriented Computing (FutureSOC).
• May 2012 — Attending the GI Dagstuhl Seminar on Quality-of-Service Attributes in Service- and Cloud-based Systems: Specification, Modelling, Monitoring, Prediction, and Optimisation.
• Apr 2012 — Revised paper published in Models in Software Engineering: Requirements and Assessment of Languages and Frameworks for Adaptation Models.

2011

• Nov 2011 — Best paper award for Language and Framework Requirements for Adaptation Models at Models@run.time (MRT 2011).
• Nov 2011 — Attending the Dagstuhl Seminar on Models@run.time.
• Oct 2011 — Paper presented at Models@run.time (MRT 2011): Language and Framework Requirements for Adaptation Models.
• May 2011 — SEAMS 2011: 6th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (Publicity Co-Chair).
• May 2011 — Published draft version of Software Engineering for Self-Adpaptive Systems: A second Research Roadmap.
• May 2011 — Revised paper published in Models in Software Engineering: The Role of Models and Megamodels at Runtime.

2010

• Oct 2010 — Best paper award for Toward Megamodels at Runtime at Models@run.time (MRT 2010).
• Oct 2010 — Attending the Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems.
• Oct 2010 — Paper presented at Models@run.time (MRT 2010): Toward Megamodels at Runtime.
• May 2010 — Paper presented at SEAMS 2010: Adaptation and Abstract Runtime Models.
• May 2010 — Attending the Joint Workshop of the German Research Training Groups in Computer Science at Schloss Dagstuhl.
• Apr 2010 — Revised paper published in Models in Software Engineering: Incremental Model Synchronization for Efficient Run-Time Monitoring.

2009

• Oct 2009 — Best paper award for Incremental Model Synchronization for Efficient Run-time Monitoring at Models@run.time (MRT 2009).
• Oct 2009 — Two papers presented at Models@run.time (MRT 2009): Incremental Model Synchronization for Efficient Run-time Monitoring and A Model-Driven Configuration Management System for Advanced IT Service Management.
• Jun 2009 — Short paper presented at ICAC 2009: Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems.