Comprehensive support for management of enterprise applications. - Jens Bruhn; Christian Niklaus; Thomas Vogel 001; Guido Wirtz (AICCSA, 2008)

Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications. - Thomas Vogel 001; Jens Bruhn; Guido Wirtz (SEKE, 2008)

Model-driven architectural monitoring and adaptation for autonomic systems. - Thomas Vogel 001; Stefan Neumann 002; Stephan Hildebrandt; Holger Giese; Basil Becker (ICAC, 2009)

Incremental Model Synchronization for Efficient Run-Time Monitoring. - Thomas Vogel 001; Stefan Neumann 002; Stephan Hildebrandt; Holger Giese; Basil Becker (MoDELS (Workshops), 2009)

Software Engineering Processes for Self-Adaptive Systems. - Jesper Andersson; Luciano Baresi; Nelly Bencomo; Rogério de Lemos; Alessandra Gorla; Paola Inverardi; Thomas Vogel 001 (Software Engineering for Self-Adaptive Systems, 2010)

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Gabriel Tamura; Norha M. Villegas; Thomas Vogel 001; Danny Weyns; Luciano Baresi; et al. (Software Engineering for Self-Adaptive Systems, 2010)

Models and Infrastructure Support for Self-Adaptive Service-Oriented Software Systems. - Thomas Vogel 001 (AlgoSyn, 2010)

Adaptation and abstract runtime models. - Thomas Vogel 001; Holger Giese (SEAMS, 2010)

Toward Megamodels at Runtime. - Thomas Vogel 001; Andreas Seibel; Holger Giese (Models@run.time, 2010)

The Role of Models and Megamodels at Runtime. - Thomas Vogel 001; Andreas Seibel; Holger Giese (MoDELS (Workshops), 2010)

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. - Amel Bennaceur; Robert B. France; Giordano Tamburrelli; Thomas Vogel 001; Pieter J. Mosterman; Walter Cazzola; Fábio M. Costa; Alfonso Pierantonio; Matthias Tichy; Mehmet Aksit; Pär Emmanuelson; Gang Huang 001; et al. (Models@run.time@Dagstuhl, 2011)

Requirements and Assessment of Languages and Frameworks for Adaptation Models. - Thomas Vogel 001; Holger Giese (MoDELS (Workshops), 2011)

Language and Framework Requirements for Adaptation Models. - Thomas Vogel 001; Holger Giese (Models@run.time, 2011)

A language for feedback loops in self-adaptive systems: Executable runtime megamodels. - Thomas Vogel 001; Holger Giese (SEAMS, 2012)

Graph Transformations for MDE, Adaptation, and Models at Runtime. - Holger Giese; Leen Lambers; Basil Becker; Stephan Hildebrandt; Stefan Neumann 002; Thomas Vogel 001; Sebastian Wätzoldt (SFM, 2012)

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. - Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Danny Weyns; Luciano Baresi; Nelly Bencomo; Yuriy Brun; Javier Cámara 001; et al. (Software Engineering for Self-Adaptive Systems, 2013)

Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. - Bradley R. Schmerl; Jesper Andersson; Thomas Vogel 001; Myra B. Cohen; Cecília M. F. Rubira; Yuriy Brun; Alessandra Gorla; Franco Zambonelli; Luciano Baresi (Software Engineering for Self-Adaptive Systems, 2013)

On Unifying Development Models and Runtime Models. - Thomas Vogel 001; Holger Giese (Models@run.time, 2014)

Model-Driven Engineering of Self-Adaptive Software with EUREMA. - Thomas Vogel 001; Holger Giese (ACM Trans. Auton. Adapt. Syst., 2014)

Towards Smart Systems of Systems. - Holger Giese; Thomas Vogel 001; Sebastian Wätzoldt (FSEN, 2015)

Software Engineering Meets Control Theory. - Antonio Filieri; Martina Maggio; Konstantinos Angelopoulos; Nicolás D'Ippolito; Ilias Gerostathopoulos; Andreas B. Hempel; Henry Hoffmann; Pooyan Jamshidi; Evangelia Kalyvianaki; Cristian Klein; Filip Krikava; Sasa Misailovic; et al. (SEAMS@ICSE, 2015)

A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. - Joachim Hänsel; Thomas Vogel 001; Holger Giese (SASO Workshops, 2015)

Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. - Sona Ghahremani; Holger Giese; Thomas Vogel 001 (SASO, 2016)

Generic Architectures for Individual Self-aware Computing Systems. - Holger Giese; Thomas Vogel 001; Ada Diaconescu; Sebastian Götz; Kirstie L. Bellman (Self-Aware Computing Systems, 2017)

State of the Art in Architectures for Self-aware Computing Systems. - Holger Giese; Thomas Vogel 001; Ada Diaconescu; Sebastian Götz; Nelly Bencomo; Kurt Geihs; Samuel Kounev; Kirstie L. Bellman (Self-Aware Computing Systems, 2017)

Architectural Concepts for Self-aware Computing Systems. - Holger Giese; Thomas Vogel 001; Ada Diaconescu; Sebastian Götz; Samuel Kounev (Self-Aware Computing Systems, 2017)

Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. - Sona Ghahremani; Holger Giese; Thomas Vogel 001 (ICAC, 2017)

Control Strategies for Self-Adaptive Software Systems. - Antonio Filieri; Martina Maggio; Konstantinos Angelopoulos; Nicolás D'Ippolito; Ilias Gerostathopoulos; Andreas Berndt Hempel; Henry Hoffmann; Pooyan Jamshidi; Evangelia Kalyvianaki; Cristian Klein; Filip Krikava; Sasa Misailovic; et al. (ACM Trans. Auton. Adapt. Syst., 2017)

A learning approach to enhance assurances for real-time self-adaptive systems. - Arthur Rodrigues; Ricardo Diniz Caldas; Genaína Nunes Rodrigues; Thomas Vogel 001; Patrizio Pelliccione (SEAMS@ICSE, 2018)

mRUBiS: an exemplar for model-based architectural self-healing and self-optimization. - Thomas Vogel 001 (SEAMS@ICSE, 2018)

mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization (Artifact). - Thomas Vogel 001 (Dagstuhl Artifacts Ser., 2018)

Model-driven engineering of self-adaptive software. - Thomas Vogel 001 (2018)

Challenges for verifying and validating scientific software in computational materials science. - Thomas Vogel 001; Stephan Druskat; Markus Scheidgen; Claudia Draxl; Lars Grunske (SE4Science@ICSE, 2019)

Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach. - Gabriela Félix Solano; Ricardo Diniz Caldas; Genaína Nunes Rodrigues; Thomas Vogel 001; Patrizio Pelliccione (SEAMS@ICSE, 2019)

A Domain Specific Language to Support HAZOP Studies of SysML Models. - Arut Prakash Kaleeswaran; Peter Munk; Samir Sarkic; Thomas Vogel 001; Arne Nordmann (IMBSA, 2019)

Planning as Optimization: Dynamically Discovering Optimal Configurations for Runtime Situations. - Erik M. Fredericks; Ilias Gerostathopoulos; Christian Krupitzer; Thomas Vogel 001 (SASO, 2019)

Does Diversity Improve the Test Suite Generation for Mobile Applications? - Thomas Vogel 001; Chinh Tran; Lars Grunske (SSBSE, 2019)

Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343. - Simos Gerasimou; Thomas Vogel 001; Ada Diaconescu (CoRR, 2019)

Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl. - Joel Greenyer; Malte Lochau; Thomas Vogel 001 (CoRR, 2019)

Micro-controllers: Promoting Structurally Flexible Controllers in Self-Aware Computing Systems. - Bento R. Siqueira; Fabiano Cutigi Ferrari; Thomas Vogel 001; Rogério de Lemos (ACSOS Companion, 2020)

A hybrid approach combining control theory and AI for engineering self-adaptive systems. - Ricardo Diniz Caldas; Arthur Rodrigues; Eric Bernd Gil; Genaína Nunes Rodrigues; Thomas Vogel 001; Patrizio Pelliccione (SEAMS@ICSE, 2020)

Towards bridging the gap between control and self-adaptive system properties. - Javier Cámara 001; Alessandro Vittorio Papadopoulos; Thomas Vogel 001; Danny Weyns; David Garlan; Shihong Huang; Kenji Tei (SEAMS@ICSE, 2020)

Counterexample Interpretation for Contract-Based Design. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (IMBSA, 2020)

Evolutionary Grammar-Based Fuzzing. - Martin Eberlein; Yannic Noller; Thomas Vogel 001; Lars Grunske (SSBSE, 2020)

Bet and Run for Test Case Generation. - Sebastian Müller 007; Thomas Vogel 001; Lars Grunske (SSBSE, 2020)

Micro-controllers: Promoting Structurally Flexible Controllers in Self-Adaptive Software Systems. - Bento R. Siqueira; Fabiano Cutigi Ferrari; Thomas Vogel 001; Rogério de Lemos (CoRR, 2020)

Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. - Sona Ghahremani; Holger Giese; Thomas Vogel 001 (ACM Trans. Auton. Adapt. Syst., 2020)

How do we Evaluate Self-adaptive Software Systems?: A Ten-Year Perspective of SEAMS. - Ilias Gerostathopoulos; Thomas Vogel 001; Danny Weyns; Patricia Lago (SEAMS@ICSE, 2021)

How do we Evaluate Self-adaptive Software Systems? - Ilias Gerostathopoulos; Thomas Vogel 001; Danny Weyns; Patricia Lago (CoRR, 2021)

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (CoRR, 2021)

A comprehensive empirical evaluation of generating test suites for mobile applications with diversity. - Thomas Vogel 001; Chinh Tran; Lars Grunske (Inf. Softw. Technol., 2021)

How do we Evaluate Self-adaptive Software Systems? [replication package]. - Ilias Gerostathopoulos; Thomas Vogel 001; Danny Weyns; Patricia Lago (Zenodo, 2021)

A systematic literature review on counterexample explanation. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (Inf. Softw. Technol., 2022)

VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. - Laura Wartschinski; Yannic Noller; Thomas Vogel 001; Timo Kehrer; Lars Grunske (Inf. Softw. Technol., 2022)

Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. - Danny Weyns; Ilias Gerostathopoulos; Barbora Buhnova; Nicolás Cardozo; Emilia Cioroaica; Ivana Dusparic; Lars Grunske; Pooyan Jamshidi; Christine Julien 001; Judith Michael; Gabriel A. Moreno; Shiva Nejati 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2022)

A comprehensive empirical evaluation of generating test suites for mobile applications with diversity - Summary. - Thomas Vogel 001; Chinh Tran; Lars Grunske (Software Engineering, 2023)

A systematic literature review on counterexample explanation - Summary. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (Software Engineering, 2023)

Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary. - Laura Wartschinski; Yannic Noller; Thomas Vogel 001; Timo Kehrer; Lars Grunske (Software Engineering, 2023)

On the Need for Artifacts to Support Research on Self-Adaptation Mature for Industrial Adoption. - Danny Weyns; Thomas Vogel 001 (SEAMS, 2023)

A property specification pattern catalog for real-time system verification with UPPAAL. - Thomas Vogel 001; Marc Carwehl; Genaína Nunes Rodrigues; Lars Grunske (Inf. Softw. Technol., 2023)

A user study for evaluation of formal verification results and their explanation at Bosch. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (Empir. Softw. Eng., 2023)

Runtime Verification of Self-Adaptive Systems with Changing Requirements. - Marc Carwehl; Thomas Vogel 001; Genaína Nunes Rodrigues; Lars Grunske (Software Engineering, 2024)

Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach. - João Paulo Costa de Araujo; Genaína Nunes Rodrigues; Marc Carwehl; Thomas Vogel 001; Lars Grunske; Ricardo Caldas; Patrizio Pelliccione (IEEE Softw., 2024)

Formal Synthesis of Uncertainty Reduction Controllers. - Marc Carwehl; Calum Imrie; Thomas Vogel 001; Genaína Nunes Rodrigues; Radu Calinescu; Lars Grunske (Software Engineering, 2025)