techreport_reussner.bib

@techreport{baer1995a,
  abstract = {Dieser Report enthaelt die Ausarbeitungen von Vortraegen aus einem Seminar gleichen Namens, das am 3./4. Juli 1995 am Institut f{"}ur Programmstrukturen und Datenorganisation unter Leitung von Walter Tichy, Ernst Heinz, Paul Lukowicz und Lutz Prechelt stattfand. Die Artikel geben einen Ueberblick ueber die moegliche Funktion und den Stellenwert experimentellen Vorgehens in verschiedenen Teilen der Informatik, sowie einerseits deren wissenschaftstheoretische Grundlage und andererseits ihre bisherige praktische Umsetzung.},
  author = {B{\"a}r, Dieter and Schmidt, Michael and Redeke, Ingo and Br{\"u}ckner, Thomas and Veigel, Ulrich and Reussner, Ralf H. and Prechelt, Lutz},
  institution = {Department of Informatics, Universit{\"a}t Karlsruhe},
  location = {Am Fasanengarten 5, D-76128 Karlsruhe, Germany},
  number = {38/1995},
  title = {{E}xperimentelle {M}ethoden in der {I}nformatik},
  type = {Technical Report},
  year = {1995}
}
@techreport{eclipse2007,
  abstract = {Die Entwicklung von Software mit Hilfe von Eclipse geh\"{o}rt heute zu den Standard-Aufgaben eines Software-Entwicklers. Die Artikel in diesem technischen Bericht besch\"{a}ftigen sich mit den umfangreichen M\"{o}glichkeiten des Eclipse-Frameworks, die nicht zuletzt auf Grund zahlreicher Erweiterungsm\"{o}glichkeiten mittels Plugins m\"{o}glich sind. Dieser technische Bericht entstand aus einem Proseminar im Wintersemester 2006/2007.},
  address = {Karlsruhe, Germany},
  author = {Becker, Steffen and Dencker, Tobias and Happe, Jens and Koziolek, Heiko and Krogmann, Klaus and Krogmann, Martin and Kuperberg, Michael and Reussner, Ralf and Sygo, Martin and Veber, Nikola},
  edition = {ISSN 1432-7864},
  institution = {Fakult{\"a}t f{\"u}r Informatik, Universit{\"a}t Karlsruhe},
  note = {Interner Bericht},
  publisher = {Fakult{\"a}t f{\"u}r Informatik, Institut f{\"u}r Programmstrukturen und Datenorganisation},
  timestamp = {2009.06.29},
  title = {Software-Entwicklung mit Eclipse},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000007102},
  volume = {11},
  year = {2007}
}
@techreport{becker2006c,
  abstract = {Modellgetriebene Software-Entwicklung ist in den letzten Jahren insbesondere unter Schlagworten wie MDA und MDD zu einem Thema von allgemeinem Interesse f\"{u}r die Software-Branche geworden. Dabei ist ein Trend weg von der Code-zentrierten Software-Entwicklung hin zum (Architektur-) Modell im Mittelpunkt der Software- Entwicklung festzustellen. Modellgetriebene Software-Entwicklung verspricht eine stetige automatisierte Synchronisation von Software-Modellen verschiedenster Ebenen. Damit einher geht eine m\"{o}gliche Verk\"{u}rzung von Entwicklungszyklen und mehr Produktivit\"{a}t. Prim\"{a}r wird nicht mehr reiner Quellcode entwickelt, sondern Modelle und Transformationen \"{u}bernehmen als eine h\"{o}here Abstraktionsebene die Rolle der Entwicklungssprache f\"{u}r Software-Produkte. Derweil ist eine Evolution von Werkzeugen zur modellgetriebenen Entwicklung festzustellen, die einen zus\"{a}tzlichen Gewinn an Produktivit\"{a}t und Effizienz erm\"{o}glichen sollen. Waren die Werkzeuge zur Jahrtausendwende in ihrer M\"{a}chtigkeit noch stark eingeschr\"{a}nkt, weil die Transformationssprachen nur eine begrenzte Ausdrucksst\"{a}rke besa{\ss}en und die verf\"{u}gbaren Werkzeuge eine nur geringe Integration von modellgetriebenen Entwicklungsprozessen boten, so ist heute mit den Eclipse-basiertenWerkzeugen rund um EMF ein deutlicher Fortschritt sp\"{u}rbar. In der Eclipse-Plattform werden dabei als Plugins verschiedenste Aspekte der modellgetriebenen Entwicklung vereint: � Modellierungswerkzeuge zur Erstellung von Software-Architekturen � Frameworks f\"{u}r Software-Modelle � Erstellung und Bearbeitung von Transformationen � Durchf\"{u}hrung von Transformationen � Entwicklung von Quellcode Der Seminartitel enth\"{a}lt eine Reihe von Schlagworten: �MDA, Architekturen, Muster, Eclipse�. Unter dem Dach von MDA ergeben sich zwischen diesen Schlagworten Zusammenh\"{a}nge, die im Folgenden kurz skizziert werden. Software-Architekturen stellen eine allgemeine Form von Modell f\"{u}r Software dar. Sie sind weder auf eine Beschreibungssprache noch auf eine bestimmte Dom\"{a}nen beschr\"{a}nkt. Im Zuge der Bem\"{u}hungen modellgetriebener Entwicklung lassen sich hier Entwicklungen hin zu Standard-Beschreibungssprachen wie UML aber auch die Einf\"{u}hrung von dom\"{a}nen-spezifischen Sprachen (DSL) erkennen. Auf diesen weiter formalisierten Beschreibungen von Software lassen sich schlie{\ss}lich Transformationen anwenden. Diese k\"{o}nnen entweder zu einem weiteren Modell (�Model-to-Model�) oder einer textuellen Repr\"{a}sentation (�Model-to-Text�) erfolgen. In beiden F\"{a}llen spielen Muster eine wichtige Rolle. Transformationen kapseln in gewisser Weise wiederholt anwendbares Entwurfs-Wissen (�Muster�) in parametrisierbaren Schablonen. Eclipse stellt schlie{\ss}lich eine freie Plattform dar, die in letzter Zeit zunehmend Unterst\"{u}tzung f\"{u}r modellgetriebene Entwicklung bietet. In die Bem\"{u}hungen zur Unterst\"{u}tzung modellgetriebener Entwicklung f\"{a}llt auch das im Mai 2006 angek\"{u}ndigte �Eclipse Modeling Project�, das als �top level project� auf die Evolution und Verbreitung modellgetriebener Entwicklungs-Technologien in Eclipse zielt. Das Seminar wurde wie eine wissenschaftliche Konferenz organisiert: Die Einreichungen wurden in einem peer-to-peer-Verfahren begutachtet (vor der Begutachtung durch den Betreuer) und in verschiedenen �Sessions� wurden die �Artikel� an zwei �Konferenztagen� pr\"{a}sentiert. Es gab �best paper awards� und einen eingeladenen Gastredner, Herrn Achim Baier von der itemis AG & Co KG, der dankenswerter Weise einen aufschlussreichen Einblick in Projekte mit modellgetriebener Entwicklung in der Praxis gab. Die �best paper awards� wurden an Herrn El-Ghazi und Herrn Rentschler verliehen, denen hiermit nochmal herzlich zu dieser herausragenden Leistung gedankt wird.},
  author = {Becker, Steffen and Dikanski, Aleksander and Drechsel, Nils and Ghazi, Aboubakr Achraf El and Happe, Jens and El-Oudghiri, Ihssane and Koziolek, Heiko and Kuperberg, Michael and Rentschler, Andreas and Reussner, Ralf H. and Sinawski, Roman and Thoma, Matthias and Willsch, Marko},
  institution = {Universit{\"a}t Karlsruhe (TH)},
  title = {{M}odellgetriebene {S}oftware-{E}ntwicklung - {A}rchitekturen, {M}uster und {E}clipse-basierte {MDA}},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/2918},
  year = {2006}
}
@techreport{comm2007,
  abstract = {In der Welt der komponentenbasierten Software-Entwicklung werden Komponentenmodelle unter Anderem dazu eingesetzt, Software-Systeme mit vorhersagbaren Eigenschaften zu erstellen. Die Bandbreite reicht von Forschungs- bis zu Industrie-Modellen. In Abh\"{a}ngigkeit von den Zielen der Modelle werden unterschiedliche Aspekte von Software in ein Komponentenmodell abgebildet. In diesem technischen Bericht wird ein \"{u}berblick \"{u}ber die heute verf\"{u}gbaren Software-Komponentenmodelle vermittelt.},
  address = {Karlsruhe},
  author = {Becker, Steffen and Happe, Jens and Koziolek, Heiko and Krogmann, Klaus and Kuperberg, Michael and Reussner, Ralf and Reichelt, Sebastian and Burger, Erik and Goussev, Igor and Hodzhev, Dimitar},
  edition = {ISSN 1432-7864},
  institution = {Fakult{\"a}t f{\"u}r Informatik, Universit{\"a}t Karlsruhe},
  note = {Interner Bericht},
  publisher = {Fakult{\"a}t f{\"u}r Informatik, Institut f{\"u}r Programmstrukturen und Datenorganisation},
  timestamp = {2009.06.29},
  title = {Software-Komponentenmodelle},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000007101},
  volume = {10},
  year = {2007}
}
@techreport{indust2008,
  abstract = {Die Industrialisierung der Software-Entwicklung ist ein zurzeit sehr stark diskutiertes Thema. Es geht dabei vor allem um die Efizienzsteigerung durch die Steigerung des Standardisierungsgrades, des Automatisierungsgrades sowie eine Erh\"{o}hung der Arbeitsteilung. Dies wirkt sich einerseits auf die den Software- Systemen zu Grunde liegenden Architekturen aber auch auf die Entwicklungsprozesse aus. So sind service-orientierte Architekturen ein Beispiel f\"{u}r eine gesteigerte Standardisierung innerhalb von Software-Systemen. Es ist zu ber\"{u}cksichtigen, dass sich die Software-Branche von den klassischen produzierenden Industriezweigen dadurch unterscheidet, dass Software ein immaterielles Produkt ist und so ohne hohe Produktionskosten beliebig oft vervielf\"{a}ltigt werden kann. Trotzdem lassen sich viele Erkenntnisse aus den klassischen Industriezweigen auf die Software-Technik \"{u}bertragen. Die Inhalte dieses Berichts stammen haupts\"{a}chlich aus dem Seminar "Software- Industrialisierung\, welches sich mit der Professionalisierung der Software- Entwicklung und des Software-Entwurfs besch\"{a}ftigte. W\"{a}hrend die klassische Software-Entwicklung wenig strukturiert ist und weder im Bezug auf Reproduzierbarkeit oder Qualit\"{a}tssicherung erh\"{o}hten Anforderungen gen\"{u}gt, befindet sich die Software-Entwicklung im Rahmen der Industrialisierung in einem Wandel. Dazu z\"{a}hlen arbeitsteiliges Arbeiten, die Einf\"{u}hrung von Entwicklungsprozessen mit vorhersagbaren Eigenschaften (Kosten, Zeitbedarf, ...) und in der Folge die Erstellung von Produkten mit garantierbaren Eigenschaften. Das Themenspektrum des Seminars umfasste dabei unter anderem: * Software-Architekturen * Komponentenbasierte Software-Entwicklung * Modellgetriebene Entwicklung * Ber\"{u}cksichtigung von Qualit\"{a}tseigenschaften in Entwicklungsprozessen Das Seminar wurde wie eine wissenschaftliche Konferenz organisiert: Die Einreichungen wurden in einem zweistufigen Peer-Review-Verfahren begutachtet. In der ersten Stufe wurde eine Begutachtung der studentischen Arbeiten durch Kommilitonen durchgef\"{u}hrt, in der zweiten Stufe eine Begutachtung durch die Betreuer. In verschiedenen Sessions wurden die Artikel an zwei Konferenztagen pr\"{a}sentiert. Der beste Beitrag wurde durch einen Best Paper Award ausgezeichnet. Dieser ging an Benjamin Klatt f\"{u}r seine Arbeit Software Extension Mechanisms, dem hiermit noch einmal herzlich zu dieser herausragenden Leistung gratuliert wird. Erg\"{a}nzend zu den Vortr\"{a}gen der Seminarteilnehmer wurde ein eingeladener Vortrag gehalten. Herr Florian Kaltner und Herr Tobias Pohl vom IBM-Entwicklungslabor gaben dabei dankenswerterweise in ihrem Vortrag Einblicke in die Entwicklung von Plugins f\"{u}r Eclipse sowie in die Build-Umgebung der Firmware f\"{u}r die zSeries Mainframe-Server.},
  address = {Karlsruhe},
  author = {Brosch, Franz and Goldschmidt, Thomas and Groenda, Henning and Kapova, Lucia and Krogmann, Klaus and Kuperberg, Michael and Martens, Anne and Rathfelder, Christoph and Reussner, Ralf and Stammel, Johannes},
  edition = {ISSN 1432-7864},
  institution = {Universit{\"a}t Karlsruhe, Fakult{\"a}t f{\"u}r Informatik, Institut f{\"u}r Programmstrukturen und Datenorganisation},
  timestamp = {2009.06.29},
  title = {Software-Industrialisierung},
  type = {Interner Bericht},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000009113},
  volume = {8},
  year = {2008}
}
@techreport{indust2009,
  abstract = {Die Industrialisierung der Software-Entwicklung ist ein zur Zeit sehr stark diskutiertes Thema. Es geht dabei vor allem um die Efizienzsteigerung durch die Steigerung des Standardisierungsgrades, des Automatisierungsgrades sowie eine Erh\"{o}hung der Arbeitsteilung. Dies wirkt sich einerseits auf die den Software- Systemen zu Grunde liegenden Architekturen, aber auch auf die Entwicklungsprozesse aus. So sind Service-orientierte Architekturen ein Beispiel f\"{u}r eine gesteigerte Standardisierung innerhalb von Software-Systemen. Es ist zu ber\"{u}cksichtigen, dass sich die Software-Branche von den klassischen produzierenden Industriezweigen dadurch unterscheidet, dass Software ein immaterielles Produkt ist und so ohne hohe Produktionskosten beliebig oft vervielf\"{a}ltigt werden kann. Trotzdem lassen sich viele Erkenntnisse aus den klassischen Industriezweigen auf die Software-Technik \"{u}bertragen. Die Inhalte dieses Berichts stammen haupts\"{a}chlich aus dem Seminar " Software- Industrialisierung\, welches sich mit der Professionalisierung der Software- Entwi- cklung und des Software-Entwurfs besch\"{a}ftigte. W\"{a}hrend die klassische Software-Entwicklung wenig strukturiert ist und weder im Bezug auf Reproduzierbarkeit oder Qualit\"{a}tssicherung erh\"{o}hten Anforderungen gen\"{u}gt, befindet sich die Software-Entwick- lung im Rahmen der Industrialisierung in einemWandel. Dazu z\"{a}hlen arbeitsteiliges Arbeiten, die Einf\"{u}hrung von Entwicklungsprozessen mit vorhersagbaren Eigenschaften (Kosten, Zeitbedarf, ...), und in der Folge die Erstellung von Produkten mit garantierbaren Eigenschaften. Das Themenspektrum des Seminars umfasste dabei unter anderem: * Komponentenbasierte Software-Architekturen * Modellgetriebene Softwareentwicklung: Konzepte und Technologien * Industrielle Softwareentwicklungsprozesse und deren Bewertung Das Seminar wurde wie eine wissenschaftliche Konferenz organisiert: Die Einreichungen wurden in einem zweistufigen Peer-Review-Verfahren begutachtet. In der ersten Stufe wurde eine Begutachtung der studentischen Arbeiten durch Kommilitonen durchgef\"{u}hrt, in der zweiten Stufe eine Begutachtung durch die Betreuer. In verschiedenen Sessions wurden die Artikel wie bei einer Konferenz pr\"{a}sentiert. Die besten Beitr\"{a}ge wurden durch zwei Best Paper Awards ausgezeichnet. Diese gingen an Tom Beyer f\"{u}r seine Arbeit Realoptionen f\"{u}r Entscheidungen in der Software-Entwicklung, sowie an Philipp Meier f\"{u}r seine Arbeit Assessment Methods for Software Product Lines. Erg\"{a}nzt wurden die Vortr\"{a}ge der Seminarteilnehmer durch zwei eingeladene Vortr\"{a}ge: Collin Rogowski von der 1&1 Internet AG stellte den agilen Softwareentwicklungsprozess beim Mail-Produkt GMX.COM vor. Heiko Koziolek, Wolfgang Mahnke und Michaela Saeftel von ABB referierten \"{u}ber das Thema Software Product Line Engineering anhand der bei ABB entwickelten Robotik-Applikationen.},
  address = {Karlsruhe},
  author = {Brosch, Franz and Groenda, Henning and Kapova, Lucia and Krogmann, Klaus and Kuperberg, Michael and Martens, Anne and Parrend, Pierre and Reussner, Ralf and Stammel, Johannes and Taspolatoglu, Emre},
  edition = {ISSN 1432-7864},
  institution = {Fakult{\"a}t f{\"u}r Informatik, Universit{\"a}t Karlsruhe},
  note = {Interner Bericht},
  publisher = {Fakult{\"a}t f{\"u}r Informatik, Institut f{\"u}r Programmstrukturen und Datenorganisation},
  timestamp = {2009.06.29},
  title = {Software-Industrialisierung},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000010899},
  volume = {4},
  year = {2009}
}
@techreport{hauck2010b,
  author = {Michael Hauck and Matthias Huber and Markus Klems and Samuel Kounev and J{\"o}rn M{\"u}ller-Quade and Alexander Pretschner and Ralf Reussner and Stefan Tai},
  institution = {Karlsruhe Institue of Technology, Faculty of Informatics},
  number = {2010-19},
  title = {{Challenges and Opportunities of Cloud Computing -- Trade-off Decisions in Cloud Computing Architecture}},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000020328},
  year = {2010}
}
@techreport{KuHeKiRe2011-ResourceElasticity,
  abstract = {{Elasticity is the ability of a software system to dynamically scale the amount of the resources it provides to clients as their workloads increase or decrease. Elasticity is praised as a key advantage of cloud computing, where computing resources are dynamically added and released. However, there exists no concise or formal definition of elasticity, and thus no approaches to quantify it have been developed so far. Existing work on cloud computing is limited to the technical view of implementing elastic systems, and definitions or scalability have not been extended to cover elasticity. In this report, we present a detailed discussion of elasticity, propose techniques for quantifying and measuring it, and outline next steps to be taken for enabling comparisons between cloud computing offerings on the basis of elasticity. We also present preliminary work on measuring elasticity of resource pools provided by the Java Virtual Machine.}},
  address = {Am Fasanengarten 5, 76131 Karlsruhe, Germany},
  author = {Michael Kuperberg and Nikolas Roman Herbst and Joakim Gunnarson von Kistowski and Ralf Reussner},
  institution = {Karlsruhe Institute of Technology (KIT)},
  issn = {2190-4782},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/KuHeKiRe2011-ResourceElasticity.pdf},
  series = {Karlsruhe Reports in Informatics},
  title = {{Defining and Quantifying Elasticity of Resources in Cloud Computing and Scalable Platforms}},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000023476},
  volume = {16},
  year = {2011}
}
@techreport{reussner2011a,
  abstract = {This report introduces the Palladio Component Model (PCM), a novel software component model for business information systems, which is specifically tuned to enable model-driven quality-of-service (QoS, i.e., performance and reliability) predictions. The PCMs goal is to assess the expected response times, throughput, and resource utilization of component-based software architectures during early development stages. This shall avoid costly redesigns, which might occur after a poorly designed architecture has been implemented. Software architects should be enabled to analyse different architectural design alternatives and to support their design decisions with quantitative results from performance or reliability analysis tools.},
  address = {Karlsruhe},
  author = {Reussner, Ralf and Becker, Steffen and Burger, Erik and Happe, Jens and Hauck, Michael and Koziolek, Anne and Koziolek, Heiko and Krogmann, Klaus and Kuperberg, Michael},
  institution = {KIT, Fakult{\"a}t f{\"u}r Informatik},
  series = {Karlsruhe reports in informatics ; 2011,14},
  title = {{The Palladio Component Model}},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000022503},
  year = {2011}
}
@techreport{reussner2002e,
  abstract = {This paper deals with the specification of software component protocols (i. e., the set of service call sequences). The contribution of this paper is twofold: (a) We discuss specific requirements of realworld protocols, especially in the presence of components which make use of limited resources. (b) We define counter-constrained finite state machines, a novel extension of finite state machines, specifically created to model protocols containing dependencies between services due to their access to shared resources. Opposed to other approaches like classical finite state machines, this newmo del combines two valuable properties: (a) it is powerful enough to model realistic component protocols with resource allocation, -usage, and -deallocation dependencies between methods (as occurring in common abstract data-types such as stacks or queues) and (b) allows effcient checking of interoperability and substitutability.},
  author = {Reussner, Ralf H.},
  institution = {School for Computer Science and Software Engineering, Monash University},
  location = {VIC 3145 Australia},
  number = {2002/121},
  title = {{C}ounter-{C}onstraint {F}inite {S}tate {M}achines: {M}odelling {C}omponent {P}rotocols with {R}esource-{D}ependencies},
  year = {2002}
}
@techreport{reussner2000a,
  author = {Reussner, Ralf H.},
  institution = {Department of Informatics, Universit{\"a}t Karlsruhe},
  location = {Am Fasanengarten 5, D-76128 Karlsruhe, Germany},
  number = {08/2000},
  title = {{F}ormal {F}oundations of {D}ynamic {T}ypes for {S}oftware {C}omponents},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner2000a.pdf},
  year = {2000}
}
@techreport{reussner1999c,
  author = {Reussner, Ralf H.},
  institution = {University of Karlsruhe},
  number = {07/99},
  title = {{SK}a{L}ib: {SK}a{MPI} as a library -- {T}echnical {R}eference {M}anual},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner1999c.pdf},
  year = {1999}
}
@techreport{reussner1999d,
  author = {Reussner, Ralf H.},
  institution = {University of Karlsruhe},
  number = {02/99},
  title = {{SK}a{MPI}: {T}he {S}pecial {K}arlsruher {MPI}-{B}enchmark--{U}ser {M}anual},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner1999d.pdf},
  year = {1999}
}
@techreport{reussner2007a,
  author = {Reussner, Ralf H. and Becker, Steffen and Koziolek, Heiko and Happe, Jens and Kuperberg, Michael and Krogmann, Klaus},
  institution = {Universit{\"a}t Karlsruhe (TH)},
  isbn = {ISSN 1432-7864},
  note = {October 2007},
  number = {2007-21},
  series = {Interner Bericht},
  title = {{T}he {P}alladio {C}omponent {M}odel},
  type = {Interner Bericht},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner2007a.pdf},
  year = {2007}
}
@techreport{reussner2004b,
  author = {Reussner, Ralf H. and K{\"u}ster-Filipe, Juliana and Poernomo, Iman H. and Shukla, Sandeep},
  howpublished = {Newsletter of the European Association of Software Science and Technology (EASST)},
  title = {{R}eport on the {W}orkshop on {F}ormal {F}oundations of {E}mbedded {S}oftware and {C}omponent-based {S}oftware {A}rchitectures ({FESCA})},
  year = {2004}
}
@techreport{reussner2002b,
  author = {Reussner, Ralf H. and Poernomo, Iman H. and Grundy, John C.},
  title = {{P}roceedings of the {F}ourth {A}ustralasian {W}orkshop on {S}oftware and {S}ystems {A}rchitectures},
  year = {2002}
}
@techreport{schmidt2000a,
  author = {Schmidt, Heinz W. and Reussner, Ralf H.},
  institution = {School of Computer Science and Software Engineering, Monash University, Melbourne, Australia},
  note = {This report appeared simultaneously as Technical Report No. 2000/81 of the School of Computer Science and Software Engineering, Monash University, Melbourne, Australia},
  number = {25/2000},
  title = {{A}utomatic {C}omponent {A}daptation {B}y {C}oncurrent {S}tate {M}achine {R}etrofitting},
  year = {2000}
}
@techreport{weck2008a,
  abstract = {This report covers the twelfth Workshop on Component-Oriented Programming (WCOP). WCOP has been affiliated with ECOOP since its inception in 1996. The report summarizes the contributions made by authors of accepted position papers as well as those made by all attendees of the workshop sessions.},
  author = {Weck, Wolfgang and Reussner, Ralf H. and Szyperski, Clemens},
  doi = {10.1007/978-3-540-78195-0_12},
  institution = {University of Karlsruhe},
  isbn = {0302-9743},
  number = {Volume 4906/2008},
  series = {Object-Oriented Technology. ECOOP 2007 Workshop Reader},
  title = {{C}omponent-{O}riented {P}rogramming: {R}eport on the 12th {W}orkshop {WCOP} at {ECOOP} 2007},
  url = {http://www.springerlink.com/content/y078px241312v295/},
  year = {2008}
}
@techreport{hofmeister2006a,
  editor = {Hofmeister, Christine and Crnkovic, Ivica and Reussner, Ralf H. and Becker, Steffen},
  institution = {Universit{\"a}t Karlsruhe (TH)},
  key = {hofmeister2006a},
  number = {2006-10},
  title = {{Short Paper Proceedings of the Second International Conference on Quality of Software Architectures (QoSA2006), V{\"a}ster{\aa}s, Sweden, June 27 - 29, 2006, TR 2006-10, University of Karlsruhe (TH)}},
  type = {Technical Report},
  year = {2006}
}
@techreport{biczok2018a,
  author = {Biczok, Rudolf and Busch, Kiana and Heinrich, Robert and Reussner, Ralf},
  year = {2018},
  title = {An Industry 4.0 Case Study: The Integration of CoCoME and xPPU},
  institution = {{Karlsruhe Institute of Technology (KIT)}},
  issn = {2190-4782},
  series = {Karlsruhe Reports in Informatics},
  pagetotal = {43},
  language = {english},
  volume = {2018},
  number = {8},
  url = {http://dx.doi.org/10.5445/IR/1000084283}
}
@techreport{heinrich2015runtime,
  address = {Kiel, Germany},
  author = {Robert Heinrich and Eric Schmieders and Reiner Jung and Wilhelm Hasselbring and Andreas Metzger and Klaus Pohl and Ralf Reussner},
  institution = {Kiel University},
  month = {April},
  number = {No. 1593},
  pages = {1--41},
  publisher = {Department of Computer Science},
  title = {Run-time Architecture Models for Dynamic Adaptation and Evolution of Cloud Applications},
  url = {http://www.uni-kiel.de/journals/receive/jportal_jparticle_00000265},
  volume = {1593},
  year = {2015}
}
@techreport{hasselbring2013iobserve,
  address = {Kiel, Germany},
  author = {Wilhelm Hasselbring and Robert Heinrich and Reiner Jung and Andreas Metzger and Klaus Pohl and Ralf Reussner and Eric Schmieders},
  institution = {Kiel University},
  month = {October},
  number = {No. 1309},
  publisher = {Department of Computer Science},
  title = {i{O}bserve: Integrated Observation and Modeling Techniques to Support Adaptation and Evolution of Software Systems},
  url = {http://www.uni-kiel.de/journals/receive/jportal_jparticle_00000031},
  volume = {1309},
  year = {2013}
}
@techreport{heinrich2016d,
  author = {Robert Heinrich and Kiana Rostami and Ralf Reussner},
  institution = {Karlsruhe Institute of Technology},
  month = {February},
  number = {2016,2; Karlsruhe Reports in Informatics},
  publisher = {Karlsruhe Institute of Technology},
  title = {The {CoCoME} Platform for Collaborative Empirical Research on Information System Evolution},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000052688},
  issn = {2190-4782},
  year = {2016}
}
@techreport{sax2017survey,
  address = {Karlsruhe},
  author = {Sax, Eric and Reussner, Ralf and Guissouma, Houssemeddine and Klare, Heiko},
  institution = {Karlsruher Institut für Technologie (KIT)},
  issn = {2190-4782},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/sax2017survey.pdf},
  series = {Karlsruhe Reports in Informatics},
  title = {{A Survey on the State and Future of Automotive Software Release and Configuration Management}},
  keywords = {software over the air updates (SOTA), automotive, consistency checks, release management, variant management, multi-domain development},
  pagetotal = {19},
  language = {english},
  volume = {2017},
  number = {11},
  year = {2017},
  doi = {10.5445/IR/100007567},
  url = {http://dx.doi.org/10.5445/IR/1000075673},
  tags = {Vitruv}
}
@techreport{heinrich2018techreport,
  author = {Heinrich, Robert and Koch, Sandro and Reussner, Ralf},
  year = {2018},
  title = {The CoCoME Platform for Collaborative Empirical Research on Information System Evolution -- Evolution Scenarios in the Second Founding Period of SPP 1593},
  institution = {{Karlsruhe}},
  issn = {2190-4782},
  series = {Karlsruhe Reports in Informatics},
  pagetotal = {30},
  language = {english},
  volume = {2018},
  url = {http://dx.doi.org/10.5445/IR/1000085350},
  number = {10}
}
@techreport{strittmatter2018a,
  author = {Strittmatter, Misha and Heinrich, Robert and Reussner, Ralf},
  year = {2018},
  title = {Supplementary Material for the Evaluation of the Layered Reference Architecture for Metamodels to Tailor Quality Modeling and Analysis},
  institution = {{Karlsruhe Institute of Technology}},
  issn = {2190-4782},
  series = {Karlsruhe Reports in Informatics},
  pagetotal = {42},
  language = {english},
  url = {http://dx.doi.org/10.5445/IR/1000089243},
  volume = {2018},
  number = {11},
  tags = {nonrefereed}
}
@techreport{klare2020compatibilityreport,
  address = {Karlsruhe},
  author = {Klare, Heiko and Pepin, Aur{\'e}lien and Burger, Erik and Reussner, Ralf},
  institution = {Karlsruher Institut für Technologie (KIT)},
  issn = {2190-4782},
  pdf = {https://publikationen.bibliothek.kit.edu/1000121444/82899089},
  series = {Karlsruhe Reports in Informatics},
  title = {{A Formal Approach to Prove Compatibility in Transformation Networks}},
  keywords = {model consistency, model transformation, transformation networks, transformation decomposition, transformation compatibility},
  pagetotal = {40},
  language = {english},
  volume = {2020},
  number = {3},
  year = {2020},
  doi = {10.5445/IR/1000121444},
  url = {http://dx.doi.org/10.5445/IR/1000121444},
  tags = {Vitruv}
}
@techreport{reiche2021a,
  author = {Reiche, Frederik and Schiffl, Jonas and Weigl, Alexander and Heinrich, Robert and Beckert, Bernhard and Reussner, Ralf},
  year = {2021},
  title = {Model-driven Quantification of Correctness with Palladio and KeY},
  doi = {10.5445/IR/1000128855},
  institution = {{Karlsruher Institut f{\"{u}}r Technologie (KIT)}},
  keywords = {Quantification, Formal Methods, Palladio, Modelling},
  language = {english}
}
@techreport{reiche2021b,
  author = {Reiche, Frederik and Schiffl, Jonas and Beckert, Bernhard and Heinrich, Robert and Reussner, Ralf},
  year = {2021},
  title = {Modeling and Verifying Access Control for Ethereum Smart Contracts},
  doi = {10.5445/IR/1000129607},
  institution = {{Karlsruher Institut f{\"{u}}r Technologie (KIT)}},
  keywords = {Access Control, Smart Contracts, Model-driven Software Development, Architecture Modeling, Code Generation, Verification, Formal Methods},
  language = {english}
}