B
Basil Becker
Researcher at Hasso Plattner Institute
Publications - 13
Citations - 1505
Basil Becker is an academic researcher from Hasso Plattner Institute. The author has contributed to research in topics: Software & Synchronization (computer science). The author has an hindex of 8, co-authored 13 publications receiving 1445 citations. Previous affiliations of Basil Becker include University of Potsdam & University of Paderborn.
Papers
More filters
Book ChapterDOI
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 +28 more
TL;DR: The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems.
Proceedings ArticleDOI
Symbolic invariant verification for systems with dynamic structural adaptation
TL;DR: A verification technique for arbitrarily large multi-agent systems from the mechatronic domain, featuring complex coordination and structural adaptation at run-time, and a symbolic verification procedure that allows the computation on an efficient BDD-based graph manipulation engine.
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap (Draft Version of May 20, 2011)
Rogério de Lemos,Holger Giese,Hausi A. Müller,Mary Shaw,Jesper Andersson,Luciano Baresi,Basil Becker,Nelly Bencomo,Yuriy Brun,Bojan Cukic,Schahram Dustdar,Gregor Engels,Kurt Geihs,Karl M. Goeschka,Vincenzo Grassi,Paola Inverardi,Gabor Karsai,Jeff Kramer,Marin Litoiu,Jeff Magee,Sam Malek,Serge Mankovskii,Raffaela Mirandola,John Mylopoulos,Oscar Nierstrasz,Mauro Pezzè,Christian Prehofer,Wilhelm Schäfer,Richard D. Schlichting,Dennis B. Smith,João Pedro Sousa,Gabriel Tamura,Ladan Tahvildari,Thomas Vogel,Danny Weyns,Kenny Wong,Jochen Wuttke +36 more
TL;DR: In this paper, the state-of-the-art in self-adaptive software engineering is summarized and identified research challenges when developing, deploying and managing self-Adaptive software systems.
Proceedings Article
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map
Betty H. C. Cheng,Holger Giese,Paola Inverardi,Jeff Magee,Rogério de Lemos,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 +28 more
TL;DR: In this article, the authors present a road map for software engineering of self-adaptive systems focusing on four views, which they identify as essential: requirements, modelling, engineering, and assurances.
Proceedings ArticleDOI
Model-driven architectural monitoring and adaptation for autonomic systems
TL;DR: In this article, the authors propose a model-driven approach to ease the development of architectural monitoring and adaptation for autonomic systems, using meta models and model transformation techniques, to realize an incremental synchronization between the run-time system and models for different self-management activities.