Symbolic invariant verification for systems with dynamic structural adaptation. - Basil Becker; Dirk Beyer 001; Holger Giese; Florian Klein 001; Daniela Schilling (ICSE, 2006)

On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. - Basil Becker; Holger Giese (ISORC, 2008)

Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. - Basil Becker; Holger Giese (ASE Workshops, 2008)

Modeling of correct self-adaptive systems: a graph transformation system based approach. - Basil Becker; Holger Giese (CSTST, 2008)

Software Engineering for Self-Adaptive Systems: A Research Roadmap. - Betty H. C. Cheng; Rogério de Lemos; Holger Giese; Paola Inverardi; Jeff Magee; Jesper Andersson; Basil Becker; Nelly Bencomo; Yuriy Brun; Bojan Cukic; Giovanna Di Marzo Serugendo; Schahram Dustdar; et al. (Software Engineering for Self-Adaptive Systems, 2009)

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

Towards safety guarantees for service-oriented systems. - Basil Becker (ICSE Companion, 2009)

Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. - Basil Becker; Holger Giese; Stefan Neumann 002; Martin Schenck; Arian Treffer (MoDELS (Workshops), 2009)

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

Modeling and Verification of Self-Adaptive Service-Oriented Systems. - Basil Becker (AlgoSyn, 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)

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems. - Gabriel Tamura; Norha M. Villegas; Hausi A. Müller; João Pedro Sousa; Basil Becker; Gabor Karsai; Serge Mankovski; Mauro Pezzè; Wilhelm Schäfer; Ladan Tahvildari; Kenny Wong (Software Engineering for Self-Adaptive Systems, 2010)

Making control loops explicit when architecting self-adaptive systems. - Regina Hebig; Holger Giese; Basil Becker (SOAR@ICAC, 2010)

Iterative Development of Consistency-Preserving Rule-Based Refactorings. - Basil Becker; Leen Lambers; Johannes Dyck; Stefanie Birth; Holger Giese (ICMT@TOOLS, 2011)

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)

Integration of Triple Graph Grammars and Constraints. - Stephan Hildebrandt; Leen Lambers; Basil Becker; Holger Giese (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Architectural modelling and verification of open service-oriented systems of systems. - Basil Becker (2014)