![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Basil Becker
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2014
- [b1]Basil Becker:
Architectural modelling and verification of open service-oriented systems of systems. University of Potsdam, 2014
Journal Articles
- 2012
- [j1]Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese:
Integration of Triple Graph Grammars and Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012)
Conference and Workshop Papers
- 2012
- [c16]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: 137-191 - 2011
- [c15]Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese:
Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT@TOOLS 2011: 123-137 - 2010
- [c14]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: 1-32 - [c13]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: 108-132 - [c12]Basil Becker:
Modeling and Verification of Self-Adaptive Service-Oriented Systems. AlgoSyn 2010: 193 - [c11]Regina Hebig
, Holger Giese, Basil Becker:
Making control loops explicit when architecting self-adaptive systems. SOAR@ICAC 2010: 21-28 - 2009
- [c10]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: 1-26 - [c9]Thomas Vogel
, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker:
Model-driven architectural monitoring and adaptation for autonomic systems. ICAC 2009: 67-68 - [c8]Basil Becker:
Towards safety guarantees for service-oriented systems. ICSE Companion 2009: 347-350 - [c7]Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer:
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. ACES-MB@MoDELS 2009 - [c6]Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer:
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. MoDELS (Workshops) 2009: 83-97 - [c5]Thomas Vogel
, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker:
Incremental Model Synchronization for Efficient Run-Time Monitoring. MoDELS (Workshops) 2009: 124-139 - 2008
- [c4]Basil Becker, Holger Giese:
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC 2008: 203-210 - [c3]Basil Becker, Holger Giese:
Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. ASE Workshops 2008: 33-40 - [c2]Basil Becker, Holger Giese:
Modeling of correct self-adaptive systems: a graph transformation system based approach. CSTST 2008: 508-516 - 2006
- [c1]Basil Becker, Dirk Beyer
, Holger Giese, Florian Klein, Daniela Schilling:
Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81
Informal and Other Publications
- 2018
- [i2]Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker:
Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. CoRR abs/1805.08677 (2018) - 2010
- [i1]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
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint