Basil Becker - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Basil Becker' as author, editor, or advisor:

Software Engineering for Self-Adaptive Systems: A second Research RoadmapRogé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. Dagstuhl 2010: [doi]
Iterative Development of Consistency-Preserving Rule-Based RefactoringsBasil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese. ICMT 2011: 123-137 [doi]
Graph Transformations for MDE, Adaptation, and Models at RuntimeHolger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt. sfm 2012: 137-191 [doi]
Modeling and Verification of Self-Adaptive Service-Oriented SystemsBasil Becker. Dagstuhl 2010: 193 [doi]
Software Engineering for Self-Adaptive Systems: A Second Research RoadmapRogé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, Ron 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. Dagstuhl 2013: 1-32 [doi]
Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systemsBasil Becker, Holger Giese. jckbse 2008: 33-40 [doi]
Incremental Model Synchronization for Efficient Run-Time MonitoringThomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker. MoDELS 2010: 124-139 [doi]
Iterative Development of Consistency-Preserving Rule-Based RefactoringsBasil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese. ICMT 2011: 123-137
Towards Practical Runtime Verification and Validation of Self-Adaptive Software SystemsGabriel 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. Dagstuhl 2013: 108-132 [doi]
Model-Based Extension of AUTOSAR for Architectural Online ReconfigurationBasil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer. MoDELS 2010: 83-97 [doi]
Architectural modelling and verification of open service-oriented systems of systemsBasil Becker. PhD thesis, University of Potsdam, 2014. [doi]
Making control loops explicit when architecting self-adaptive systemsRegina Hebig, Holger Giese, Basil Becker. icac 2010: 21-28 [doi]
Integration of Triple Graph Grammars and ConstraintsStephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese. eceasst, 54, 2012. [doi]
On Safe Service-Oriented Real-Time Coordination for Autonomous VehiclesBasil Becker, Holger Giese. isorc 2008: 203-210 [doi]
Modeling of correct self-adaptive systems: a graph transformation system based approachBasil Becker, Holger Giese. wstst 2008: 508-516 [doi]
Symbolic invariant verification for systems with dynamic structural adaptationBasil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling. ICSE 2006: 72-81 [doi]
Towards safety guarantees for service-oriented systemsBasil Becker. ICSE 2009: 347-350 [doi]
Model-Based Extension of AUTOSAR for Architectural Online ReconfigurationBasil Becker, Holger Giese, Stefan Neumann 0002, Martin Schenck, Arian Treffer. MoDELS 2009: [doi]
Model-driven architectural monitoring and adaptation for autonomic systemsThomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker. icac 2009: 67-68 [doi]
Software Engineering for Self-Adaptive Systems: A Research RoadmapBetty 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. Dagstuhl 2009: 1-26 [doi]
An FPGA-based framework for run-time injection and analysis of soft errors in microprocessorsM. Sauer, V. Tomashevich, J. Muller, M. Lewis, A. Spilla, I. Polian, B. Becker, W. Burgard. iolts 2011: 182-185 [doi]
Constructing social systems through computer-mediated communicationB. Becker, G. Mark. vr, 4(1):60-73, 1999. [doi]
Identitätsprüfung von Polyonzügen aus kartographischen DatenbasenB. Becker, Thomas Ottmann. austrographics 1988: 105-119

runs on WebDSL