Basil Becker

According to our database, Basil Becker authored at least 17 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Architectural modelling and verification of open service-oriented systems of systems.

Basil Becker

PhD thesis, 2014

2012

Integration of Triple Graph Grammars and Constraints.

Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Graph Transformations for MDE, Adaptation, and Models at Runtime.

Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

2011

Iterative Development of Consistency-Preserving Rule-Based Refactorings.

Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese

Proceedings of the Theory and Practice of Model Transformations, 2011

2010

Making control loops explicit when architecting self-adaptive systems.

Regina Hebig, Holger Giese, Basil Becker

Proceedings of the Second International Workshop on Self-Organizing Architectures, 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

Proceedings of the Software Engineering for Self-Adaptive Systems II, 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, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

Modeling and Verification of Self-Adaptive Service-Oriented Systems.

Basil Becker

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2009

Incremental Model Synchronization for Efficient Run-Time Monitoring.

Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker

Proceedings of the Models in Software Engineering, 2009

Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration.

Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Towards safety guarantees for service-oriented systems.

Basil Becker

Proceedings of the 31st International Conference on Software Engineering, 2009

Model-driven architectural monitoring and adaptation for autonomic systems.

Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker

Proceedings of the 6th International Conference on Autonomic Computing, 2009

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, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

2008

Modeling of correct self-adaptive systems: a graph transformation system based approach.

Basil Becker, Holger Giese

Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems.

Basil Becker, Holger Giese

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles.

Basil Becker, Holger Giese

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2006

Symbolic invariant verification for systems with dynamic structural adaptation.

Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006