Basil Becker and Leen Lambers and Johannes Dyck and Stefanie Birth and Holger Giese. Iterative Development of Consistency-Preserving Rule-Based Refactorings. In Jordi Cabot and Eelco Visser, ed., Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, volume 6707 of Lecture Notes in Computer Science, pages 123-137, 2011. Springer / Heidelberg.

Basil Becker and Stefan Neumann and Martin Schenk and Arian Treffer and Holger Giese. Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. In Sudipto Ghosh, ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pages 83-97. Springer-Verlag, 2010.

Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker. Incremental Model Synchronization for Efficient Run-Time Monitoring. In Sudipto Ghosh, ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pages 124-139. Springer-Verlag, 4 2010.

Regina Hebig and Holger Giese and Basil Becker. Making Control Loops Explicit When Architecting Self-Adaptive Systems. In SOAR '10: Proceedings of the second international workshop on Self-Organizing Architectures, pages 21–28, Washington, DC, USA, 6 2010. ACM.

Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker. Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. In Proceedings of the 6th IEEE/ACM International Conference on Autonomic Computing and Communications (ICAC 2009), Barcelona, Spain, pages 67-68, 6 2009. ACM.

Basil Becker and Holger Giese and Stefan Neumann and Martin Schenck and Arian Treffer. Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. In Stefan Van Baelen and Thomas Weigert and Ileana Ober and Huascar Espinoza, ed., Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), volume 507 of CEUR Workshop Proceedings, pages 123-137, 10 2009. CEUR-WS.org.

Basil Becker. Towards Safety Guarantees for Service-Oriented Systems. In ICSE Companion 2009, Companion of the 31th International Conference on Software Engineering, pages 347 – 350, 2009. IEEE Computer Society.

Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker. Incremental Model Synchronization for Efficient Run-time Monitoring. In Nelly Bencomo and Gordon Blair and Robert France and Cedric Jeanneret and Freddy Munoz, ed., Proceedings of the 4th International Workshop on Models@run.time at the 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, Colorado, USA, volume 509 of CEUR Workshop Proceedings, pages 1-10, 10 2009. CEUR-WS.org. (best paper)

Basil Becker and Holger Giese and Stefan Neumann. Correct Dynamic Service-Oriented Architectures: Modeling and Compositional Verification with Dynamic Collaborations. Technical Report 29, Hasso Plattner Institute at the University of Potsdam, 2009.

Basil Becker and Holger Giese and Stephan Hildebrandt and Andreas Seibel. Fujaba's Future in the MDA Jungle - Fully Integrating Fujaba and the Eclipse Modeling Framework?. In Proceedings of the 6th International Fujaba Days, 9 2008.

Basil Becker and Holger Giese. On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. In In Proc. of 11th International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC), pages 203–210, 5 2008. IEEE Computer Society Press.

Basil Becker and Holger Giese. Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach. In CSTST '08: Proc. 5th Intl. Conference on Soft Computing as Transdisciplinary Science and Technology, pages 508 - 516, 2008. ACM Press.

Basil Becker and Holger Giese. Incremental Verification of Inductive Invariants for the Run-Time Evolution of Self-Adaptive Software-Intensive Systems. In Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops, pages 33-40, 2008. IEEE Computer Society Press.

Betty H.C. Cheng and Holger Giese and Paola Inverardi and Jeff Magee and Rogerio de Lemos and Jesper Andersson and Basil Becker and Nelly Bencomo and Yuriy Brun and Bojan Cukic and Giovanna Di Marzo Serugendo and Schahram Dustdar and Anthony Finkelstein and Cristina Gacek and Kurt Geihs and Vincenzo Grassi and Gabor Karsai and Holger Kienle and Jeff Kramer and Marin Litoiu and Sam Malek and Raffaela Mirandola and Hausi Muller and Sooyong Park and Mary Shaw and Matthias Tichy and Massimo Tivoli and Danny Weyns and Jon Whittle. 08031 – Software Engineering for Self-Adaptive Systems: A Research Road Map. In Betty H.C. Cheng and Rogerio de Lemos and Holger Giese and Paola Inverardi and Jeff Magee, ed., Software Engineering for Self-Adaptive Systems, of Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2008. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.

Basil Becker. Verifikation induktiver Invarianten in hybriden Graphtransformationssystemen. Mastersthesis, University of Paderborn, 2007.

Basil Becker and Dirk Beyer and Holger Giese and Florian Klein and Daniela Schilling. Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In Proc. of the 28^th International Conference on Software Engineering (ICSE), Shanghai, China, 2006. ACM Press.

Basil Becker and Holger Giese and Daniela Schilling. A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns. In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pages 1-4, 9 2005.

Matthias Tichy and Basil Becker and Holger Giese. Component Templates for Dependable Real-Time Systems. In Andy Schürr and Albert Zündorf, ed., Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany, volume tr-ri-04-253 of Technical Report, pages 27-30, 9 2004. University of Paderborn.