2013.bib

@inproceedings{SpKoZhUy2013-mrt-TowardsModelExtraction,
  abstract = {Virtualization increases the complexity and dynamics of modern software architectures making it a major challenge to manage the end-to-end performance of applications. Architecture-level performance models can help here as they provide the modeling power and analysis fexibility to predict the performance behavior of applications under varying workloads and configurations. However, the construction of such models is a complex and time-consuming task. In this position paper, we discuss how the existing concept of virtual appliances can be extended to automate the extraction of architecture-level performance models during system operation.},
  author = {Simon Spinner and Samuel Kounev and Xiaoyun Zhu and Mustafa Uysal},
  booktitle = {Proceedings of the 8th Workshop on Models @ Run.time (MRT 2013)},
  editor = {Nelly Bencomo and Robert France and Sebastian G\"{o}tz and Bernhard Rumpe},
  location = {Miami, Florida, USA},
  pages = {89--95},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/SpKoZhUy2013-mrt-TowardsModelExtraction.pdf},
  publisher = {CEUR-WS},
  title = {{Towards Online Performance Model Extraction in Virtualized Environments}},
  titleaddon = {(Position Paper)},
  year = {2013}
}
@book{groenda2013,
  abstract = {In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.},
  author = {Henning Groenda},
  doi = {http://dx.doi.org/10.5445/KSP/1000036063},
  editor = {Prof. Dr. Ralf H. Reussner},
  institution = {Institut f"{u}r Programmstrukturen und Datenorganisation (IPD)},
  isbn = {978-3-7315-0080-3},
  issn = {1867-0067},
  pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/2750329},
  publisher = {KIT Scientific Publishing},
  school = {Karlsruhe Institute of Technology (KIT)},
  series = {The Karlsruhe Series on Software Design and Quality},
  series-editor = {Ralf Reussner},
  title = {Certifying Software Component Performance Specifications},
  url = {http://dx.doi.org/10.5445/KSP/1000036063},
  volume = {11},
  year = {2013},
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QHS4uL0xpdGVyYXR1cmUvR3JvZW5kYTIwMTMucGRm0hcLGBlXTlMuZGF0YU8RAboAAAAAAboAAgAAA1NTRAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAM061HRIKwAAACSygA9Hcm9lbmRhMjAxMy5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv4ANzl44MgAAAAAAAAAAAAEAAgAACSAAAAAAAAAAAAAAAAAAAAAKTGl0ZXJhdHVyZQAQAAgAAM06xmQAAAARAAgAAM5eHBIAAAABABgAJLKAABCsOwAQmGAABbpIAAW4vQACDeQAAgBSU1NEOlVzZXJzOgBoZ3JvZW5kYToARG9jdW1lbnRzOgBwYXBlcjoAcGFwZXJXb3Jrc3BhY2U6AExpdGVyYXR1cmU6AEdyb2VuZGEyMDEzLnBkZgAOACAADwBHAHIAbwBlAG4AZABhADIAMAAxADMALgBwAGQAZgAPAAgAAwBTAFMARAASAEhVc2Vycy9oZ3JvZW5kYS9Eb2N1bWVudHMvcGFwZXIvcGFwZXJXb3Jrc3BhY2UvTGl0ZXJhdHVyZS9Hcm9lbmRhMjAxMy5wZGYAEwABLwAAFQACAA///wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgCuALMAuwJ5AnsCgAKLApQCogKmAq0CtgK7AsgCywLdAuAC5QAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAALn}
}
@article{aleti2013a,
  abstract = {Due to significant industrial demands toward software systems with increasing complexity and challenging quality requirements, software architecture design has become an important development activity and the research domain is rapidly evolving. In the last decades, software architecture optimization methods, which aim to automate the search for an optimal architecture design with respect to a (set of) quality attribute(s), have proliferated. However, the reported results are fragmented over different research communities, multiple system domains, and multiple quality attributes. To integrate the existing research results, we have performed a systematic literature review and analyzed the results of 188 research papers from the different research communities. Based on this survey, a taxonomy has been created which is used to classify the existing research. Furthermore, the systematic analysis of the research literature provided in this review aims to help the research community in consolidating the existing research efforts and deriving a research agenda for future developments.},
  author = {Aldeida Aleti and Barbora Buhnova and Lars Grunske and Anne Koziolek and Indika Meedeniya},
  doi = {http://dx.doi.org/10.1109/TSE.2012.64},
  issn = {0098-5589},
  journal = {IEEE Transactions on Software Engineering},
  keywords = {Computer architecture;Optimization methods;Software;Software architecture;Systematics;Taxonomy;Software architecture optimization;optimization methods;problem overview;systematic literature review},
  number = {5},
  pages = {658--683},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/aleti2013a.pdf},
  publisher = {IEEE},
  title = {Software Architecture Optimization Methods: A Systematic Literature Review},
  volume = {39},
  year = {2013},
  tags = {peer-reviewed}
}
@inproceedings{avritzer2013a,
  acmid = {2479905},
  address = {New York, NY, USA},
  author = {Alberto Avritzer and Sindhu Suresh and Daniel Sadoc Menasch\'{e} and Rosa Maria Meri {Le\~{a}o} and Edmundo de Souza e Silva and Morganna Carmem Diniz and Kishor Trivedi and Lucia Happe and Anne Koziolek},
  booktitle = {Proceedings of the fourth ACM/SPEC International Conference on Performance Engineering (ICPE 2013)},
  doi = {10.1145/2479871.2479905},
  isbn = {978-1-4503-1636-1},
  keywords = {fault tolerance, smart grid, survivability, transient analysis},
  location = {Prague, Czech Republic},
  numpages = {12},
  pages = {241--252},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/avritzer2013a.pdf},
  publisher = {ACM, New York, NY, USA},
  series = {ICPE '13},
  title = {Survivability Models for the Assessment of Smart Grid Distribution Automation Network Designs},
  url = {http://doi.acm.org/10.1145/2479871.2479905},
  year = {2013}
}
@inproceedings{becker2013b,
  address = {New York, NY, USA},
  author = {Steffen Becker and Raffaela Mirandola and Lucia Happe and Catia Trubiani},
  booktitle = {Proceedings of the 4th Joint ACM/SPEC International Conference on Performance Engineering (ICPE '13), Work-In-Progress Track},
  location = {Prague, Chech Repbulic},
  publisher = {ACM},
  title = {Towards a methodology driven by dependencies of quality attributes for {QoS}-based analysis},
  year = {2013}
}
@book{Blasi2013a,
  abstract = {The rapid evolution of the cloud market is leading to the emergence of new services, new ways for service provisioning and new interaction and collaboration models both amongst cloud providers and service ecosystems exploiting cloud resources. Service Level Agreements (SLAs) govern the aforementioned relationships by defining the terms of engagement for the participating entities.},
  author = {Lorenzo Blasi and Gunnar Brataas and Michael Boniface and Joe Butler and Francesco D'andria and Michel Drescher and Ricardo Jimenez and Klaus Krogmann and George Kousiouris and Bastian Koller and Giada Landi and Francesco Matera and Andreas Menychtas and Karsten Oberle and Stephen Phillips and Luca Rea and Paolo Romano and Michael Symonds and Wolfgang Ziegler},
  editor = {Dimosthenis Kyriazis},
  month = {June},
  publisher = {European Commission Directorate General Communications Networks, Content and Technology},
  timestamp = {2013.07.18},
  title = {{Cloud Computing Service Level Agreements -- Exploitation of Research Results}},
  url = {http://ec.europa.eu/information_society/newsroom/cf/dae/document.cfm?doc_id=2496},
  year = {2013}
}
@inproceedings{burger2013a,
  acmid = {2465501},
  address = {New York, NY, USA},
  author = {Burger, Erik},
  booktitle = {Proceedings of the 18th international doctoral symposium on Components and architecture},
  doi = {10.1145/2465498.2465501},
  isbn = {978-1-4503-2125-9},
  keywords = {model-driven software development, orthographic software modeling, view-based modeling},
  location = {Vancouver, British Columbia, Canada},
  numpages = {6},
  pages = {25--30},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/burger2013a.pdf},
  publisher = {ACM},
  series = {WCOP '13},
  title = {{Flexible Views for View-Based Model-Driven Development}},
  url = {http://doi.acm.org/10.1145/2465498.2465501},
  year = {2013},
  tags = {Vitruv}
}
@inproceedings{burger2013b,
  acmid = {2489863},
  address = {New York, NY, USA},
  articleno = {1},
  author = {Burger, Erik},
  booktitle = {Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
  doi = {10.1145/2489861.2489863},
  isbn = {978-1-4503-2070-2},
  keywords = {model-driven software development, view-based modeling},
  location = {Montpellier, France},
  numpages = {5},
  pages = {1:1--1:5},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/burger2013b.pdf},
  publisher = {ACM},
  series = {VAO '13},
  title = {{Flexible Views for Rapid Model-Driven Development}},
  url = {http://doi.acm.org/10.1145/2489861.2489863},
  year = {2013},
  tags = {Vitruv}
}
@inbook{Dorst2013a,
  abstract = {Das Kapitel beleuchtet wichtige technische Konzepte, die f{\"u}r das Cloud-Computing essentiell sind. Das Verstaendnis f{\"u}r die durch diese Konzepte geloesten Fragestellungen ist notwendig, um die verschiedenen Auspraegungen und Varianten von Cloud-Angeboten beurteilen zu koennen.},
  author = {Klaus Krogmann and Markus Kremer and Ralf Knobloch and Siegfried Florek and Rainer Schmidt},
  chapter = {{Technische Konzepte}},
  edition = {Version 1.0},
  editor = {Wolfgang Dorst},
  pages = {64--77},
  pdf = {http://www.soa-know-how.de/sites/default/files/soa/bitkom-leitfaden_soa-in-der-cloud_2012v4.pdf},
  publisher = {BITKOM},
  timestamp = {2013.07.18},
  title = {{Serviceorientierte Architekturen in der Cloud -- Leitfaden und Nachschlagewerk}},
  url = {http://www.soa-know-how.de/soa-der-cloud/technische-konzepte},
  year = {2013}
}
@inproceedings{durdik2013a,
  author = {Zoya Durdik and Anne Koziolek and Ralf Reussner},
  booktitle = {Proceedings of the 2nd International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks)},
  doi = {10.1109/TwinPeaks.2013.6614718},
  keywords = {formal specification;software architecture;systems analysis;architectural design;design decisions;requirement elicitation;requirement prioritisation;requirements engineering;software architecture;Computer architecture;Performance evaluation;Servers;Software;Space exploration;Time factors;Software architecture;design decisions;requirements engineering},
  month = {May},
  pages = {14-18},
  title = {{How the Understanding of the Effects of Design Decisions Informs Requirements Engineering}},
  year = {2013},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/durdik2013a.pdf}
}
@inproceedings{Durdik2013b,
  author = {Zoya Durdik and Ralf Reussner},
  booktitle = {Proceedings of the 9th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA 2013)},
  month = {June},
  title = {{On the Appropriate Rationale for Using Design Patterns and Pattern Documentation}},
  year = {2013}
}
@article{happe_lucia2013a,
  author = {Happe, Lucia and Buhnova, Barbora and Reussner, Ralf},
  doi = {10.1007/s10270-013-0336-6},
  issn = {1619-1366},
  journal = {Software \& Systems Modeling},
  keywords = {Stateful components; Performance prediction; Prediction accuracy},
  pages = {1319--1343},
  publisher = {Springer-Verlag},
  title = {Stateful component-based performance models},
  url = {http://dx.doi.org/10.1007/s10270-013-0336-6},
  year = {2013},
  volume = {13},
  number = {4},
  pages = {1319--1343},
  abstract = {The accuracy of performance-prediction models is crucial for widespread adoption of performance prediction in industry. One of the essential accuracy-influencing aspects of software systems is the dependence of system behaviour on a configuration, context or history related state of the system, typically reflected with a (persistent) system attribute. Even in the domain of component-based software engineering, the presence of state-reflecting attributes (the so-called internal states) is a natural ingredient of the systems, implying the existence of stateful services, stateful components and stateful systems as such. Currently, there is no consensus on the definition or method to include state-related information in component-based prediction models. Besides the task to identify and localise different types of stateful information across component-based software architecture, the issue is to balance the expressiveness and complexity of prediction models via an effective abstraction of state modelling. In this paper, we identify and classify stateful information in component-based software systems, study the performance impact of the individual state categories, and discuss the costs of their modelling in terms of the increased model size. The observations are formulated into a set of heuristics-guiding software engineers in state modelling. Finally, practical effect of state modelling on software performance is evaluated on a real-world case study, the SPECjms2007 Benchmark. The observed deviation of measurements and predictions was significantly decreased by more precise models of stateful dependencies.}
}
@article{hauck2013a,
  abstract = {To predict the performance of an application, it is crucial to consider the performance of the underlying infrastructure. Thus, to yield accurate prediction results, performance-relevant properties and behaviour of the infrastructure have to be integrated into performance models. However, capturing these properties is a cumbersome and error-prone task, as it requires carefully engineered measurements and experiments. Existing approaches for creating infrastructure performance models require manual coding of these experiments, or ignore the detailed properties in the models. The contribution of this paper is the Ginpex approach, which introduces goal-oriented and model-based specification and generation of executable performance experiments for automatically detecting and quantifying performance-relevant infrastructure properties. Ginpex provides a metamodel for experiment specification and comes with predefined experiment templates that provide automated experiment execution on the target platform and also automate the evaluation of the experiment results. We evaluate Ginpex using three case studies, where experiments are executed to quantify various infrastructure properties.},
  author = {Michael Hauck and Michael Kuperberg and Nikolaus Huber and Ralf Reussner},
  doi = {10.1007/s10270-013-0335-7},
  issn = {1619-1366},
  journal = {Software \& Systems Modeling},
  pages = {1-21},
  publisher = {Springer-Verlag},
  title = {Deriving performance-relevant infrastructure properties through model-based experiments with Ginpex},
  url = {http://dx.doi.org/10.1007/s10270-013-0335-7},
  year = {2013}
}
@phdthesis{hauck2013b,
  abstract = {The software execution environment can play a crucial role when analyzing the performance of a software system. However, detecting execution environment properties and integrating such properties into performance analyses is a manual, error-prone task that requires expert knowledge on the execution environment. In this thesis, a novel approach for detecting performance-relevant properties of the software execution environment is presented. These properties are automatically detected using predefined experiments and integrated into performance prediction tools. Based on a metamodel for experiment specification, the approach is used to design experiments for detecting different CPU, OS scheduling, and virtualization properties. This thesis also includes different case studies which demonstrate the applicability of the approach.},
  author = {Michael Hauck},
  pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/2926784},
  school = {Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany},
  title = {Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000037767},
  year = {2013}
}
@inproceedings{heger2013b,
  address = {New York, NY, USA},
  author = {Christoph Heger},
  booktitle = {WCOP '13: Proceedings of the 18th international doctoral symposium on Components and Architecture},
  isbn = {978-1-4503-1348-3},
  location = {Vancouver, Canada},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/heger2013b.pdf},
  publisher = {ACM},
  title = {Systematic Guidance in Solving Performance and Scalability Problems},
  year = {2013}
}
@inproceedings{heger2013a,
  acmid = {2479879},
  address = {New York, NY, USA},
  author = {Heger, Christoph and Happe, Jens and Farahbod, Roozbeh},
  booktitle = {Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering},
  doi = {10.1145/2479871.2479879},
  isbn = {978-1-4503-1636-1},
  keywords = {performance regression, root cause analysis},
  location = {Prague, Czech Republic},
  note = {Best Paper Award nominee},
  numpages = {12},
  pages = {27--38},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/heger2013a.pdf},
  publisher = {ACM},
  series = {ICPE '13},
  title = {Automated root cause isolation of performance regressions during software development},
  url = {http://doi.acm.org/10.1145/2479871.2479879},
  year = {2013}
}
@inproceedings{henss2013a,
  author = {J{\"o}rg Henss and Philipp Merkle and Ralf H. Reussner},
  booktitle = {Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques},
  location = {Cannes, France},
  title = {Poster Abstract: The {OMPCM} Simulator for Model-Based Software Performance Prediction},
  year = {2013}
}
@inproceedings{HeHuKoAm2013-ICPE-WorkloadClassificationAndForecasting,
  abstract = {{As modern enterprise software systems become increasingly dynamic, workload forecasting techniques are gaining in importance as a foundation for online capacity planning and resource management. Time series analysis covers a broad spectrum of methods to calculate workload forecasts based on history monitoring data. Related work in the field of workload forecasting mostly concentrates on evaluating specific methods and their individual optimisation potential or on predicting Quality-of-Service (QoS) metrics directly. As a basis, we present a survey on established forecasting methods of the time series analysis concerning their benefits and drawbacks and group them according to their computational overheads. In this paper, we propose a novel self-adaptive approach that selects suitable forecasting methods for a given context based on a decision tree and direct feedback cycles together with a corresponding implementation. The user needs to provide only his general forecasting objectives. In several experiments and case studies based on real world workload traces, we show that our implementation of the approach provides continuous and reliable forecast results at run-time. The results of this extensive evaluation show that the relative error of the individual forecast points is significantly reduced compared to statically applied forecasting methods, e.g. in an exemplary scenario on average by 37%. In a case study, between 55% and 75% of the violations of a given service level agreement can be prevented by applying proactive resource provisioning based on the forecast results of our implementation.}},
  acmid = {2479899},
  address = {New York, NY, USA},
  author = {Nikolas Roman Herbst and Nikolaus Huber and Samuel Kounev and Erich Amrehn},
  booktitle = {Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013)},
  day = {21--24},
  doi = {10.1145/2479871.2479899},
  isbn = {978-1-4503-1636-1},
  keywords = {arrival rate, proactive resource provisioning, time series analysis, workload forecasting},
  location = {Prague, Czech Republic},
  month = {April},
  numpages = {12},
  pages = {187--198},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/HeHuKoAm2013-ICPE-WorkloadClassificationAndForecasting.pdf},
  publisher = {ACM},
  slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/HeHuKoAm2013-ICPE-WorkloadClassificationAndForecasting_Slides.pdf},
  title = {{Self-Adaptive Workload Classification and Forecasting for Proactive Resource Provisioning}},
  url = {http://doi.acm.org/10.1145/2479871.2479899},
  year = {2013}
}
@mastersthesis{hinkel2013a,
  abstract = {{In recent years, model-driven software development (MDSD) has gained popularity among both industry and academia. MDSD aims to generate traditional software artifacts from models. This generation process is realized in multiple steps. Thus, before being transformed to software artifacts, models are transformed into models of other metamodels. Such model transformation is supported by dedicated model transformation languages. In many cases, these are entirely new languages (external domain-specific languages, DSLs) for a more clear and concise representation of abstractions. On the other hand, the tool support is rather poor and the transformation developers hardly know the transformation language. A possible solution for this problem is to extend the programming language typically used by developers (mostly Java or C\#) with the required abstractions. This can be achieved with an internal DSL. Thus, concepts of the host language can easily be reused while still creating the necessary abstractions to ease development of model transformations. Furthermore, the tool support for the host language can be reused for the DSL. In this master thesis, NMF Transformations is presented, a framework and internal DSL for C\#. It equips developers with the ability to specify model transformations in languages like C\# without having to give up abstractions known from model transformation standards. Transformation developers get the full tool support provided for C\#. The applicability of NMF Transformations as well as the impact of NMF Transformations to quality attributes of model transformations is evaluated in three case studies. Two of them come from the Transformation Tool Contests 2013 (TTC). With these case studies, NMF Transformations is compared with other approaches to model transformation. A further case study comes from ABB Corporate Research to demonstrate the advantages of NMF Transformations in an industrial scenario where aspects like testability gain special importance.}},
  author = {Georg Hinkel},
  month = {October},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2013a.pdf},
  school = {{Karlsruhe Institute of Technology}},
  title = {{An approach to maintainable model transformations using an internal DSL}},
  tags = {nmf},
  year = {2013}
}
@inproceedings{hinkel2013b,
  abstract = {{Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. However, there is little consensus about the transformation tools. Thus, the Transformation Tool Contest (TTC) 2013 aims to compare different transformation engines. This is achieved through three different cases that have to be tackled. One of these cases is the Petri Net to State Chart case. A solution has to transform a Petri Net to a State Chart and has to derive a hierarchical structure within the State Chart. This paper presents the solution for this case using NMF Transformations as transformation engine. }},
  author = {Georg Hinkel and Thomas Goldschmidt and Lucia Happe},
  title = {An {NMF} solution for the Petri Nets to State Charts case study at the {TTC} 2013},
  booktitle = {Proceedings Sixth Transformation Tool Contest, {TTC} 2013, Budapest, Hungary, 19-20 June, 2013.},
  pages = {95--100},
  year = {2013},
  url = {https://doi.org/10.4204/EPTCS.135.12},
  doi = {10.4204/EPTCS.135.12},
  tags = {refereed,workshop,nmf},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2013b.pdf}
}
@inproceedings{hinkel2013c,
  abstract = {{Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. However, there is little consensus about the transformation tools. Thus, the Transformation Tool Contest (TTC) 2013 aims to compare different transformation engines. This is achieved through three different cases that have to be tackled. One of these cases is the Flowgraphs case. A solution has to transform a Java code model into a simplified version and has to derive control and data flow. This paper presents the solution for this case using NMF Transformations as transformation engine. }},
  author = {Georg Hinkel and Thomas Goldschmidt and Lucia Happe},
  title = {An {NMF} solution for the Flowgraphs case at the {TTC} 2013},
  booktitle = {Proceedings Sixth Transformation Tool Contest, {TTC} 2013, Budapest, Hungary, 19-20 June, 2013.},
  pages = {37--42},
  year = {2013},
  url = {https://doi.org/10.4204/EPTCS.135.5},
  doi = {10.4204/EPTCS.135.5},
  tags = {refereed,workshop,nmf},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2013c.pdf}
}
@inproceedings{HeKoRe2013-ICAC-Elasticity,
  abstract = {{Originating from the field of physics and economics, the term elasticity is nowadays heavily used in the context of cloud computing. In this context, elasticity is commonly understood as the ability of a system to automatically provision and de-provision computing resources on demand as workloads change. However, elasticity still lacks a precise definition as well as representative metrics coupled with a benchmarking methodology to enable comparability of systems. Existing definitions of elasticity are largely inconsistent and unspecific leading to confusion in the use of the term and its differentiation from related terms such as scalability and efficiency; the proposed measurement methodologies do not provide means to quantify elasticity without mixing it with efficiency or scalability aspects. In this short paper, we propose a precise definition of elasticity and analyze its core properties and requirements explicitly distinguishing from related terms such as scalability, efficiency, and agility. Furthermore, we present a set of appropriate elasticity metrics and sketch a new elasticity tailored benchmarking methodology addressing the special requirements on workload design and calibration.}},
  author = {Nikolas Roman Herbst and Samuel Kounev and Ralf Reussner},
  booktitle = {Proceedings of the 10th International Conference on Autonomic Computing (ICAC 2013)},
  day = {24--28},
  location = {San Jose, CA},
  month = {June},
  note = {Acceptance Rate (Short Paper): 36.9\%},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/HeKoRe2013-ICAC-Elasticity.pdf},
  publisher = {USENIX},
  slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/HeKoRe2013-ICAC-Elasticity_Slides.pdf},
  title = {{Elasticity in Cloud Computing: What it is, and What it is Not}},
  titleaddon = {{(Short Paper)}},
  url = {https://www.usenix.org/conference/icac13/elasticity-cloud-computing-what-it-and-what-it-not},
  year = {2013}
}
@article{kuester2013b,
  address = {Karlsruhe, Germany},
  author = {Martin K{\"u}ster and Benjamin Klatt},
  journal = {VKSI Magazin},
  month = {April},
  number = {8},
  pdf = {http://sdqweb.ipd.uka.de/publications/pdfs/kuester2013b.pdf},
  title = {{Generation App - App Generation}},
  url = {http://www.vksi.de},
  year = {2013}
}
@inproceedings{Kuester2013a,
  author = {K\"{u}ster, Martin},
  booktitle = {Proceedings of the 7th European Conference on Software Architecture (ECSA '13)},
  doi = {10.1007/978-3-642-39031-9_16},
  editor = {Drira, Khalil},
  isbn = {978-3-642-39030-2},
  keywords = {design decision; architectural model; traceability; constraint checking},
  location = {Montpellier, France},
  pages = {184-191},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {Architecture-Centric Modeling of Design Decisions for Validation and Traceability},
  url = {http://dx.doi.org/10.1007/978-3-642-39031-9_16},
  volume = {7957},
  year = {2013}
}
@article{Kuster2012c,
  author = {K\"{u}ster, Martin and Klatt, Benjamin and Kohnert, Eike and Brandt, Steffen and Tysiak, Johannes},
  journal = {OBJEKTspektrum},
  number = {1},
  title = {Apps aus {K}\"{a}stchen und {L}inien - {M}odellgetriebene {M}ulti-{P}lattformentwicklung mobiler {A}nwendungen},
  url = {http://www.sigs-datacom.de/fachzeitschriften/objektspektrum/archiv/artikelansicht.html?tx_mwjournals_pi1%5Bpointer%5D=0&tx_mwjournals_pi1%5Bmode%5D=1&tx_mwjournals_pi1%5BshowUid%5D=7315},
  year = {2013}
}
@inproceedings{klatt2013a,
  address = {Genua, Italy},
  author = {Klatt, Benjamin and K{\"u}ster, Martin and Krogmann, Klaus},
  booktitle = {Proceedings of the 1st International workshop on Reverse Variability Engineering (REVE'13)},
  month = {March},
  pages = {1--8},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klatt2013a.pdf},
  title = {{A Graph-Based Analysis Concept to Derive a Variation Point Design from Product Copies}},
  year = {2013}
}
@inproceedings{klatt2013b,
  address = {Bad Honnef, Germany},
  author = {Benjamin Klatt and Martin K\"uster and Klaus Krogmann and Oliver Burkhardt},
  booktitle = {15th Workshop Software-Reengineering (WSR'13)},
  month = {May},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klatt2013b.pdf},
  title = {{A Change Impact Analysis Case Study: Replacing the Input Data Model of SoMoX}},
  year = {2013}
}
@article{klatt2013d-STT,
  abstract = {Change impact analysis aims to provide insights about efforts and effects of a change to be expected, and to prevent missed adaptations. However, the benefit of applying an analysis in a given scenario is not clear. Only a few studies about change impact analysis ap- proaches compare the actual effort spent implement- ing the change with the prediction of the analysis. To gain more insight about change impact analysis benefits, we have performed a case study on chang- ing a software's input data model. We have applied two analyses, using the Java compiler and a depen- dency graph based approach, before implementing the actual change. In this paper, we present the re- sults, showing that i) syntactically required changes have been predicted adequately, iii) changes required for semantical correctness required the major effort but were not predicted at all, and iii) tool support for change impact analysis still needs to be improved.},
  author = {Benjamin Klatt and Martin K\"uster and Klaus Krogmann and Oliver Burkhardt},
  journal = {{Softwaretechnik-Trends}},
  month = {May},
  number = {2},
  pages = {53--54},
  pdf = {http://pi.informatik.uni-siegen.de/stt/33_2/01_Fachgruppenberichte/wsr/17_klatt.pdf},
  publisher = {K{\"o}llen Druck & Verlag GmbH},
  title = {{A Change Impact Analysis Case Study: Replacing the Input Data Model of SoMoX}},
  volume = {33},
  year = {2013}
}
@inproceedings{klatt2013c,
  address = {New York, NY, USA},
  author = {Benjamin Klatt and K\"uster, Martin},
  booktitle = {9th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA'13)},
  isbn = {978-1-4503-2126-6},
  month = {June},
  pages = {117--122},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klatt2013c.pdf},
  publisher = {ACM},
  title = {{Improving Product Copy Consolidation by Component-Architecture-Based Difference and Variation Point Analysis}},
  year = {2013}
}
@inproceedings{Konersmann2013a,
  author = {Marco Konersmann and Zoya Durdik and Michael Goedicke and Ralf Reussner},
  booktitle = {Proceedings of the 9th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA 2013)},
  month = {June},
  title = {{Towards Architecture-Centric Evolution of Long-Living Systems (The ADVERT Approach)}},
  year = {2013}
}
@article{KoRaKl2012-FESCA-Keynote,
  abstract = {Event-based communication is used in different domains including telecommunications, transportation, and business information systems to build scalable distributed systems. Such systems typically have stringent requirements for performance and scalability as they provide business and mission critical services. While the use of event-based communication enables loosely-coupled interactions between components and leads to improved system scalability, it makes it much harder for developers to estimate the system's behavior and performance under load due to the decoupling of components and control flow. We present an overview on our approach enabling the modeling and performance prediction of event-based system at the architecture level. Applying a model-to-model transformation, our approach integrates platform-specific performance influences of the underlying middleware while enabling the use of different existing analytical and simulation-based prediction techniques. The results of two real world case studies demonstrate the effectiveness, practicability and accuracy of the proposed modeling and prediction approach.},
  address = {Amsterdam, The Netherlands},
  author = {Samuel Kounev and Christoph Rathfelder and Benjamin Klatt},
  day = {9},
  issn = {1571-0661},
  journal = {{Electronic Notes in Theoretical Computer Science (ENTCS)}},
  month = {May},
  pages = {3--9},
  pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/RaKlKo2012-FESCA-Keynote.pdf},
  publisher = {Elsevier Science Publishers B. V.},
  slides = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/RaKlKo2012-FESCA-Keynote_SLIDES.pdf},
  title = {{Modeling of Event-based Communication in Component-based Architectures: State-of-the-Art and Future Directions}},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066113000248},
  volume = {295},
  year = {2013}
}
@inproceedings{Ko2013-HotTopiCS-Relate,
  author = {Samuel Kounev and Stamatia Rizou and Steffen Zschaler and Spiros Alexakis and Tomas Bures and Jean-Marc J{\'e}z{\'e}quel and Dimitrios Kourtesis and Stelios Pantelopoulos},
  booktitle = {International Workshop on Hot Topics in Cloud Services (HotTopiCS 2013)},
  day = {20--21},
  location = {Prague, Czech Republic},
  month = {April},
  title = {{RELATE: A Research Training Network on Engineering and Provisioning of Service-Based Cloud Applications}},
  year = {2013}
}
@article{koziolek2013a,
  abstract = {Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In this scenario, selecting a good solution with respect to a single quality attribute can lead to unacceptable results with respect to the other quality attributes. A promising way to deal with this problem is to exploit multi-objective optimization where the objectives represent different quality attributes. The aim of these techniques is to devise a set of solutions, each of which assures an optimal trade-off between the conflicting qualities. Our previous work proposed a combined use of analytical optimization techniques and evolutionary algorithms to efficiently identify an optimal set of design alternatives with respect to performance and costs. This paper extends this approach to more QoS properties by providing analytical algorithms for availability-cost optimization and three-dimensional availability-performance-cost optimization. We demonstrate the use of this approach on a case study, showing that the analytical step provides a better-than-random starting population for the evolutionary optimization, which lead to a speed-up of 28\% in the availability-cost case.},
  author = {Anne Koziolek and Danilo Ardagna and Raffaela Mirandola},
  doi = {10.1016/j.jss.2013.03.081},
  issn = {0164-1212},
  journal = {Journal of Systems and Software},
  note = {Special Issue on Quality Optimization of Software Architecture and Design Specifications},
  number = {10},
  pages = {2542 - 2558},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/koziolek2013a.pdf},
  publisher = {Elsevier},
  title = {Hybrid Multi-Attribute {QoS} Optimization in Component Based Software Systems},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121213000800},
  volume = {86},
  year = {2013},
  tags = {peer-reviewed}
}
@inproceedings{koziolek2013b,
  author = {Koziolek, Anne and Avritzer, Alberto and Suresh, Sindhu and Menasche, Daniel Sadoc and Trivedi, Kishor and Happe, Lucia},
  booktitle = {Software Reliability Engineering (ISSRE), 2013 IEEE 24th International Symposium on},
  doi = {10.1109/ISSRE.2013.6698903},
  pages = {41-50},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/koziolek2013b.pdf},
  title = {Design of distribution automation networks using survivability modeling and power flow equations},
  year = {2013}
}
@book{koziolek2013c,
  address = {New York, NY, USA},
  editor = {Anne Koziolek and Robert L. Nord and Philippe Kruchten},
  isbn = {978-1-4503-2126-6},
  location = {Vancouver, British Columbia, Canada},
  note = {594131},
  publisher = {ACM, New York, NY, USA},
  title = {QoSA '13: Proceedings of the 9th International ACM Sigsoft Conference on Quality of Software Architectures},
  url = {http://dl.acm.org/citation.cfm?id=2465478&picked=prox},
  year = {2013}
}
@book{koziolek2013d,
  abstract = {	Quality attributes, such as performance or reliability, are crucial for the success of a software system and largely influenced by the software architecture. Their quantitative prediction supports systematic, goal-oriented software design and forms a base of an engineering approach to software design. This thesis proposes a method and tool to automatically improve component-based software architecture (CBA) models based on such quantitative quality prediction techniques.},
  author = {Koziolek, Anne},
  doi = {10.5445/KSP/1000032342},
  hochschulschrift = {Dissertation Fakult\"{a}t f\"{u}r Informatik (INFORMATIK) Institut f\"{u}r Programmstrukturen und Datenorganisation (IPD) Pr\"{u}fungsdaten: 14.07.2011 Referent/Betreuer: Prof. R. Reussner},
  isbn = {978-3-86644-973-2},
  pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/2916907},
  publisher = {KIT Scientific Publishing, Karlsruhe},
  series = {	The Karlsruhe Series on Software Design and Quality},
  series-editor = {Ralf Reussner},
  series-issn = {1867-0067},
  title = {Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000032342},
  urn = {nbn:de:0072-323422},
  volume = {7},
  year = {2013}
}
@incollection{kramer2013a,
  author = {Kramer, Max E. and Klein, Jacques and Steel, Jim R. H. and Morin, Brice and Kienzle, J\"{o}rg and Barais, Olivier and J\'{e}z\'{e}quel, Jean-Marc},
  booktitle = {Theory and Practice of Model Transformations},
  doi = {10.1007/978-3-642-38883-5_12},
  editor = {Duddy, Keith and Kappel, Gerti},
  isbn = {978-3-642-38882-8},
  pages = {108-124},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2013a.pdf},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  tags = {conference},
  title = {Achieving Practical Genericity in Model Weaving through Extensibility},
  url = {http://dx.doi.org/10.1007/978-3-642-38883-5_12},
  volume = {7909},
  year = {2013}
}
@inproceedings{kramer2013b,
  acmid = {2489864},
  address = {New York, NY, USA},
  articleno = {5},
  author = {Kramer, Max E. and Burger, Erik and Langhammer, Michael},
  booktitle = {Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
  doi = {10.1145/2489861.2489864},
  isbn = {978-1-4503-2070-2},
  keywords = {component-based software architectures, model-driven engineering, synchronization, view-based modeling},
  location = {Montpellier, France},
  numpages = {6},
  pages = {5:1--5:6},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2013b.pdf},
  publisher = {ACM},
  series = {VAO '13},
  tags = {workshop, Vitruv},
  title = {{View-Centric Engineering with Synchronized Heterogeneous Models}},
  url = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2013b.pdf},
  year = {2013}
}
@inproceedings{KrWeKo2013-icwe-MTBenchmark,
  author = {Krebs, Rouven and Wert, Alexander and Kounev, Samuel},
  booktitle = {{Proceedings of the 13th International Conference on Web Engineering (ICWE 2013)}},
  day = {8--12},
  location = {Aalborg, Denmark},
  month = {July},
  organization = {Aalborg University, Denmark},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/KrWeKo2013-icwe-MTBenchmark.pdf},
  publisher = {Springer-Verlag},
  title = {{Multi-Tenancy Performance Benchmark for Web Application Platforms}},
  titleaddon = {Industrial Track},
  year = {2013}
}
@inproceedings{langhammer2013b,
  author = {Langhammer, Michael},
  booktitle = {Proceedings of the 18th international doctoral symposium on Components and architecture},
  organization = {ACM},
  pages = {37--42},
  title = {Co-Evolution of Component-based Architecture-Model and Object-Oriented Source Code},
  year = {2013},
  tags = {Vitruv}
}
@inproceedings{langhammer2013a,
  acmid = {2489866},
  address = {New York, NY, USA},
  articleno = {6},
  author = {Langhammer, Michael and Lehrig, Sebastian and Kramer, Max E.},
  booktitle = {Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
  doi = {10.1145/2489861.2489866},
  isbn = {978-1-4503-2070-2},
  keywords = {component-based software engineering, model driven software development, model-to-text transformation, view-based engineering},
  location = {Montpellier, France},
  numpages = {5},
  pages = {6:1--6:5},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/langhammer2013a.pdf},
  publisher = {ACM},
  series = {VAO '13},
  tags = {Vitruv},
  title = {Reuse and configuration for code generating architectural refinement transformations},
  url = {http://doi.acm.org/10.1145/2489861.2489866},
  year = {2013},
  tags = {Vitruv}
}
@inproceedings{LoKr2013-Closer-Isolation,
  author = {Loesch, Manuel and Krebs, Rouven},
  booktitle = {{Proceedings of the 3rd International Conference on Cloud Computing and Service Science (CLOSER 2013)}},
  day = {8--10},
  location = {Aachen, Germany},
  month = {May},
  organization = {RWTH Aachen, Germany},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/LoKr2013-Closer-Isolation.pdf},
  publisher = {SciTePress},
  title = {{Conceptual Approach for Performance Isolation in Multi-Tenant Systems}},
  titleaddon = {Short Paper},
  year = {2013}
}
@inproceedings{merkle2013a,
  author = {Philipp Merkle},
  booktitle = {Software Engineering 2013---Workshopband},
  note = {Doctoral Symposium},
  title = {Guiding Transaction Design through Architecture--Level Performance and Data Consistency Prediction},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/merkle2013a.pdf},
  volume = {P-215},
  year = {2013}
}
@techreport{MiIoKoSaRyDiCiRo2013-TechReport-CloudUsagePatterns,
  abstract = {{Cloud computing is becoming an increasingly lucrative branch of the existing information and communication technologies (ICT). Enabling a debate about cloud usage scenarios can help with attracting new customers, sharing best-practices, and designing new cloud services. In contrast to previous approaches, which have attempted mainly to formalize the common service delivery models (i.e., Infrastructure-as-a-Service, Platform-as-a-Service, and Software-as-a-Service), in this work, we propose a formalism for describing common cloud usage scenarios referred to as cloud usage patterns. Our formalism takes a structuralist approach allowing decomposition of a cloud usage scenario into elements corresponding to the common cloud service delivery models. Furthermore, our formalism considers several cloud usage patterns that have recently emerged, such as hybrid services and value chains in which mediators are involved, also referred to as value chains with mediators. We propose a simple yet expressive textual and visual language for our formalism, and we show how it can be used in practice for describing a variety of real-world cloud usage scenarios. The scenarios for which we demonstrate our formalism include resource provisioning of global providers of infrastructure and/or platform resources, online social networking services, user-data processing services, online customer and ticketing services, online asset management and banking applications, CRM (Customer Relationship Management) applications, and online social gaming applications.}},
  address = {{7001 Heritage Village Plaza Suite 225, Gainesville, VA 20155}},
  author = {Aleksandar Milenkoski and Alexandru Iosup and Samuel Kounev and Kai Sachs and Piotr Rygielski and Jason Ding and Walfredo Cirne and Florian Rosenberg},
  institution = {SPEC Research Group - Cloud Working Group, Standard Performance Evaluation Corporation (SPEC)},
  month = {April},
  tags = {Cloud},
  title = {{Cloud Usage Patterns: A Formalism for Description of Cloud Usage Scenarios}},
  type = {{Technical Report SPEC-RG-2013-001 v.1.0.1}},
  url = {http://research.spec.org/fileadmin/user_upload/documents/rg_cloud/endorsed_publications/SPEC-RG-2013-001_CloudUsagePatterns.pdf},
  year = {2013}
}
@techreport{MiKoAvAnVi2013-TechReport-OnBenchmarkingIDSes,
  abstract = {{Modern intrusion detection systems (IDSes) for virtualized environments are deployed in the virtualization layer with components inside the virtual machine monitor (VMM) and the trusted host virtual machine (VM). Such IDSes can monitor at the same time the network and host activities of all guest VMs running on top of a VMM being isolated from malicious users of these VMs. We refer to IDSes for virtualized environments as VMM-based IDSes. In this work, we analyze state-of-the-art intrusion detection techniques applied in virtualized environments and architectures of VMM-based IDSes. Further, we identify challenges that apply specifically to benchmarking VMM-based IDSes focussing on workloads and metrics. For example, we discuss the challenge of de ning representative baseline benign workload profiles as well as the challenge of de ning malicious workloads containing attacks targeted at the VMM. We also discuss the impact of on-demand resource provisioning features of virtualized environments (e.g., CPU and memory hotplugging, memory ballooning) on IDS benchmarking measures such as capacity and attack detection accuracy. Finally, we outline future research directions in the area of benchmarking VMM-based IDSes and of intrusion detection in virtualized environments in general.}},
  address = {{7001 Heritage Village Plaza Suite 225, Gainesville, VA 20155}},
  author = {Aleksandar Milenkoski and Samuel Kounev and Alberto Avritzer and Nuno Antunes and Marco Vieira},
  institution = {SPEC Research Group - IDS Benchmarking Working Group, Standard Performance Evaluation Corporation (SPEC)},
  month = {June},
  pdf = {http://research.spec.org/fileadmin/user_upload/documents/wg_ids/endorsed_publications/SPEC-RG-2013-002-BenchmarkingVMMBIDSes.pdf},
  tags = {Intrusion detection, Virtual machine introspection},
  title = {{On Benchmarking Intrusion Detection Systems in Virtualized Environments}},
  type = {{Technical Report SPEC-RG-2013-002 v.1.0}},
  year = {2013}
}
@inproceedings{MiPaAnViKo2013-ACSAC-HInjector,
  address = {Maryland, USA},
  author = {Aleksandar Milenkoski and Bryan D. Payne and Nuno Antunes and Marco Vieira and Samuel Kounev},
  booktitle = {The 2013 Annual Computer Security Applications Conference (ACSAC 2013)},
  location = {New Orleans, Louisiana, USA},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/MiPaAnViKo2013-ACSAC-HInjector.pdf},
  publisher = {{Applied Computer Security Associates (ACSA)}},
  tags = {Intrusion detection, Virtual machine introspection},
  title = {{HInjector: Injecting Hypercall Attacks for Evaluating VMI-based Intrusion Detection Systems}},
  titleaddon = {(Poster Paper)},
  year = {2013}
}
@inproceedings{nguyen2013a,
  abstract = {To face continuously growing security threats and requirements, sound methodologies for constructing secure systems are required. In this context, Model-Driven Security (MDS) has emerged since more than a decade ago as a specialized Model-Driven Engineering approach for supporting the development of secure systems. MDS aims at improving the productivity of the development process and quality of the resulting secure systems, with models as the main artifact. This paper presents how we systematically examined existing published work in MDS and its results. The systematic review process, which is based on a formally designed review protocol, allowed us to identify, classify, and evaluate different MDS approaches. To be more specific, from thousands of relevant papers found, a final set of the most relevant MDS publications has been identified, strictly selected, and reviewed. We present a taxonomy for MDS, which is used to synthesize data in order to classify and evaluate the selected MDS approaches. The results draw a wide picture of existing MDS research showing the current status of the key aspects in MDS as well as the identified most relevant MDS approaches. We discuss the main limitations of the existing MDS approaches and suggest some potential research directions based on these insights.},
  author = {Phu H. Nguyen and Jacques Klein and Max E. Kramer and Yves Le Traon},
  booktitle = {Proceedings of the 2013 20th Asia-Pacific Software Engineering Conference},
  doi = {10.1109/APSEC.2013.64},
  issn = {1530-1362},
  keywords = {security of data;MDS;MDS publications;formally designed review protocol;model-driven engineering approach;model-driven security;secure systems;security threats;Business;Data mining;Data models;Protocols;Security;Taxonomy;Unified modeling language;model;model transformations;model-driven;model-driven security;security;survey;systematic review},
  pages = {432-441},
  publisher = {IEEE Computer Society},
  tags = {conference},
  title = {A Systematic Review of Model-Driven Security},
  volume = {1},
  year = {2013}
}
@inproceedings{noorshams2013c,
  author = {Qais Noorshams and Kiana Rostami and Samuel Kounev and Petr T\r{u}ma and Ralf Reussner},
  booktitle = {Proceedings of the IEEE 21st International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems},
  date = {August 14--16},
  doi = {10.1109/MASCOTS.2013.20},
  location = {San Francisco, USA},
  note = {Acceptance Rate (Full Paper): 44/163 = 27\%},
  pages = {121-130},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/noorshams2013c.pdf},
  series = {MASCOTS '13},
  title = {{I/O Performance Modeling of Virtualized Storage Systems}},
  url = {http://dx.doi.org/10.1109/MASCOTS.2013.20},
  year = {2013},
  tags = {refereed}
}
@inproceedings{noorshams2013a,
  acmid = {2479910},
  address = {New York, NY, USA},
  author = {Noorshams, Qais and Bruhn, Dominik and Kounev, Samuel and Reussner, Ralf},
  booktitle = {Proceedings of the ACM/SPEC International Conference on Performance Engineering},
  doi = {10.1145/2479871.2479910},
  isbn = {978-1-4503-1636-1},
  keywords = {i/o, performance, prediction, storage, virtualization},
  location = {Prague, Czech Republic},
  numpages = {12},
  pages = {283--294},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/noorshams2013a.pdf},
  publisher = {ACM},
  series = {ICPE '13},
  title = {{Predictive Performance Modeling of Virtualized Storage Systems using Optimized Statistical Regression Techniques}},
  url = {http://doi.acm.org/10.1145/2479871.2479910},
  year = {2013}
}
@inproceedings{noorshams2013b,
  acmid = {2479921},
  address = {New York, NY, USA},
  author = {Noorshams, Qais and Rentschler, Andreas and Kounev, Samuel and Reussner, Ralf},
  booktitle = {Proceedings of the ACM/SPEC International Conference on Performance Engineering},
  doi = {10.1145/2479871.2479921},
  isbn = {978-1-4503-1636-1},
  keywords = {i/o, performance, storage, virtualization},
  location = {Prague, Czech Republic},
  numpages = {4},
  pages = {339--342},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/noorshams2013b.pdf},
  publisher = {ACM},
  series = {ICPE '13},
  title = {{A Generic Approach for Architecture-level Performance Modeling and Prediction of Virtualized Storage Systems}},
  url = {http://doi.acm.org/10.1145/2479871.2479921},
  year = {2013}
}
@incollection{noorshams2012a,
  author = {Noorshams, Qais and Kounev, Samuel and Reussner, Ralf},
  booktitle = {Computer Performance Engineering. 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers},
  doi = {10.1007/978-3-642-36781-6_5},
  editor = {Tribastone, Mirco and Gilmore, Stephen},
  isbn = {978-3-642-36780-9},
  keywords = {I/O; Storage; Performance; Virtualization},
  pages = {63-79},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/noorshams2012a.pdf},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{Experimental Evaluation of the Performance-Influencing Factors of Virtualized Storage Systems}},
  url = {http://dx.doi.org/10.1007/978-3-642-36781-6_5},
  volume = {7587},
  year = {2013}
}
@book{rathfelder2013b,
  address = {Karlsruhe, Germany},
  author = {Christoph Rathfelder},
  pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/2499675},
  publisher = {KIT Scientific Publishing},
  series = {The Karlsruhe Series on Software Design and Quality},
  title = {Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation},
  url = {http://www.ksp.kit.edu/shop/isbn2shopid.php?isbn=978-3-86644-969-5},
  volume = {10},
  year = {2013}
}
@article{rathfelder2013a,
  author = {Christoph Rathfelder and Benjamin Klatt and Kai Sachs and Samuel Kounev},
  doi = {10.1007/s10270-013-0316-x},
  issn = {1619-1366},
  journal = {Software and Systems Modeling},
  month = {March},
  pages = {1291--1317},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/rathfelder2013a.pdf},
  publisher = {Springer Verlag},
  title = {Modeling Event-based Communication in Component-based Software Architectures for Performance Predictions},
  url = {http://dx.doi.org/10.1007/s10270-013-0316-x},
  year = {2013},
  volume = {13},
  number = {4},
  abstract = {Event-based communication is used in different domains including telecommunications, transportation, and business information systems to build scalable distributed systems. Such systems typically have stringent requirements for performance and scalability as they provide business and mission critical services. While the use of event-based communication enables loosely-coupled interactions between components and leads to improved system scalability, it makes it much harder for developers to estimate the system's behavior and performance under load due to the decoupling of components and control flow. In this paper, we present our approach enabling the modeling and performance prediction of event-based systems at the architecture level. Applying a model-to-model transformation, our approach integrates platform-specific performance influences of the underlying middleware while enabling the use of different existing analytical and simulation-based prediction techniques. In summary, the contributions of this paper are: (1) the development of a meta-model for event-based communication at the architecture level, (2) a platform aware model-to-model transformation, and (3) a detailed evaluation of the applicability of our approach based on two representative real-world case studies. The results demonstrate the effectiveness, practicability and accuracy of the proposed modeling and prediction approach.}
}
@inproceedings{rentschler2013a,
  _address = {Berlin--Heidelberg--New York},
  _booktitle = {Theory and Practice of Model Transformations - 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings},
  author = {Andreas Rentschler and Qais Noorshams and Lucia Happe and Ralf Reussner},
  booktitle = {Proceedings of the 6th International Conference on Model Transformation (ICMT '13), Budapest, Hungary},
  doi = {10.1007/978-3-642-38883-5_14},
  editor = {Keith Duddy and Gerti Kappel},
  month = {June},
  note = {Acceptance Rate: 20.7\%},
  pages = {141--157},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/rentschler2013a.pdf},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{Interactive Visual Analytics for Efficient Maintenance of Model Transformations}},
  url = {http://dx.doi.org/10.1007/978-3-642-38883-5_14},
  volume = {7909},
  year = {2013}
}
@inbook{reussner2013a,
  author = {Reussner, Ralf and Becker, Steffen and Koziolek, Anne and Koziolek, Heiko},
  chapter = {An Empirical Investigation of the Component-Based Performance Prediction Method {P}alladio},
  doi = {10.1007/978-3-642-37395-4_13},
  editor = {M{\"u}nch, J{\"u}rgen and Schmid, Klaus},
  isbn = {978-3-642-37394-7},
  pages = {191--207},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/reussner2013a.pdf},
  publisher = {Springer Berlin Heidelberg},
  title = {Perspectives on the Future of Software Engineering},
  url = {http://dx.doi.org/10.1007/978-3-642-37395-4_13},
  year = {2013}
}
@article{RyKo2013,
  author = {Piotr Rygielski and Samuel Kounev},
  doi = {http://dx.doi.org/10.1515/pik-2012-0136},
  journal = {PIK --- Praxis der Informationsverarbeitung und Kommunikation},
  month = {February},
  number = {1},
  pages = {55--64},
  pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/RyKo2013-PIK-NetVirtSurvey.pdf},
  publisher = {de Gruyter},
  tags = {Networking; QoS in Networks; Virtualization; Cloud; Survey},
  title = {{Network Virtualization for QoS-Aware Resource Management in Cloud Data Centers: A Survey}},
  url = {http://www.degruyter.com/view/j/piko-2013-36-issue-1/pik-2012-0136/pik-2012-0136.xml?format=INT},
  volume = {36},
  year = {2013}
}
@inproceedings{RyZsKo2013-DNI-meta-model,
  address = {New York, NY, USA},
  author = {Piotr Rygielski and Steffen Zschaler and Samuel Kounev},
  booktitle = {Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013)},
  day = {21--24},
  location = {Prague, Czech Republic},
  month = {April},
  note = {Work-In-Progress Paper},
  pages = {327--330},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/RyZsKo2013-DNI-meta-model.pdf},
  publisher = {ACM},
  tags = {Networking; Simulation; Modeling; Performance; Prediction},
  title = {{A Meta-Model for Performance Modeling of Dynamic Virtualized Network Infrastructures}},
  titleaddon = {{(Work-In-Progress Paper)}},
  url = {http://icpe2013.ipd.kit.edu/},
  year = {2013}
}
@incollection{vaupel2013b,
  author = {Vaupel, Robert and Noorshams, Qais and Kounev, Samuel and Reussner, Ralf},
  booktitle = {Computer Performance Engineering. 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings},
  doi = {10.1007/978-3-642-40725-3_20},
  editor = {Balsamo, Maria Simonetta and Knottenbelt, William J. and Marin, Andrea},
  isbn = {978-3-642-40724-6},
  keywords = {Business Transactions; Performance; Prediction},
  pages = {263-275},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/vaupel2013b.pdf},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{Using Queuing Models for Large System Migration Scenarios -- An Industrial Case Study with IBM System z}},
  url = {http://dx.doi.org/10.1007/978-3-642-40725-3_20},
  volume = {8168},
  year = {2013}
}
@book{vaupel2013a,
  abstract = {Mainframe computers are the backbone of industrial and commercial computing, hosting the most relevant and critical data of businesses. One of the most important mainframe environments is IBM System z with the operating system z/OS. This book introduces mainframe technology of System z and z/OS with respect to high availability and scalability. It highlights their presence on different levels within the hardware and software stack to satisfy the needs for large IT organizations.},
  address = {Karlsruhe},
  author = {Vaupel, Robert},
  isbn = {ISBN 978-3-7315-0022-3},
  pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/2580031},
  publisher = {KIT Scientific Publishing},
  timestamp = {2013.05.16},
  title = {{High Availability and Scalability of Mainframe Environments}},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000034624},
  year = {2013}
}
@inproceedings{vogel2013a,
  acmid = {2479888},
  address = {New York, NY, USA},
  author = {Vogel, Christian and Koziolek, Heiko and Goldschmidt, Thomas and Burger, Erik},
  booktitle = {Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering},
  doi = {10.1145/2479871.2479888},
  isbn = {978-1-4503-1636-1},
  keywords = {empirical study, model transformation, palladio, performance prediction, use case maps},
  location = {Prague, Czech Republic},
  numpages = {12},
  pages = {101--112},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/vogel2013a.pdf},
  publisher = {ACM},
  series = {ICPE '13},
  title = {{Rapid Performance Modeling by Transforming Use Case Maps to Palladio Component Models}},
  url = {http://doi.acm.org/10.1145/2479871.2479888},
  year = {2013}
}
@inproceedings{weiss2013,
  acmid = {2479934},
  address = {New York, NY, USA},
  author = {Weiss, Christian and Westermann, Dennis and Heger, Christoph and Moser, Martin},
  booktitle = {Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering},
  doi = {10.1145/2479871.2479934},
  isbn = {978-1-4503-1636-1},
  keywords = {benchmarking, database, java persistence api, performance},
  location = {Prague, Czech Republic},
  note = {Industrial Track},
  numpages = {10},
  pages = {411--420},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/weiss2013.pdf},
  publisher = {ACM},
  series = {ICPE '13},
  title = {Systematic performance evaluation based on tailored benchmark applications},
  url = {http://doi.acm.org/10.1145/2479871.2479934},
  year = {2013}
}
@inproceedings{Wert:2013:PPD:2465498.2465499,
  acmid = {2465499},
  address = {New York, NY, USA},
  author = {Wert, Alexander},
  booktitle = {Proceedings of the 18th international doctoral symposium on Components and architecture},
  doi = {10.1145/2465498.2465499},
  isbn = {978-1-4503-2125-9},
  keywords = {performance problem detection, root cause analysis},
  location = {Vancouver, British Columbia, Canada},
  numpages = {6},
  pages = {1--6},
  publisher = {ACM},
  series = {WCOP '13},
  title = {Performance problem diagnostics by systematic experimentation},
  url = {http://doi.acm.org/10.1145/2465498.2465499},
  year = {2013}
}
@inproceedings{Wert:2013:SSR:2486788.2486861,
  acmid = {2486861},
  address = {Piscataway, NJ, USA},
  author = {Wert, Alexander and Happe, Jens and Happe, Lucia},
  booktitle = {Proceedings of the 2013 International Conference on Software Engineering},
  isbn = {978-1-4673-3076-3},
  location = {San Francisco, CA, USA},
  numpages = {10},
  pages = {552--561},
  publisher = {IEEE Press},
  series = {ICSE '13},
  title = {Supporting swift reaction: automatically uncovering performance problems by systematic experiments},
  url = {http://dl.acm.org/citation.cfm?id=2486788.2486861},
  year = {2013}
}
@inproceedings{westermann2013a,
  author = {Dennis Westermann and Jens Happe and Roozbeh Farahbod},
  booktitle = {Proc. of the ACM Symposium on Applied Computing, {SAC 2013}},
  pages = {to appear},
  timestamp = {2012.12.13},
  title = {An Experiment Specification Language for Goal-Driven, Automated Performance Evaluations},
  year = {2013}
}
@proceedings{KoZsSa2013-HOTTOPICS-Proceedings,
  day = {20--21},
  editor = {Samuel Kounev and Steffen Zschaler and Kai Sachs},
  location = {Prague, Czech Republic},
  month = {April},
  publisher = {ACM},
  title = {Proceedings of the 2013 International Workshop on Hot Topics in Cloud Services (HotTopiCS 2013)},
  year = {2013}
}
@mastersthesis{strittmatter2013a,
  author = {Misha Strittmatter},
  month = {March},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/strittmatter2013a.pdf},
  school = {Karlsruhe Institute of Technology (KIT), Germany},
  slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/strittmatter2013a_slides.pdf},
  title = {Feedback-Driven Concurrency Improvement and Refinement of Performance Models},
  type = {Diploma Thesis},
  year = {2013}
}
@inproceedings{merkle2013b,
  acmid = {2465505},
  address = {New York, NY, USA},
  author = {Philipp Merkle},
  booktitle = {Proceedings of the 18th international doctoral symposium on Components and architecture},
  doi = {10.1145/2465498.2465505},
  isbn = {978-1-4503-2125-9},
  keywords = {data consistency prediction, palladio component model, performance prediction, performance simulation, transaction},
  location = {Vancouver, British Columbia, Canada},
  numpages = {6},
  pages = {13--18},
  publisher = {ACM},
  series = {WCOP '13},
  title = {Predicting transaction quality for balanced data consistency and performance},
  url = {http://doi.acm.org/10.1145/2465498.2465505},
  year = {2013}
}
@inproceedings{BrGoHuKo2013-MASCOTS-EvaluationApproachesForPerformancePredictionInVirtualizedEnvironments,
  author = {Fabian Brosig and Fabian Gorsler and Nikolaus Huber and Samuel Kounev},
  booktitle = {Proceedings of the IEEE 21st International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2013)},
  day = {14--16},
  location = {San Francisco, USA},
  month = {August},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/BrGoHuKo2013-MASCOTS-EvaluationApproachesForPerformancePredictionInVirtualizedEnvironments.pdf},
  title = {{Evaluating Approaches for Performance Prediction in Virtualized Environments}},
  titleaddon = {{(Short Paper)}},
  year = {2013}
}
@inproceedings{hummel2013bridging,
  author = {Hummel, Oliver and Seiffert, Dominic},
  booktitle = {DReMer '13 - International Workshop on Designing Reusable Components and Measuring Reusability},
  title = {Bridging the Gap between Object-Oriented Development Practices and Software Component Reuse},
  year = {2013}
}
@incollection{seiffert2013improving,
  author = {Seiffert, Dominic and Hummel, Oliver},
  booktitle = {Safe and Secure Software Reuse},
  pages = {81--96},
  publisher = {Springer Berlin Heidelberg},
  title = {Improving the Runtime-Processing of Test Cases for Component Adaptation},
  year = {2013}
}
@inproceedings{hummel2013pragmatic,
  author = {Hummel, Oliver and Burger, Stefan},
  booktitle = {4th International Workshop on Emerging Trends in Software Metrics (WeTSOM 2013)},
  pdf = {http://oliverhummel.com/papers/icsews13wetsom-id9-p-16622-preprint.pdf},
  title = {A Pragmatic Means for Measuring the Complexity of Source Code Ensembles},
  year = {2013}
}
@inproceedings{janjic2013unabridged,
  author = {Janjic, Werner and Hummel, Oliver and Schumacher, Marcus and Atkinson, Colin},
  booktitle = {Mining Software Repositories (MSR)},
  pdf = {http://merobase.informatik.uni-mannheim.de/sources/msr13-id43-p-15930-preprint.pdf},
  title = {An Unabridged Source Code Dataset for Research in Software Reuse},
  year = {2013}
}
@article{burger2013airbus,
  author = {Burger, Stefan and Hummel, Oliver and Heinisch, Matthias},
  journal = {Software, IEEE},
  number = {1},
  pages = {21--25},
  publisher = {IEEE},
  title = {Airbus Cabin Software},
  volume = {30},
  year = {2013}
}
@incollection{hummel2013test,
  author = {Hummel, Oliver and Janjic, Werner},
  booktitle = {Finding Source Code on the Web for Remix and Reuse},
  pages = {227--250},
  publisher = {Springer New York},
  title = {Test-driven reuse: Key to improving precision of search engines for software reuse},
  year = {2013}
}
@incollection{hummel2013artifact,
  author = {Hummel, Oliver and Atkinson, Colin and Schumacher, Marcus},
  booktitle = {Finding Source Code on the Web for Remix and Reuse},
  pages = {81--101},
  publisher = {Springer New York},
  title = {Artifact Representation Techniques for Large-Scale Software Search Engines},
  year = {2013}
}
@misc{SPEC-RG-NEWSLETTER-2,
  author = {Samuel Kounev and Kai Sachs and Piotr Rygielski},
  month = {June},
  note = {Published by Standard Performance Evaluation Corporation (SPEC)},
  pdf = {http://research.spec.org/fileadmin/user_upload/newsletter/SPEC-RG-Newsletter-vol1-no2-Jun2013-A4.pdf},
  title = {{SPEC Research Group Newsletter, vol. 1 no. 2}},
  url = {http://research.spec.org/en/newsletter.html},
  year = {2013}
}
@inproceedings{RyKoZs2013-ThroughputPrediction,
  author = {Piotr Rygielski and Samuel Kounev and Steffen Zschaler},
  booktitle = {{Proceedings of the 2nd IEEE International Workshop on Measurements and Networking (M&N 2013)}},
  day = {7--8},
  isbn = {978-1-4673-2873-9},
  location = {Naples, Italy},
  month = {October},
  pages = {167--172},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/RyKoZs2013-ThroughputPrediction.pdf},
  tags = {Networking; Simulation; Modeling; Performance; Prediction},
  title = {{Model-Based Throughput Prediction in Data Center Networks}},
  year = {2013}
}
@inproceedings{KrLoKo2013-CGC-PerformanceIsolationFramework,
  author = {Rouven Krebs and Manuel Loesch and Samuel Kounev},
  booktitle = {Proceedings of the 3rd IEEE International Conference on Cloud and Green Computing (CGC 2013)},
  location = {Karlsruhe, Germany},
  title = {{Performance Isolation Framework for Multi-Tenant Applications}},
  year = {2013}
}
@inproceedings{MoKoJuBa2013-BMSD-SoftReservations,
  author = {Seyed Vahid Mohammadi and Samuel Kounev and Adri\'{a}n Juan-Verdejo and Bholanathsingh Surajbali},
  booktitle = {Proceedings of the 3rd International Symposium on Business Modeling and Software Design (BMSD 2013)},
  location = {Noordwijkerhout, The Netherlands},
  pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/MoKoJuBa2013-CLOSER-SoftReservation.pdf},
  title = {{Soft Reservations: Uncertainty-Aware Resource Reservations in IaaS Environments}},
  year = {2013}
}
@mastersthesis{Gorsler2013a,
  address = {Am Fasanengarten 5, 76131 Karlsruhe, Germany},
  author = {Fabian Gorsler},
  month = {July},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/Gorsler2013a.pdf},
  school = {Karlsruhe Institute of Technology (KIT)},
  title = {{Online Performance Queries for Architecture-Level Performance Models}},
  year = {2013}
}
@mastersthesis{Walter2013-parallel-simulation,
  abstract = {For years the CPU clock frequency was the key to improve processor performance. Nowadays, modern processors enable performance improvements by increasing the number of cores. However, existing software needs to be adapted to be able to utilize multiple cores. Such an adaptation poses many challenges in the field of discrete-event software simulation. Decades of intensive research have been spent to find a general solution for parallel discrete event simulation. In this context, QNs and PNs have been extensively studied. However, to the best of our knowledge, there is only one previous work that considers the concurrent simulation of QPN [Juergens1997]. This work focuses on comparing different synchronization algorithms and excludes a majority of lookahead calculation and net decomposition. In this thesis, we build upon and extend this work. For this purpose, we adapted and extended findings from QNs, PNs and parallel simulation in general. We apply our findings to SimQPN, which is a sequential simulation engine for QPN. Among other application areas, SimQPN is currently applied to online performance prediction for which a speedup due to parallelization is desirable. We present a parallel SimQPN implementation that employs application level and event level parallelism. A validation ensures the functional correctness of the new parallel implementations. The parallelization of multiple runs enables almost linear speedup. We parallelized the execution of a single run by the use of a conservative barrier-based synchronization algorithm. The speedup for a single run depends on the capability of the model. Hence, a number of experiments on different net characteristics were conducted showing that for certain models a superlinear speedup is possible.},
  address = {Am Fasanengarten 5, 76131 Karlsruhe, Germany},
  author = {J\"{u}rgen Walter},
  month = {October},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/Walter2013-parallel.pdf},
  school = {Karlsruhe Institute of Technology (KIT)},
  title = {{Parallel Simulation of Queueing Petri Net Models}},
  type = {Diploma Thesis},
  year = {2013}
}
@mastersthesis{busch2013a,
  address = {Am Fasanengarten 5, 76131 Karlsruhe, Germany},
  author = {Axel Busch},
  month = {May},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/busch2013a.pdf},
  school = {Karlsruhe Institute of Technology (KIT)},
  title = {{Workload Characterization for I/O Performance Analysis on IBM System z}},
  year = {2013}
}
@inproceedings{strittmatter2013b,
  author = {Misha Strittmatter and Philipp Merkle and Andreas Rentschler and Michael Langhammer},
  booktitle = {Proceedings of the Symposium on Software Performance: Joint Kieker/Palladio Days},
  day = {27--29},
  editor = {Steffen Becker and Wilhelm Hasselbring and {van Hoorn}, Andr{\'e} and Ralf Reussner},
  location = {Karlsruhe, Germany},
  month = {November},
  pages = {49--58},
  pdf = {http://ceur-ws.org/Vol-1083/paper6.pdf},
  publisher = {CEUR Workshop Proceedings},
  slides = {http://www.kieker-palladio-days.org/fileadmin/user_upload/palladio-conference/2013/slides/KiPaDa2013_Strittmatter_et_al_ModularPCM.pdf},
  tags = {refereed},
  title = {Towards a Modular Palladio Component Model},
  url = {http://www.kieker-palladio-days.org/},
  volume = {1083},
  year = {2013}
}
@inproceedings{GoBrKo2013-ControllingPCM,
  abstract = {The Palladio Bench is a tool to model, simulate and analyze Palladio Component Model (PCM) instances. However, for the Palladio Bench, no single interface to automate experiments or Application Programming Interface (API) to trigger the simulation of PCM instances and to extract performance prediction results is available. The Descartes Query Language (DQL) is a novel approach of a declarative query language to integrate different performance modeling and prediction techniques behind a unifying interface. Users benefit from the abstraction of specific tools to prepare and trigger performance predictions, less effort to obtain performance metrics of interest, and means to automate performance predictions. In this paper, we describe the realization of a DQL Connector for PCM and demonstrate the applicability of our approach in a case study.},
  address = {Aachen, Germany},
  author = {Gorsler, Fabian and Brosig, Fabian and Kounev, Samuel},
  booktitle = {Proceedings of the Symposium on Software Performance: Joint Kieker/Palladio Days (KPDAYS 2013)},
  editor = {Becker, Steffen and Hasselbring, Wilhelm and van Hoorn, Andr\'{e} and Reussner, Ralf},
  month = {November},
  number = {1083},
  pages = {109--118},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/GoBrKo2013-ControllingPCM.pdf},
  publisher = {CEUR-WS.org},
  title = {Controlling the Palladio Bench using the Descartes Query Language},
  url = {http://ceur-ws.org/Vol-1083/},
  year = {2013}
}
@inproceedings{jung2013model,
  author = {Jung, Reiner and Heinrich, Robert and Schmieders, Eric},
  booktitle = {Symposium on Software Performance},
  pages = {99--108},
  publisher = {CEUR},
  title = {Model-driven instrumentation with Kieker and Palladio to forecast dynamic applications},
  url = {http://ceur-ws.org/Vol-1083/paper11.pdf},
  volume = {1083},
  year = {2013}
}
@inproceedings{hummel2013towards,
  author = {Hummel, Oliver and Heinrich, Robert},
  booktitle = {Symposium on Software Performance},
  title = {Towards Automated Software Project Planning Extending Palladio for the Simulation of Software Processes},
  url = {http://ceur-ws.org/Vol-1083/paper3.pdf},
  year = {2013}
}
@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}
}
@inproceedings{heinrich2013prediction,
  author = {Heinrich, Robert and Paech, Barbara},
  booktitle = {Software Enginerring},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/heinrich2013prediction.pdf},
  title = {On the Prediction of the Mutual Impact of Business Processes and Enterprise Information Systems},
  year = {2013}
}
@inproceedings{schlippe2013a,
  author = {Tim Schlippe and Mykola Volovyk and Kateryna Yurchenko and Tanja Schultz},
  booktitle = {2013 IEEE International Conference on Acoustics, Speech and Signal Processing},
  title = {Rapid bootstrapping of a Ukrainian large vocabulary continuous speech recognition system},
  publisher = {IEEE},
  year = {2013},
  location = {Vancouver, BC, Canada},
  pages = {7329-7333},
  keywords = {database languages;dictionaries;interpolation;speech recognition;Bulgarian g2p model;GlobalPhone corpus;LVCSR system;Russian g2p model;Slavic language Ukrainian;Ukrainian speech database;Ukrainian text database;Ukrainian website;acoustic modeling technique;day-wise text collection;grapheme-to-phoneme model;language model interpolation strategy;large vocabulary continuous speech recognition system;pronunciation dictionary production;rapid bootstrapping;rapid language adaptation toolkit;read newspaper speech;word error rate;Abstracts;Adaptation models;Gold;Optimization;Speech;Speech recognition;Vocabulary;Slavic language;Ukrainian;pronunciation dictionary;rapid language adaptation;speech recognition},
  doi = {10.1109/ICASSP.2013.6639086},
  issn = {1520-6149},
  month = {May}
}
@mastersthesis{klare2013a,
  author = {Klare, Heiko},
  school = {Karlsruhe Institute of Technology (KIT)},
  title = {{Personentracking und Gelenkwinkelsch{\"a}tzung in der Laparoskopie}},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klare2013a.pdf},
  type = {Bachelor's Thesis},
  year = {2013}
}
@mastersthesis{werle2013a,
  author = {Werle, Dominik},
  school = {Karlsruhe Institute of Technology (KIT)},
  title = {{Adding a Module Concept to the Model Transformation Language Xtend}},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/werle2013a.pdf},
  type = {Bachelor's Thesis},
  year = {2013}
}
@misc{budde2013,
  author = {Budde, Matthias and Berning, Matthias and Baumg\"{a}rtner, Christopher and Kinn, Florian and Kopf, Timo and Ochs, Sven and Reiche, Frederik and Riedel, Till and Beigl, Michael},
  title = {Point \&\#38; Control -- Interaction in Smart Environments: You Only Click Twice},
  booktitle = {Proceedings of the 2013 ACM Conference on Pervasive and Ubiquitous Computing Adjunct Publication},
  series = {UbiComp '13 Adjunct},
  year = {2013},
  isbn = {978-1-4503-2215-7},
  location = {Zurich, Switzerland},
  pages = {303--306},
  numpages = {4},
  url = {http://doi.acm.org/10.1145/2494091.2494184},
  doi = {10.1145/2494091.2494184},
  publisher = {ACM},
  keywords = {ambient control, assistive technology, home automation, kinect, remote control, smart environments, universal usability, wireless computing},
  howpublished = {Poster at UbiComp '13 Adjunct}
}