dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Basil Becker (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger 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: 137-191
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBasil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese: Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT 2011: 123-137
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker: Model-driven architectural monitoring and adaptation for autonomic systems. ICAC 2009: 67-68
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker: Incremental Model Synchronization for Efficient Run-Time Monitoring. MoDELS Workshops 2009: 124-139
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBasil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer: Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. MoDELS Workshops 2009: 83-97
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty 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: 1-26
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBasil Becker, Holger Giese: Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. ASE Workshops 2008: 33-40
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBasil Becker, Holger Giese: Modeling of correct self-adaptive systems: a graph transformation system based approach. CSTST 2008: 508-516
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBasil Becker, Holger Giese: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC 2008: 203-210
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBasil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling: Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81

Selection of 10 from 12 records - Basil Becker has 40 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page