Basil Becker

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 1

Top Venues

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

CoRR

SFM

University of Potsdam (PHD)

Education History

University of Potsdam

PHD

Publications

Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. CoRR (2018)
Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese
Integration of Triple Graph Grammars and Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012)
Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt
Graph Transformations for MDE, Adaptation, and Models at Runtime. SFM (2012)
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese
Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT@TOOLS (2011)
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
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems. Software Engineering for Self-Adaptive Systems (2010)
Regina Hebig, Holger Giese, Basil Becker
Making control loops explicit when architecting self-adaptive systems. SOAR@ICAC (2010)
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, Danny Weyns, 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, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems (2010)
Basil Becker
Modeling and Verification of Self-Adaptive Service-Oriented Systems. AlgoSyn (2010)
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
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems (2010)
Basil Becker
Towards safety guarantees for service-oriented systems. ICSE Companion (2009)
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
Model-driven architectural monitoring and adaptation for autonomic systems. ICAC (2009)
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
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems (2009)
Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. ACES-MB@MoDELS (2009)
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
Incremental Model Synchronization for Efficient Run-Time Monitoring. MoDELS (Workshops) (2009)
Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. MoDELS (Workshops) (2009)
Basil Becker, Holger Giese
Modeling of correct self-adaptive systems: a graph transformation system based approach. CSTST (2008)
Basil Becker, Holger Giese
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC (2008)
Basil Becker, Holger Giese
Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. ASE Workshops (2008)
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling
Symbolic invariant verification for systems with dynamic structural adaptation. ICSE (2006)

Basil Becker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Basil Becker