Basil Becker

	2011
11		Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese: Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT 2011: 123-137
	2010
10		Basil Becker: Modeling and Verification of Self-Adaptive Service-Oriented Systems. AlgoSyn 2010: 193
	2009
9		Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker: Model-driven architectural monitoring and adaptation for autonomic systems. ICAC 2009: 67-68
8		Basil Becker: Towards safety guarantees for service-oriented systems. ICSE Companion 2009: 347-350
7		Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker: Incremental Model Synchronization for Efficient Run-Time Monitoring. MoDELS Workshops 2009: 124-139
6		Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer: Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. MoDELS Workshops 2009: 83-97
5		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
	2008
4		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
3		Basil Becker, Holger Giese: Modeling of correct self-adaptive systems: a graph transformation system based approach. CSTST 2008: 508-516
2		Basil Becker, Holger Giese: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC 2008: 203-210
	2006
1		Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling: Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81

Coauthor Index

1	Jesper Andersson	[5]
2	Nelly Bencomo	[5]
3	Dirk Beyer	[1]
4	Stefanie Birth	[11]
5	Yuriy Brun	[5]
6	Betty H. C. Cheng	[5]
7	Bojan Cukic	[5]
8	Schahram Dustdar	[5]
9	Johannes Dyck	[11]
10	Anthony Finkelstein	[5]
11	Cristina Gacek	[5]
12	Kurt Geihs	[5]
13	Holger Giese	[1] [2] [3] [4] [5] [6] [7] [9] [11]
14	Vincenzo Grassi	[5]
15	Stephan Hildebrandt	[7] [9]
16	Paola Inverardi	[5]
17	Gabor Karsai	[5]
18	Holger M. Kienle	[5]
19	Jeff Kramer (Jeffrey Kramer)	[5]
20	Leen Lambers	[11]
21	Rogério de Lemos	[5]
22	Marin Litoiu	[5]
23	Jeff Magee (Jeff N. Magee)	[5]
24	Sam Malek	[5]
25	Raffaela Mirandola	[5]
26	Hausi A. Müller	[5]
27	Stefan Neumann	[6] [7] [9]
28	Sooyong Park	[5]
29	Martin Schenck	[6]
30	Daniela Schilling	[1]
31	Giovanna Di Marzo Serugendo	[5]
32	Mary Shaw	[5]
33	Florian Stallmann (Florian Klein)	[1]
34	Matthias Tichy	[5]
35	Massimo Tivoli	[5]
36	Arian Treffer	[6]
37	Thomas Vogel	[7] [9]
38	Danny Weyns	[5]
39	Jon Whittle (Jonathan Whittle)	[5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page