2016.bib
@inbook{avritzer2016a,
author = {Avritzer, Alberto and Happe, Lucia and Koziolek, Anne and Menasche, Daniel Sadoc and Suresh, Sindhu and Yallouz, Jose},
editor = {Fiondella, Lance and Puliafito, Antonio},
title = {Scalable Assessment and Optimization of Power Distribution Automation Networks},
booktitle = {Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi on his 70th Birthday},
year = {2016},
publisher = {Springer International Publishing},
address = {Cham, Switzerland},
pages = {321--340},
isbn = {978-3-319-30599-8},
doi = {10.1007/978-3-319-30599-8_12},
url = {http://dx.doi.org/10.1007/978-3-319-30599-8_12}
}
@inproceedings{burger2016a,
author = {Erik Burger and Oliver Schneider},
title = {{Translatability and Translation of Updated Views in ModelJoin}},
editor = {Pieter van Gorp and Gregor Engels},
booktitle = {Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016},
location = {Cham},
month = {July},
year = {2016},
publisher = {Springer International Publishing},
location = {Cham},
series = {Lecture Notes in Computer Science},
volume = {9765},
pages = {55--69},
isbn = {978-3-319-42064-6},
doi = {10.1007/978-3-319-42064-6_4},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/burger2016a.pdf},
tags = {Vitruv}
}
@inproceedings{ciavotta2016a,
author = {Ciavotta, Michele and Ardagna, Danilo and Koziolek, Anne},
title = {Palladio Optimization Suite: QoS Optimization for Component-based Cloud Applications},
booktitle = {Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools},
series = {VALUETOOLS'15},
year = {2016},
isbn = {978-1-63190-096-9},
location = {Berlin, Germany},
pages = {170--171},
numpages = {2},
url = {http://dx.doi.org/10.4108/eai.14-12-2015.2262562},
doi = {10.4108/eai.14-12-2015.2262562},
acmid = {2897434},
publisher = {ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)},
address = {ICST, Brussels, Belgium, Belgium},
keywords = {cloud, model-driven, optimization, qos},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/ciavotta2016a.pdf}
}
@inproceedings{hinkel2016a,
author = {Hinkel, Georg and Kramer, Max and Burger, Erik and Strittmatter, Misha and Happe, Lucia},
title = {{An Empirical Study on the Perception of Metamodel Quality}},
booktitle = {Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development},
abstract = {{Despite the crucial importance of metamodeling for Model- Driven Engineering (MDE), there is still little discussion about the quality of metamodel design and its consequences in model-driven development processes. Presumably, the quality of metamodel design strongly affects the models and transformations that conform to these metamodels. However, so far surprisingly few work has been done to validate the characterization of metamodel quality. A proper characterization is essential to automate quality improvements for metamodels such as metamodel refactorings. In this paper, we present an empirical study to sharpen the understanding of the perception of metamodel quality. In the study, 24 participants created metamodels of two different domains and evaluated the metamodels in a peer review process according to an evaluation sheet. The results show that the perceived quality was mainly driven by the metamodels completeness, correctness and modularity while other quality attributes could be neglected.}},
location = {Rome, Italy},
day = {19--21},
month = {February},
year = {2016},
tags = {refereed,conference},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2016a.pdf},
pages = {145-152},
isbn = {978-989-758-168-7},
url = {http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=9KRBAJDhYyc%3d}
}
@inproceedings{hinkel2016b,
author = {Hinkel, Georg and Goldschmidt, Thomas},
title = {{Tool Support for Model Transformations: On Solutions using Internal Languages}},
booktitle = {Modellierung 2016},
location = {Karlsruhe, Germany},
day = {2--4},
month = {March},
year = {2016},
tags = {refereed,conference,nmf},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2016b.pdf},
slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2016b_slides.pdf},
abstract = {{Model-driven engineering (MDE) has proven to be a useful approach to cope with todays ever growing complexity in the development of software systems, yet it is not widely applied in industry. As suggested by multiple studies, tool support is a major factor for this lack of adoption. Existing tools for MDE, in particular model transformation approaches, are often developed by small teams and cannot keep up with advanced tool support for mainstream languages such as provided by IntelliJ or Visual Studio. In this paper, we propose an approach to leverage existing tool support for model transformation using internal model transformation languages and investigate design decisions and their consequences for inherited tool support. The findings are used for the design of an internal model transformation language on the .NET platform.}}
}
@inproceedings{hinkel2016c,
abstract = {{Model-driven engineering (MDE) has been successfully adopted in domains such as automation or embedded systems. However, in many other domains, MDE is rarely applied. In this paper, we describe our experiences of applying MDE techniques in the domain of neurorobotics -- a combination of neuroscience and robotics, studying the embodiment of autonomous neural systems. In particular, we participated in the development of the Neurorobotics Platform (NRP) -- an online platform for describing and running neurorobotic experiments by coupling brain and robot simulations. We explain why MDE was chosen and discuss conceptual and technical challenges, such as inconsistent understanding of models, focus of the development and platform-barriers.}},
author = {Hinkel, Georg and Denninger, Oliver and Krach, Sebastian and Groenda, Henning},
editor = {W{\k{a}}sowski, Andrzej and L{\"o}nn, Henrik},
title = {Experiences with Model-Driven Engineering in Neurorobotics},
booktitle = {Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings},
year = {2016},
publisher = {Springer International Publishing},
address = {Cham},
pages = {217--228},
isbn = {978-3-319-42061-5},
doi = {10.1007/978-3-319-42061-5_14},
url = {http://dx.doi.org/10.1007/978-3-319-42061-5_14},
tags = {refereed,conference},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2016c.pdf}
}
@techreport{hinkel2016d,
author = {Hinkel, Georg},
title = {{NMF: A Modeling Framework for the .NET Platform}},
series = {Karlsruhe Reports in Informatics},
address = {Karlsruhe},
publisher = {Karlsruhe Institute of Technology, Department of Informatics},
institution = {Karlsruhe Institute of Technology},
year = {2016},
volume = {9},
tags = {nmf},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2016d.pdf},
url = {http://nbn-resolving.org/urn:nbn:de:swb:90-537082},
issn = {2190-4782}
}
@inproceedings{ambrosano2016a,
title = {Retina Color-Opponency Based Pursuit Implemented Through Spiking Neural Networks in the Neurorobotics Platform},
author = {Ambrosano, Alessandro and Vannucci, Lorenzo and Albanese, Ugo and Kirtay, Murat and Falotico, Egidio and Hinkel, Georg and Kaiser, Jacques and Ulbrich, Stefan and Levi, Paul and Morillas, Christian and others},
booktitle = {Conference on Biomimetic and Biohybrid Systems},
tags = {refereed,conference},
pages = {16--27},
year = {2016},
organization = {Springer}
}
@techreport{hinkel2016e,
author = {Hinkel, Georg},
title = {{Deep Modeling through Structural Decomposition}},
series = {Karlsruhe Reports in Informatics},
address = {Karlsruhe},
publisher = {Karlsruhe Institute of Technology, Department of Informatics},
institution = {Karlsruhe Institute of Technology},
year = {2016},
volume = {11},
tags = {nmf},
url = {http://nbn-resolving.org/urn:nbn:de:swb:90-576330},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2016e.pdf},
issn = {2190-4782}
}
@article{hinkel2016f,
abstract = {{Bio-inspired robots still rely on classic robot control although advances in neurophysiology allow adaptation to control as well. However, the connection of a robot to spiking neuronal networks needs adjustments for each purpose and requires frequent adaptation during an iterative development. Existing approaches cannot bridge the gap between robotics and neuroscience or do not account for frequent adaptations. The contribution of this paper is an architecture and domain-specific language (DSL) for connecting robots to spiking neuronal networks for iterative testing in simulations, allowing neuroscientists to abstract from implementation details. The framework is implemented in a web-based platform. We validate the applicability of our approach with a case study based on image processing for controlling a four-wheeled robot in an experiment setting inspired by Braitenberg vehicles.}},
author = {Hinkel, Georg and Groenda, Henning and Krach, Sebastian and Vannucci, Lorenzo and Denninger, Oliver and Cauli, Nino and Ulbrich, Stefan and Roennau, Arne and Falotico, Egidio and Gewaltig, Marc-Oliver and Knoll, Alois and Dillmann, R\"udiger and Laschi, Cecilia and Reussner, Ralf},
issn = {0921-0296},
journal = {Journal of Intelligent \& Robotics Systems},
title = {{A Framework for Coupled Simulations of Robots and Spiking Neuronal Networks}},
publisher = {Springer},
year = {2016},
tags = {refereed},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2016f.pdf}
}
@inproceedings{hinkel2016g,
abstract = {{This paper presents a solution to the Class Responsibility Assignment (CRA) case at the Transformation Tool Contest (TTC) 2016 using the .NET Modeling Framework (NMF). The goal of this case was to find a class model with high cohesion but low coupling for a given set of attributes and methods with data dependencies and functional dependencies. The degree in which a given class model fulfills these properties is measured through the CRA-Index. We propose a generalpurpose code solution and discuss how this solution can benefit from incrementality. In particular, we show what steps are necessary to create an incremental solution using NMF Expressions and discuss its performance.}},
author = {Hinkel, Georg},
booktitle = {{Proceedings of the 9th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences}},
location = {Vienna, Austria},
month = {July},
day = {8},
editor = {Antonio Garcia-Dominguez and Filip Krikava and Louis Rose},
issn = {1613-0073},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
title = {{An NMF solution to the Class Responsibility Assignment Case}},
tags = {refereed,workshop,nmf},
year = {2016},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2016g.pdf}
}
@article{koziolek2016a,
title = {Assessing survivability to support power grid investment decisions},
journal = {Reliability Engineering & System Safety},
volume = {155},
number = {},
pages = {30 - 43},
year = {2016},
note = {},
issn = {0951-8320},
doi = {http://dx.doi.org/10.1016/j.ress.2016.05.015},
url = {http://www.sciencedirect.com/science/article/pii/S095183201630076X},
author = {Anne Koziolek and Alberto Avritzer and Sindhu Suresh and Daniel S. Menasché and Morganna Diniz and Edmundo de Souza e Silva and Rosa M. Leão and Kishor Trivedi and Lucia Happe},
keywords = {Survivability},
keywords = {Survivability},
keywords = {Survivability},
keywords = {Survivability},
keywords = {Survivability},
abstract = {Abstract The reliability of power grids has been subject of study for the past few decades. Traditionally, detailed models are used to assess how the system behaves after failures. Such models, based on power flow analysis and detailed simulations, yield accurate characterizations of the system under study. However, they fall short on scalability. In this paper, we propose an efficient and scalable approach to assess the survivability of power systems. Our approach takes into account the phased-recovery of the system after a failure occurs. The proposed phased-recovery model yields metrics such as the expected accumulated energy not supplied between failure and full recovery. Leveraging the predictive power of the model, we use it as part of an optimization framework to assist in investment decisions. Given a budget and an initial circuit to be upgraded, we propose heuristics to sample the solution space in a principled way accounting for survivability-related metrics. We have evaluated the feasibility of this approach by applying it to the design of a benchmark distribution automation circuit. Our empirical results indicate that the combination of survivability and power flow analysis can provide meaningful investment decision support for power systems engineers.},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/koziolek2016a.pdf},
tags = {peer-reviewed}
}
@inproceedings{kramer2016a,
author = {Max E. Kramer and Kirill Rakhman},
title = {Automated Inversion of Attribute Mappings in Bidirectional Model Transformations},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations (Bx 2016)},
editor = {Anthony Anjorin and Jeremy Gibbons},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
pages = {61--76},
location = {Eindhoven, The Netherlands},
pdf = {http://ceur-ws.org/Vol-1571/paper_4.pdf},
volume = {1571},
year = {2016},
url = {http://nbn-resolving.org/urn:nbn:de:0074-1571-4},
issn = {1613-0073},
tags = {Vitruv, workshop}
}
@techreport{kramer2016b,
address = {Karlsruhe},
author = {Max E. Kramer and Kirill Rakhman},
institution = {Karlsruhe Institute of Technology, Department of Informatics},
issn = {2190-4782},
pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000052702},
series = {Karlsruhe Reports in Informatics},
title = {Proofs for the Automated Inversion of Attribute Mappings in Bidirectional Model Transformations},
url = {http://nbn-resolving.org/urn:nbn:de:swb:90-527025},
volume = {2016-3},
year = {2016},
doi = {10.5445/IR/1000052702},
tags = {Vitruv}
}
@inproceedings{fiss2016a,
author = {Sebastian Fiss and Max E. Kramer and Michael Langhammer},
title = {Automatically Binding Variables of Invariants to Violating Elements in an OCL-Aligned XBase-Language},
booktitle = {Proceedings of Modellierung 2016},
pdf = {http://subs.emis.de/LNI/Proceedings/Proceedings254/189.pdf},
year = {2016},
series = {Lecture Notes in Informatics (LNI)},
isbn = {978-3-88579-648-0},
issn = {1617-5468},
editor = {Andreas Oberweis and Ralf Reussner},
volume = {P-254},
publisher = {Gesellschaft f\"{u}r Informatik e.V.\ (GI)},
address = {Bonn, Germany},
pages = {189--204},
abstract = {Constraints that have to hold for all models of a modeling language are often specified as invariants using the Object Constraint Language (OCL). If violations of such invariants shall be documented or resolved in a software system, the exact model elements that violate these conditions have to be computed. OCL validation engines provide, however, only a single context element at which a check for a violated invariant originated. Therefore, the computation of elements that caused an invariant violation is often specified in addition to the invariant declaration with redundant information. These redundancies can make it hard to develop and maintain systems that document or resolve invariant violations. In this paper, we present an automated approach and tool for declaring and binding parameters of invariants to violating elements based on boolean invariant expressions that are similar to OCL invariants. The tool computes a transformed invariant that returns violating elements for each iterator variable of the invariant expression that matches an explicitly declared invariant parameter. The approach can be used for OCL invariants and all models of languages conforming to the Meta-Object Facility (MOF) standard. We have evaluated our invariant language and transformation tool by transforming 88 invariants of the Unified Modeling Language (UML).},
tags = {Vitruv,conference}
}
@book{krishnamurthy2016a,
editor = {Diwakar Krishnamurthy and Anne Koziolek and Nidhi Hegde},
title = {SIGMETRICS Performance Evaluation Review, Special Issue on Challenges in Software Performance},
year = {2016},
issn = {0163-5999},
volume = {43(4)},
number = {4},
issue_date = {March 2016},
month = {March},
publisher = {ACM},
address = {New York, NY, USA},
url = {http://dl.acm.org/citation.cfm?id=2897356}
}
@book{reussner2016a,
author = {Reussner, Ralf H. and Becker, Steffen and Happe, Jens and Heinrich, Robert and Koziolek, Anne and Koziolek, Heiko and Kramer, Max and Krogmann, Klaus},
title = {Modeling and Simulating Software Architectures -- The Palladio Approach},
publisher = {MIT Press},
month = {October},
year = {2016},
address = {Cambridge, MA},
isbn = {9780262034760},
pagetotal = {408},
abstract = {Too often, software designers lack an understanding of the effect of design decisions on such quality attributes as performance and reliability. This necessitates costly trial-and-error testing cycles, delaying or complicating rollout. This book presents a new, quantitative architecture simulation approach to software design, which allows software engineers to model quality of service in early design stages. It presents the first simulator for software architectures, Palladio, and shows students and professionals how to model reusable, parametrized components and configured, deployed systems in order to analyze service attributes. The text details the key concepts of Palladio's domain-specific modeling language for software architecture quality and presents the corresponding development stage. It describes how quality information can be used to calibrate architecture models from which detailed simulation models are automatically derived for quality predictions. Readers will learn how to approach systematically questions about scalability, hardware resources, and efficiency. The text features a running example to illustrate tasks and methods as well as three case studies from industry. Each chapter ends with exercises, suggestions for further reading, and "takeaways" that summarize the key points of the chapter. The simulator can be downloaded from a companion website, which offers additional material. The book can be used in graduate courses on software architecture, quality engineering, or performance engineering. It will also be an essential resource for software architects and software engineers and for practitioners who want to apply Palladio in industrial settings.},
url = {http://mitpress.mit.edu/books/modeling-and-simulating-software-architectures},
tags = {book}
}
@inproceedings{seifermann2016a,
author = {Seifermann, Stephan and Groenda, Henning},
booktitle = {Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016)},
title = {Survey on Textual Notations for the Unified Modeling Language},
year = {2016},
pages = {28-39},
publisher = {SciTePress},
pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2016a.pdf}
}
@article{heinrich2016b,
author = {Heinrich, Robert},
journal = {ACM SIGMETRICS Performance Evaluation Review},
title = {Architectural Run-time Models for Performance and Privacy Analysis in Dynamic Cloud Applications},
issue_date = {March 2016},
volume = {43},
number = {4},
year = {2016},
issn = {0163-5999},
pages = {13--22},
numpages = {10},
url = {http://doi.acm.org/10.1145/2897356.2897359},
doi = {10.1145/2897356.2897359},
acmid = {2897359},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Architectural Run-time Model, Palladio Component Model, Performance Model, Privacy, Usage Profile}
}
@inproceedings{seifermann2016b,
author = {Seifermann, Stephan and Taspolatoglu, Emre and Heinrich, Robert and Reussner, Ralf},
series = {Softwaretechnik-Trends Band 36 Heft 1},
booktitle = {3rd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems},
title = {Challenges in Secure Software Evolution - The Role of Software Architecture},
year = {2016},
pages = {8--11},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2016b.pdf}
}
@techreport{strittmatter2016a,
title = {The Media Store 3 Case Study System},
author = {Strittmatter, Misha and Kechaou, Amine},
institution = {Faculty of Informatics, Karlsruhe Institute of Technology},
year = {2016},
month = {February},
series = {Karlsruhe Reports in Informatics},
number = {2016,1},
issn = {2190-4782},
urn = {urn:nbn:de:swb:90-521979},
url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/3792054},
tags = {nonrefereed}
}
@inproceedings{busch2016a,
author = {Busch, Axel and Koziolek, Anne},
booktitle = {Proceedings of the 12th International ACM SIGSOFT Conference on the Quality of Software Architectures},
location = {Venice, Italy},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/busch2016a.pdf},
publisher = {IEEE},
pages = {50--59},
series = {QoSA'16},
doi = {10.1109/QoSA.2016.10},
tags = {refereed},
title = {{Considering Not-quantified Quality Attributes in an Automated Design Space Exploration}},
year = {2016},
abstract = {In a software design process, the quality of the resulting software system is highly driven by the quality of its software architecture. In such a process trade-off decisions must be made between multiple quality attributes, such as performance or security, that are often competing. Several approaches exist to improve software architectures either quantitatively or qualitatively. The first group of approaches requires to quantify each single quality attribute to be considered in the design process, while the latter group of approaches are often fully manual processes. However, time and cost constraints often make it impossible to either quantify all relevant quality attributes or manually evaluate candidate architectures. Our approach to the problem is to quantify several most important quality requirements, combine them with several not-quantified quality attributes and use them together in an automated design space exploration process. As our basis, we used the PerOpteryx design space exploration approach, which requires quantified measures for its optimization engine, and extended it in order to combine them with not-quantified quality attributes. By this, our approach allows optimizing the design space by considering even quality attributes that can not be quantified due to cost constraints or lack of quantification methodologies. We applied our approach to two case studies to demonstrate its benefits. We showed how performance can be balanced against not-quantified quality attributes, such as security, using an example derived from an industry case study.}
}
@inproceedings{stier2016a,
author = {Stier, Christian and Koziolek, Anne},
booktitle = {2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)},
location = {Venice, Italy},
publisher = {ACM},
series = {QoSA'16},
tags = {refereed},
title = {{Considering Transient Effects of Self-Adaptations in Model-Driven Performance Analyses}},
year = {2016},
doi = {10.1109/QoSA.2016.14},
pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/stier2016a.pdf},
abstract = {Model-driven performance engineering allows software architects to reason on performance characteristics of a software system in early design phases. In recent years, model-driven analysis techniques have been developed to evaluate performance characteristics of self-adaptive software systems. These techniques aim to reason on the ability of a self-adaptive software system to fulfill performance requirements in transient phases. A transient phase is the interval in which the behavior of the system changes, e.g., due to a burst in user requests. However, the effectiveness and efficiency with which a system is able to adapt depends not only on the time when it triggers adaptation actions but also on the time at which they are completed. Executing an adaptation action can cause additional stress on the adapted system. This can further impede the performance of the system in the transient phase. Model-driven analyses of self-adaptive software do not consider these transient effects. This paper outlines an approach for evaluating transient effects in model-driven analyses of self-adaptive software systems. The evaluation applied our approach to a horizontally scaling media hosting application in three experiments. By considering the delay in booting new Virtual Machines (VMs), we were able to improve the accuracy of predicted response times. The second and third experiment demonstrated that the increased accuracy enables an early detection and resolution of design deficiencies of self-adaptive software systems.}
}
@inproceedings{stier2016b,
author = {Stier, Christian and Groenda, Henning},
booktitle = {Proceedings of the Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems 2016 (MSCIAAS 2016) and Space Simulation for Planetary Space Exploration (SPACE 2016)},
series = {MSCIAAS},
isbn = {978-1-5108-2319-8},
location = {Pasadena, CA, USA},
publisher = {Society for Computer Simulation International},
series = {MSCIAAS},
pages = {2:1--2:8},
articleno = {2},
numpages = {8},
url = {http://dl.acm.org/citation.cfm?id=2962664.2962666},
title = {{Ensuring Model Continuity when Simulating Self-Adaptive Software Systems}},
year = {2016},
abstract = {Self-adaptivity in software systems aims to balance the use of costly resources, i.e. of servers and energy, under given constraints such as Quality of Service (QoS) requirements. Simulation does not require risky testing in running systems and has less assumptions and limitations than formal verification when evaluating the effect of self-adaptation mechanisms. Existing simulation frameworks for analyzing self-adaptive software systems require re-implementing algorithms to conform to the abstraction and interfaces of the simulation framework. We present an approach for coupling simulation-based analyses of self-adaptive software systems with self-adaptation mechanisms that eliminates the need to re-implement the mechanisms and ensures model continuity. The evaluation demonstrates the low complexity required when our approach is used to ensure model continuity between simulation and self-adaptation framework. It presents the results of two experiments we performed after coupling the SimuLizar simulation framework and the CACTOS runtime management framework for Cloud platforms. With this coupling, Cloud data center operators benefit from what-if-analyses of self-adaptation mechanisms and software engineers can optimize the QoS of systems on the drawing board without acquiring deep knowledge of simulation internals.}
}
@article{budde2016a,
title = {{Praxis der Forschung -- Eine Lehrveranstaltung des forschungsnahen Lehrens und Lernens in der Informatik am KIT}},
author = {Budde, Matthias and Grebing, Sarah and Burger, Erik and Kramer, Max E. and Beckert, Bernhard and Beigl, Michael and Reussner, Ralf},
editors = {Berendt, Brigitte and Fleischmann, Andreas and Schaper, Niclas and Szczyrba, Birgit and Wildt, Johannes},
publisher = {DUZ Verlags- und Medienhaus GmbH},
journal = {Neues Handbuch Hochschullehre},
number = {A 3.19},
volume = {74},
abstract = {Der neue Lehrveranstaltungstyp Praxis der Forschung wurde 2012 im Master-Studiengang Informatik des Karlsruher Instituts f{\"u}r Technologie (KIT) eingef{\"u}hrt. Zentrales Konzept dieser Veranstaltung ist das forschungsnahe Lehren und Lernen: Studierende erwerben im Rahmen eines eigenen Forschungsprojekts sowohl Fachwissen als auch methodische Kompetenz zu wissenschaftlicher Arbeit. Die konkrete Ausgestaltung folgt den Grunds{\"a}tzen der Forschungsn{\"a}he und der integrierten Vermittlung methodischer Kompetenzen. Die Studierenden sollen insbesondere auch erfahren, dass es ein wesentlicher Aspekt der wissenschaftlichen Arbeit ist, Forschungsergebnisse sicht- und wahrnehmbar zu machen.},
year = {2016},
tags = {education}
}
@inproceedings{strittmatter2016b,
author = {Strittmatter, Misha and Heinrich, Robert},
series = {Softwaretechnik-Trends},
booktitle = {3rd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems},
title = {Challenges in the Evolution of Metamodels},
year = {2016},
pages = {12--15},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/strittmatter2016b.pdf},
slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/strittmatter2016b_slides.pdf},
tags = {refereed},
volume = {36(1)}
}
@inproceedings{heinrich2016c,
author = {Robert Heinrich and Philipp Merkle and J{\"{o}}rg Hen{\ss} and Barbara Paech},
title = {Integrated Performance Simulation of Business Processes and Information Systems},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik},
pages = {51--52},
year = {2016},
url = {http://subs.emis.de/LNI/Proceedings/Proceedings252/article10.html},
pdf = {http://subs.emis.de/LNI/Proceedings/Proceedings252/51.pdf}
}
@proceedings{heinrich_mod_stud,
editor = {Robert Heinrich and Rainer Neumann},
publisher = {Karlsruhe Institute of Technology, Faculty of Informatics},
series = {Karlsruhe Reports in Informatics},
title = {Studierendenprogramm der Fachtagung „Modellierung 2016“},
urn = {urn:nbn:de:swb:90-529474},
issn = {2190-4782},
doi = {10.5445/IR/1000052947},
pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/3806624},
volume = {2016,6},
year = {2016}
}
@inproceedings{seifermann2016c,
author = {Seifermann, Stephan},
booktitle = {Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture},
location = {Venice, Italy},
pages = {270-271},
publisher = {IEEE},
series = {WICSA'16},
title = {Architectural Data Flow Analysis},
url = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2016c.pdf},
year = {2016},
doi = {10.1109/WICSA.2016.49}
}
@inproceedings{taspolatoglu2016a,
author = {Emre Taspolatoglu and Robert Heinrich},
booktitle = {Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture},
location = {Venice, Italy},
pages = {281-282},
publisher = {IEEE},
series = {WICSA'16},
title = {Context-based Architectural Security Analysis},
year = {2016}
}
@inproceedings{ananieva2016b,
author = {Sofia Ananieva and Matthias Kowal and Thomas Th{\"u}m and Ina Schaefer},
booktitle = {7th International Workshop on Feature-Oriented Software Development (FOSD)},
series = {FOSD '16},
title = {{Implicit Constraints in Partial Feature Models}},
year = {2016},
month = {October},
location = {Amsterdam, Netherlands},
pages = {18--27},
doi = {10.1145/3001867.3001870},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/ananieva2016b.pdf}
}
@inproceedings{kowal2016b,
author = {Matthias Kowal and Sofia Ananieva and Thomas Th{\"u}m},
booktitle = {15th International Conference on Generative Programming: Concepts \& Experiences (GPCE)},
series = {GPCE '16},
title = {{Explaining Anomalies in Feature Models}},
year = {2016},
month = {October},
location = {Amsterdam, Netherlands},
pages = {132--143},
doi = {10.1145/2993236.2993248},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kowal2016b.pdf}
}
@techreport{kowal2016a,
author = {Matthias Kowal and Sofia Ananieva and Thomas Th{\"u}m},
institution = {Braunschweig University of Technology},
title = {{Explaining Anomalies in Feature Models}},
year = {2016},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kowal2016a.pdf}
}
@inproceedings{klare2016a,
author = {Heiko Klare and Michael Langhammer and Max E. Kramer},
booktitle = {Proceedings of the 4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO 2016)},
title = {{Projecting UML Class Diagrams from Java Code Models}},
year = {2016},
month = {March},
location = {Karlsruhe, Germany},
url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000053686},
pages = {11--18},
institution = {Karlsruhe Institute of Technology},
issn = {2190-4782},
doi = {10.5445/IR/1000053686},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klare2016a.pdf},
tags = {Vitruv}
}
@inproceedings{langhammer2016a,
author = {Michael Langhammer and Arman Shahbazian and Nenad Medvidovic and Ralf H. Reussner},
booktitle = {2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA)},
title = {Automated Extraction of Rich Software Models from Limited System Information},
year = {2016},
pages = {99-108},
keywords = {Analytical models;Calculators;Computer architecture;Phase change materials;Predictive models;Software;Unified modeling language},
doi = {10.1109/WICSA.2016.35},
month = {April}
}
@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}
}
@inproceedings{vogel-heuser2016a,
author = {Birgit Vogel-Heuser and Thomas Simon and Jens Folmer and Robert Heinrich and Kiana Rostami and Ralf H. Reussner},
booktitle = {2016 IEEE 14th International Conference on Industrial Informatics (INDIN)},
title = {Towards a common classification of changes for information and automated production systems as precondition for maintenance effort estimation},
year = {2016},
pages = {166-172},
tags = {refereed},
doi = {10.1109/INDIN.2016.7819152}
}
@inproceedings{jung2016a,
author = {Reiner Jung and Robert Heinrich and Wilhelm Hasselbring},
title = {{GECO}: A Generator Composition Approach for Aspect-Oriented DSLs},
booktitle = {Theory and Practice of Model Transformations: 9th International Conference on Model Transformation, ICMT 2016},
year = {2016},
publisher = {Springer International Publishing},
pages = {141--156},
isbn = {978-3-319-42064-6},
doi = {10.1007/978-3-319-42064-6_10}
}
@inproceedings{busch2016b,
author = {Axel Busch and Qais Noorshams and Samuel Kounev and Anne Koziolek and Ralf Reussner and Erich Amrehn},
title = {Automated Workload Characterization for I/O Performance Analysis in Virtualized Environments},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik},
pages = {27--28},
year = {2016},
url = {http://subs.emis.de/LNI/Proceedings/Proceedings252/article48.html},
pdf = {http://subs.emis.de/LNI/Proceedings/Proceedings252/27.pdf}
}
@inproceedings{petrausch2016a,
author = {Petrausch, Vanessa and Seifermann, Stephan and Karin M{\"u}ller},
booktitle = {Proceedings of the 15th International Conference on Computers Helping People with Special Needs (ICCHP)},
editor = {Miesenberger, Klaus and B{\"u}hler, Christian and Penaz, Petr},
location = {Linz, Austria},
pages = {67--74},
publisher = {Springer-Verlag Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
title = {Guidelines for Accessible Textual UML Modeling Notations},
year = {2016},
doi = {10.1007/978-3-319-41264-1_9},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/petrausch2016a.pdf}
}
@inproceedings{heinrich2016e,
title = {Architectural Run-time Models to Facilitate Quality-aware DevOps},
author = {Heinrich, Robert},
booktitle = {Proceedings of the 18. Workshop Software-Reengineering \& Evolution and Workshop Design For Future},
number = {2},
pages = {8--9},
year = {2016}
}
@mastersthesis{yurchenko2016a,
title = {Enhancing Privacy and Functionality in a Distributed Secure Database Outsourcing Scheme},
author = {Yurchenko, Kateryna},
year = {2016},
school = {Karlsruhe Institute of Technology (KIT)}
}
@mastersthesis{klare2016b,
title = {{Designing a Change-Driven Language for Model Consistency Repair Routines}},
author = {Klare, Heiko},
school = {Karlsruhe Institute of Technology (KIT)},
address = {Karlsruhe},
year = {2016},
type = {Master's Thesis},
doi = {10.5445/IR/1000080138},
url = {http://dx.doi.org/10.5445/IR/1000080138},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klare2016b.pdf},
tags = {Vitruv}
}
@mastersthesis{ananieva2016a,
author = {Ananieva, Sofia},
school = {Braunschweig University of Technology},
title = {{Explaining Defects and Identifying Dependencies in Interrelated Feature Models}},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/ananieva2016a.pdf},
year = {2016}
}
@mastersthesis{werle2016a,
author = {Werle, Dominik},
school = {Karlsruhe Institute of Technology (KIT)},
title = {{A Declarative Language for Bidirectional Model Consistency}},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/werle2016a.pdf},
year = {2016}
}
@inproceedings{strittmatter2016c,
author = {Strittmatter, Misha and Heinrich, Robert},
booktitle = {13th Working IEEE/IFIP Conference on Software Architecture},
title = {A Reference Structure for Metamodels of Quality-Aware Domain-Specific Languages},
year = {2016},
pages = {268-269},
doi = {10.1109/WICSA.2016.51},
month = {April},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7516841},
slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/strittmatter2016c_slides.pdf},
tags = {refereed}
}
@inproceedings{burger2016b,
author = {Erik Burger and Victoria Mittelbach and Anne Koziolek},
title = {View-based and Model-driven Outage Management for the Smart Grid},
booktitle = {Proceedings of the 11th Workshop on Models@run.time co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)},
location = {Saint Malo, France},
month = {October},
year = {2016},
url = {http://ceur-ws.org/Vol-1742},
publisher = {CEUR Workshop Proceedings},
urn = {nbn:de:0074-1742-3},
pdf = {http://ceur-ws.org/Vol-1742/MRT16_paper_1.pdf},
tags = {Vitruv}
}
@inproceedings{kramer2016c,
author = {Max E. Kramer and Georg Hinkel and Heiko Klare and Michael Langhammer and Erik Burger},
title = {A Controlled Experiment Template for Evaluating the Understandability of Model Transformation Languages},
booktitle = {Proceedings of the Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)},
location = {Saint Malo, France},
month = {October},
year = {2016},
volume = {1805},
pages = {11--18},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
pdf = {http://ceur-ws.org/Vol-1805/Kramer2016HuFaMo.pdf},
url = {https://publikationen.bibliothek.kit.edu/1000069163},
issn = {1613-0073},
tags = {Vitruv, workshop}
}
@inproceedings{strittmatter2016d,
title = {Challenges in the Evolution of Metamodels: Smells and Anti-Patterns of a Historically-Grown Metamodel},
author = {Misha Strittmatter and Georg Hinkel and Michael Langhammer and Reiner Jung and Robert Heinrich},
booktitle = {10th International Workshop on Models and Evolution (ME)},
location = {Saint Malo, France},
publisher = {CEUR Vol-1706},
year = {2016},
month = {October},
tags = {refereed,workshop},
url = {http://ceur-ws.org/Vol-1706/},
pdf = {http://ceur-ws.org/Vol-1706/paper5.pdf},
slides = {http://www.models-and-evolution.com/2016/presentations/paper5.pdf}
}
@incollection{heinrich2016f,
title = {Performance Modeling in the Age of Big Data: Some Reflections on Current Limitations},
author = {Robert Heinrich and Holger Eichelberger and Klaus Schmid},
booktitle = {3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering},
location = {Saint Malo, France},
publisher = {CEUR Vol-1723},
url = {http://ceur-ws.org/Vol-1723},
pdf = {http://ceur-ws.org/Vol-1723/6.pdf},
year = {2016},
month = {October},
tags = {refereed}
}
@inproceedings{busch2016d,
author = {Axel Busch and Yves Schneider and Anne Koziolek and Kiana Rostami and J\"{o}rg Kienzle},
booktitle = {Proceedings of the 2nd Workshop on Cloud Security and Data Privacy by Design co-located with the 8th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2016)},
location = {Luxembourg},
publisher = {IEEE},
series = {CloudSPD'16},
tags = {refereed},
title = {{Modelling the Structure of Reusable Solutions for Architecture-based Quality Evaluation}},
doi = {10.1109/CloudCom.2016.0091},
url = {http://ieeexplore.ieee.org/document/7830732/},
pages = {521--526},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/busch2016d.pdf},
year = {2016},
abstract = {When designing cloud applications many decisions must be made like the selection of the right set of software components. Often, there are several third-party implementations on the market from which software architects have the choice between several solutions that are functionally very similar. Even though they are comparable in functionality, the solutions differ in their quality attributes, and in their software architecture. This diversity hinders automated decision support in model-driven engineering approaches, since current state-of-the-art approaches for automated quality estimation often rely on similar architecture to compare several solutions. In this paper, we address this problem by contributing with a metamodel that unifies the architecture of several functional similar solutions, and describes the different solutions' architectural degrees of freedom. Such a model can later be used to extend the process of reuse from reusing libraries to reusing the corresponding models of these libraries with the lasting benefit of automated decision support at design-time that supports decisions when deploying applications into the cloud. Finally, we apply our approach on two intrusion detection systems.}
}
@inproceedings{strittmatter2016e,
author = {Misha Strittmatter and Michael Junker and Kiana Rostami and Sebastian Lehrig and Amine Kechaou and Bo Liu and Robert Heinrich},
booktitle = {Symposium on Software Performance (SSP)},
title = {Extensible Graphical Editors for Palladio},
year = {2016},
month = {November},
tags = {refereed},
pdf = {http://sdqweb.ipd.kit.edu/typo3/sdq/fileadmin/user_upload/palladio-conference/2016/papers/Extensible_Graphical_Editors_for_Palladio.pdf},
slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/strittmatter2016e_slides.pdf}
}
@inproceedings{MBKR16,
author = {Lukas M{\"{a}}rtin and Hauke Baller and Anne Koziolek and Ralf H. Reussner},
title = {Fault-aware Pareto Frontier Exploration for Dependable System Architectures},
booktitle = {Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp) @ MoDELS 2016},
year = {2016},
url = {http://ceur-ws.org/Vol-1723/},
pdf = {http://ceur-ws.org/Vol-1723/4.pdf}
}
@inproceedings{kienzle2016a,
author = {J\"{o}rg Kienzle and Anne Koziolek and Axel Busch and Ralf Reussner},
title = {Towards Concern-Oriented Design of Component-Based Systems},
booktitle = {3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering},
location = {Saint Malo, France},
publisher = {CEUR},
year = {2016},
month = {October},
tags = {refereed},
url = {http://ceur-ws.org/Vol-1723/},
pdf = {http://ceur-ws.org/Vol-1723/5.pdf},
abstract = {Component-based software engineering (CBSE) is a modern way of developing software that is based on defining, implementing and composing loosely coupled, independent components, thus increasing modularity, analysability, separation of concerns and reuse. However, separation of concerns is sometimes difficult to achieve in CBSE, as some concerns might crosscut several components. Furthermore, reuse of components is sometimes limited, in particular because component developers make certain implementation choices that are incompatible with the non-functional requirements of the application that is being built. In this paper we outline how to integrate CBSE and concern-oriented reuse (CORE), a novel reuse paradigm that extends Model-Driven Engineering (MDE) with best practices from aspect-oriented software composition and Software Product Lines (SPL). Concretely, we outline how to combine the Palladio Component Model (PCM) capable of expressing complex software architectures with CORE class and sequence diagrams for low-level design. As a result, multiple solutions for addressing concerns that might even crosscut component boundaries can be modularized in a reusable way, and integrated with applications that reuse them using aspect-oriented techniques. Additionally, thanks to CORE, component developers can avoid premature decision making when reusing existing libraries during implementation.}
}
@incollection{saglam2016a,
author = {Sa{\u{g}}lam, Timur},
booktitle = {Pr{\"a}mierte Proseminar- und Seminar-Ausarbeitungen am Lehrstuhl Software-Design und -Qualit{\"a}t},
title = {Deadly Round-Off Error -- Failure of the Patriot System in Dhahran 1991},
year = {2016},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/saglam2016a.pdf},
volume = {1},
tags = {seminar,Saglam},
note = {to appear}
}
@inproceedings{seifermann2016d,
author = {Stephan Seifermann and Kateryna Yurchenko and Max E. Kramer},
booktitle = {Symposium on Software Performance (SSP)},
title = {Challenges to Trading-Off Performance and Privacy of Component-Based Systems},
year = {2016},
tags = {refereed,workshop},
publisher = {Gesellschaft f{\"u}r Informatik e.V.\ (GI)},
series = {Software{\-}technik-Trends},
volume = {36(4)},
issn = {0720-8928},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2016d.pdf}
}
@inproceedings{krach2016b,
author = {Sebastian Krach and Christian Stier and Athanasios Tsitsipas},
series = {Softwaretechnik-Trends},
booktitle = {Proceedings of the Symposium on Software Performance (SSP) 2016},
title = {{Modeling IaaS Usage Patterns for the Analysis of Cloud Optimization Policies}},
publisher = {Gesellschaft f{\"u}r Informatik e.V.\ (GI)},
year = {2016},
month = {November},
tags = {refereed,workshop},
volume = {36(4)},
issn = {0720-8928},
pdf = {http://pi.informatik.uni-siegen.de/stt/36_4/01_Fachgruppenberichte/SSP2016/ssp-stt/29-Modeling_IaaS_Usage_Patterns_for_the_Analysis_of_Cloud_Optimization_Policies.pdf}
}
@mastersthesis{mazkatli2016a,
author = {Manar Mazkatli},
title = {{Consistency Preservation in the Development Process of Automotive Software}},
school = {Karlsruhe Institute of Technology (KIT)},
year = {2016},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/mazkatli2016a.pdf},
tags = {Vitruv}
}
@inproceedings{kounev2016analysis,
title = {Analysis of the trade-offs in different modeling approaches for performance prediction of software systems.},
author = {Kounev, Samuel and Brosig, Fabian and Meier, Philipp and Becker, Steffen and Koziolek, Anne and Koziolek, Heiko and Rygielski, Piotr},
booktitle = {Software Engineering},
pages = {47--48},
year = {2016}
}
@article{hasselbring20167th,
title = {7th Symposium on Software Performance (SSP)},
author = {Hasselbring, Wilhelm and Becker, Steffen and van Hoorn, Andre and Kounev, Samuel and Reussner, Ralf},
journal = {Softwaretechnik-Trends},
volume = {36},
number = {4},
pages = {1},
year = {2016}
}
@inproceedings{krach2016a,
author = {Krach, Sebastian Dieter and Hinkel, Georg and Denninger, Oliver},
booktitle = {3rd Workshop on Engineering Interactive Systems with SCXML},
title = {Integration testing of neural robot controllers using formal experiment descriptions based on SCXML},
year = {2016},
tags = {refereed},
location = {Brussels, Belgium}
}
@mastersthesis{hahner2016a,
address = {Karlsruhe, Germany},
author = {Hahner, Sebastian},
school = {Karlsruhe Institute of Technology (KIT)},
title = {Inkrementelle Aktualisierungstechniken für Modelle und ihre Datenbankrepr\"{a}sentation},
type = {Bachelor's Thesis},
year = {2016}
}