Basil Becker

20 papers A* 1C 1Journal 2Unranked 15
YearRankTypeTitle / Venue / Authors
2018 J jnl
Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems.
CoRR
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
2014 — —
Architectural modelling and verification of open service-oriented systems of systems.
Basil Becker
2012 — conf
Graph Transformations for MDE, Adaptation, and Models at Runtime.
SFM
Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt
2012 J jnl
Integration of Triple Graph Grammars and Constraints.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese
2011 — conf
Iterative Development of Consistency-Preserving Rule-Based Refactorings.
ICMT@TOOLS
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese
2010 — conf
Making control loops explicit when architecting self-adaptive systems.
SOAR@ICAC
Regina Hebig, Holger Giese, Basil Becker
2010 — conf
Modeling and Verification of Self-Adaptive Service-Oriented Systems.
AlgoSyn
Basil Becker
2010 — conf
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.
Software Engineering for Self-Adaptive Systems
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
2010 — conf
Software Engineering for Self-Adaptive Systems: A second Research Roadmap.
Software Engineering for Self-Adaptive Systems
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
2010 — conf
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems.
Software Engineering for Self-Adaptive 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
2009 — conf
Incremental Model Synchronization for Efficient Run-Time Monitoring.
MoDELS (Workshops)
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
2009 — conf
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration.
ACES-MB@MoDELS
Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer
2009 — conf
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration.
MoDELS (Workshops)
Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer
2009 — conf
Model-driven architectural monitoring and adaptation for autonomic systems.
ICAC
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
2009 — conf
Software Engineering for Self-Adaptive Systems: A Research Roadmap.
Software Engineering for Self-Adaptive Systems
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
2009 — conf
Towards safety guarantees for service-oriented systems.
ICSE Companion
Basil Becker
2008 — conf
Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems.
ASE Workshops
Basil Becker, Holger Giese
2008 — conf
Modeling of correct self-adaptive systems: a graph transformation system based approach.
CSTST
Basil Becker, Holger Giese
2008 C conf
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles.
ISORC
Basil Becker, Holger Giese
2006 A* conf
Symbolic invariant verification for systems with dynamic structural adaptation.
ICSE
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling