2012.bib
@inproceedings{charrada2012a,
abstract = {Keeping requirements specifications up-to-date when systems evolve is a manual and expensive task. Software engineers have to go through the whole requirements document and look for the requirements that are affected by a change. Consequently, engineers usually apply changes to the implementation directly and leave requirements unchanged. In this paper, we propose an approach for automatically detecting outdated requirements based on changes in the code. Our approach first identifies the changes in the code that are likely to affect requirements. Then it extracts a set of keywords describing the changes. These keywords are traced to the requirements specification, using an existing automated traceability tool, to identify affected requirements. Automatically identifying outdated requirements reduces the effort and time needed for the maintenance of requirements specifications significantly and thus helps preserve the knowledge contained in them. We evaluated our approach in a case study where we analyzed two consecutive source code versions and were able to detect 12 requirements-related changes out of 14 with a precision of 79\%. Then we traced a set of keywords we extracted from these changes to the requirements specification. In comparison to simply tracing changed classes to requirements, we got better results in most cases.},
author = {Ben Charrada, Eya and Koziolek, Anne and Glinz, Martin},
booktitle = {Proceedings of the 20th IEEE International Requirements Engineering Conference (RE 2012)},
doi = {10.1109/RE.2012.6345840},
issn = {1090-750X},
keywords = {Context;Documentation;Java;Manuals;Prototypes;Software systems;document handling;formal specification;information retrieval;program diagnostics;software maintenance;automated traceability tool;automatic outdated requirement detection;keyword extraction;outdated requirement identification;requirements document;requirements specification maintenance;source code changes;requirements update;software evolution;source code changes;traceability;},
month = {September},
pages = {61 -70},
pdf = {https://files.ifi.uzh.ch/rerg/arvo/staff/koziolek/papers/charrada2012a.pdf},
title = {Identifying Outdated Requirements Based On Source Code Changes},
year = {2012}
}
@incollection{betz2012aafilmfbpabs,
author = {Stefanie Betz and Erik Burger and Alexander Eckert and Andreas Oberweis and Ralf Reussner and Ralf Trunko},
booktitle = {Aligning Enterprise, System, and Software Architectures},
editor = {Ivan Mistr\'{i}k and Antony Tang and Rami Bahsoon and Judith A. Stafford},
publisher = {IGI Global},
tags = {chapter},
title = {An approach for integrated lifecycle management for business processes and business software},
year = {2012}
}
@book{brosch2012b,
author = {Brosch, Franz},
publisher = {KIT Scientific Publishing, Karlsruhe},
series = {The Karlsruhe Series on Software Design and Quality},
title = {Integrated Software Architecture-Based Reliability Prediction for IT Systems},
volume = {9},
year = {2012}
}
@phdthesis{brosch2012a,
abstract = {With the increasing importance of reliability in business and industrial IT systems, new techniques for architecture-based software reliability prediction are becoming an integral part of the development process. This dissertation thesis introduces a novel reliability modelling and prediction technique that considers the software architecture with its component structure, control and data flow, recovery mechanisms, its deployment to distributed hardware resources and the system's usage profile.},
address = {Karlsruhe, Germany},
author = {Franz Brosch},
month = {June},
school = {Institut f\"ur Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut f\"ur Technologie},
title = {Integrated Software Architecture-Based Reliability Prediction for IT Systems},
url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000028288},
year = {2012}
}
@article{brosch2011b,
abstract = {With the increasing importance of reliability in business and industrial software systems, new techniques of architecture-based reliability engineering are becoming an integral part of the development process. These techniques can assist system architects in evaluating the reliability impact of their design decisions. Architecture-based reliability engineering is only effective if the involved reliability models reflect the interaction and usage of software components and their deployment to potentially unreliable hardware. However, existing approaches either neglect individual impact factors on reliability or hard-code them into formal models, which limits their applicability in component-based development processes. This paper introduces a reliability modelling and prediction technique that considers the relevant architectural factors of software systems by explicitly modelling the system usage profile and execution environment and automatically deriving component usage profiles. The technique offers a UML-like modelling notation, whose models are automatically transformed into a formal analytical model. Our work builds upon the Palladio Component Model, employing novel techniques of information propagation and reliability assessment. We validate our technique with sensitivity analyses and simulation in two case studies. The case studies demonstrate effective support of usage profile analysis and architectural configuration ranking, together with the employment of reliability-improving architecture tactics.},
author = {Franz Brosch and Heiko Koziolek and Barbora Buhnova and Ralf Reussner},
doi = {10.1109/TSE.2011.94},
journal = {IEEE Transactions on Software Engineering},
publisher = {{IEEE Computer Society}},
title = {Architecture-based Reliability Prediction with the Palladio Component Model},
volume = {38},
number = {6},
pages = {1319-1339},
year = {2012},
issn = {0098-5589},
month = {November},
keywords = {Unified Modeling Language;object-oriented programming;software architecture;software reliability;UML like modeling notation;architectural configuration ranking;architecture based reliability engineering;architecture based reliability prediction;architecture tactics;assist system architects;component based development process;component usage profiles;execution environment;formal analytical model;industrial software system;information propagation;palladio component model;reliability assessment;reliability impact;reliability modeling;sensitivity analysis;software component;system usage profile;usage profile analysis;Design methodology;Markov processes;Phase change materials;Software architecture;Software quality;Software reliability;Unified modeling language;Software architectures;design tools and techniques;quality analysis and evaluation;reliability}
}
@inproceedings{BrHuKo2012-CBSE-ParamAndContextDep,
abstract = {Modern enterprise applications have to satisfy increasingly stringent Quality-of-Service requirements. To ensure that a system meets its performance requirements, the ability to predict its performance under different configurations and workloads is essential. Architecture-level performance models describe performance-relevant aspects of software architectures and execution environments allowing to evaluate different usage profiles as well as system deployment and configuration options. However, building performance models manually requires a lot of time and effort. In this paper, we present a novel automated method for the extraction of architecture-level performance models of distributed component-based systems, based on monitoring data collected at run-time. The method is validated in a case study with the industry-standard SPECjEnterprise2010 Enterprise Java benchmark, a representative software system executed in a realistic environment. The obtained performance predictions match the measurements on the real system within an error margin of mostly 10-20 percent.},
author = {Fabian Brosig and Nikolaus Huber and Samuel Kounev},
booktitle = {Proceedings of the 15th ACM SIGSOFT International Symposium on Component Based Software Engineering (CBSE 2012), June 26--28, 2012, Bertinoro, Italy},
month = {June},
note = {Acceptance Rate (Full Paper): 28.5\%.},
pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/BrHuKo2012-CBSE-ParamDep.pdf},
title = {{Modeling Parameter and Context Dependencies in Online Architecture-Level Performance Models}},
url = {http://cbse-conferences.org/2012/},
year = {2012}
}
@inproceedings{durdik2012c,
address = {Trento, Italy},
author = {Zoya Durdik and Benjamin Klatt and Heiko Koziolek and Klaus Krogmann and Johannes Stammel and Roland Weiss},
booktitle = {Proceedings of the 28th IEEE International Conference on Software Maintenance (ICSM)},
title = {Sustainability Guidelines for Long-Living Software Systems},
url = {http://selab.fbk.eu/icsm2012/},
year = {2012}
}
@techreport{Durdik2012a,
abstract = {Variability originates from product line engineering and is an important part of today's software development. However, existing approaches mostly concentrate only on the variability in software product lines, and are usually not universal enough to consider variability in other development activities (e.g., modelling and hardware). Additionally, the complexity of variability in software is generally hard to capture and to handle. We propose a generic model-based solution which can generally handle variability on Ecore-based meta-models. The approach includes a formal description for variability, a way to express the configuration of variants, a compact DSL to describe the semantics of model variability and model-to-model transformations, and an engine which transforms input models into models with injected variability. This work provides a complete and domain-independent solution for variability handling. The applicability of the proposed approach will be validated in two case studies, considering the two independent domains of mobile platforms and architecture knowledge reuse.},
address = {Karlsruhe, Germany},
author = {Zoya Durdik and Klaus Krogmann and Felix Schad},
number = {2012,5, ISSN: 2190-4782},
timestamp = {2012.02.22},
title = {{Towards a generic approach for meta-model- and domain- independent model variability}},
type = {{Karlsruhe Reports in Informatics}},
url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000026207},
year = {2012}
}
@inproceedings{Durdik2012b,
author = {Zoya Durdik and Ralf Reussner},
booktitle = {Proceedings of the 8th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA 2012), Bertinoro, Italy},
title = {{Position Paper: Approach for Architectural Design and Modelling with Documented Design Decisions (ADMD3)}},
year = {2012}
}
@inproceedings{FaHa2012-ICPE,
address = {New York, NY, USA},
author = {Michael Faber and Jens Happe},
booktitle = {Proceedings of 3rd ACM/SPEC Internatioanl Conference on Performance Engineering (ICPE 2012)},
day = {22--25},
isbn = {978-1-4503-1202-8},
location = {Boston, USA},
month = {April},
pages = {33--44},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/FaHa2012-ICPE.pdf},
publisher = {ACM},
title = {Systematic adoption of genetic programming for deriving software performance curves},
url = {http://doi.acm.org/10.1145/2188286.2188295},
year = {2012}
}
@inproceedings{FuBrFa2012-VALUETOOLS-TruthfulResourceReservation,
abstract = {{Prudent capacity planning to meet their clients future computational needs is one of the major issues cloud computing providers face today. By offering resource reservations in advance, providers gain insight into the projected demand of their customers and can act accordingly. However, customers need to be given an incentive, e.g. discounts granted, to commit early to a provider and to honestly, i.e., truthfully reserve their predicted future resource requirements. Customers may reserve capacity deviating from their truly predicted demand, in order to exploit the mechanism for their own benefit, thereby causing futile costs for the provider. In this paper we prove, using a game theoretic approach, that truthful reservation is the best, i.e., dominant strategy for customers if they are capable to make precise forecasts of their demands and that deviations from truth-telling can be profitable for customers if their demand forecasts are uncertain.}},
author = {Funke, Daniel and Brosig, Fabian and Faber, Michael},
booktitle = {{Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools (ValueTools 2012), Carg{\`e}se, France}},
month = {October},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/FuBrFa2012-VALUETOOLS-TruthfulResourceReservation.pdf},
title = {{Towards Truthful Resource Reservation in Cloud Computing}},
year = {2012}
}
@incollection{GiBrNoKoJu2012-ResBook-OnlinePrediction,
abstract = {{Current computing systems are becoming increasingly complex in nature and exhibit large variations in workloads. These changing environments create challenges to the design of systems that can adapt themselves while maintaining desired Quality of Service (QoS), security, dependability, availability and other non-functional requirements. The next generation of resilient systems will be highly distributed, component-based and service-oriented. They will need to operate in unattended mode and possibly in hostile environments, will be composed of a large number of interchangeable components discoverable at run-time, and will have to run on a multitude of unknown and heterogeneous hardware and network platforms. These computer systems will adapt themselves to cope with changes in the operating conditions and to meet the service-level agreements with a minimum of resources. Changes in operating conditions include hardware and software failures, load variation and variations in user interaction with the system, including security attacks and overwhelming situations. This self adaptation of next resilient systems can be achieved by first online predicting how these situations would be by observation of the current environment. This chapter focuses on the use of online predicting methods, techniques and tools for resilient systems. Thus, we survey online QoS adaptive models in several environments as grid environments, service-oriented architectures and ambient intelligence using different approaches based on queueing networks, model checking, ontology engineering among others.}},
address = {Berlin, Heidelberg},
author = {Katja Gilly and Fabian Brosig and Ramon Nou and Samuel Kounev and Carlos Juiz},
booktitle = {Resilience Assessment and Evaluation of Computing Systems},
editor = {K. Wolter and A. Avritzer and M. Vieira and A. van Moorsel},
isbn = {978-3-642-29031-2},
note = {ISBN: 978-3-642-29031-2},
pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/GiBrNoKoJu2012-ResBook-OnlinePredictionCaseStudies.pdf},
publisher = {Springer-Verlag},
series = {XVIII},
title = {Online prediction: Four case studies},
url = {http://www.springer.com/computer/communication+networks/book/978-3-642-29031-2},
year = {2012}
}
@inproceedings{goldschmidt2012a,
author = {Goldschmidt, Thomas and Becker, Steffen and Burger, Erik},
booktitle = {Proceedings of the Modellierung 2012},
editor = {Sinz, Elmar J. and Sch\"{u}rr, Andy},
location = {Bamberg},
month = {March},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/goldschmidt2012a.pdf},
series = {GI-Edition -- Lecture Notes in Informatics (LNI)},
title = {Towards a Tool-Oriented Taxonomy of View-Based Modelling},
volume = {P-201},
year = {2012},
pages = {59--74},
publisher = {Gesellschaft f\"{u}r Informatik e.V.\ (GI)},
address = {Bonn, Germany},
location = {Bamberg},
isbn = {978-3-88579-295-6},
issn = {1617-5468}
}
@inproceedings{gooijer2012a,
acmid = {2188319},
address = {New York, NY, USA},
author = {Thijmen de Gooijer and Anton Jansen and Heiko Koziolek and Anne Koziolek},
booktitle = {Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering},
doi = {10.1145/2188286.2188319},
editor = {Lizy {Kurian John} and Diwakar Krishnamurthy},
isbn = {978-1-4503-1202-8},
keywords = {industrial case study, performance modeling, software architecture},
location = {Boston, Massachusetts, USA},
note = {ICPE Best Industry-Related Paper Award},
numpages = {12},
pages = {205--216},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/gooijer2012a.pdf},
publisher = {ACM},
series = {ICPE '12},
title = {An Industrial Case Study of Performance and Cost Design Space Exploration},
url = {http://icpe2012.ipd.kit.edu},
year = {2012}
}
@article{gouvea2012a,
abstract = {In this paper, we report on our experience with the application of validated models to assess performance, reliability, and adaptability of a complex mission critical system that is being developed to dynamically monitor and control the position of an oil-drilling platform. We present real-time modeling results that show that all tasks are schedulable. We performed stochastic analysis of the distribution of task execution time as a function of the number of system interfaces. We report on the variability of task execution times for the expected system configurations. In addition, we have executed a system library for an important task inside the performance model simulator. We report on the measured algorithm convergence as a function of the number of vessel thrusters. We have also studied the system architecture adaptability by comparing the documented system architecture and the implemented source code. We report on the adaptability findings and the recommendations we were able to provide to the system's architect. Finally, we have developed models of hardware and software reliability. We report on hardware and software reliability results based on the evaluation of the system architecture.},
author = {Daniel Dominguez Gouv\^ea and Cyro Muniz and Gilson Pinto and Alberto Avritzer and Rosa Maria Meri {Le\~{a}o} and Edmundo de Souza e Silva and Morganna Carmem Diniz and Luca Berardinelli and Julius C. B. Leite and Daniel {Moss\'e} and Yuanfang Cai and Michael Dalton and Lucia Happe and Anne Koziolek},
doi = {10.1007/s10270-012-0264-x},
issn = {1619-1366},
journal = {Journal of Software and Systems Modeling},
keywords = {Performance; Reliability; Adaptability},
note = {Special Issue on Performance Modeling},
pages = {1--23},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/gouvea2012a.pdf},
publisher = {Springer-Verlag},
title = {Experience with Model-based Performance, Reliability and Adaptability Assessment of a Complex Industrial Architecture},
year = {2012},
tags = {peer-reviewed}
}
@inproceedings{groenda2012a,
acmid = {2304715},
address = {New York, NY, USA},
author = {Henning Groenda},
booktitle = {Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures (QoSA)},
doi = {10.1145/2304696.2304715},
isbn = {978-1-4503-1346-9},
location = {Bertinoro, Italy},
month = {June},
numpages = {6},
pages = {111--116},
publisher = {ACM},
series = {QoSA '12},
title = {Improving performance predictions by accounting for the accuracy of composed performance models},
url = {http://doi.acm.org/10.1145/2304696.2304715},
year = {2012}
}
@inproceedings{groenda2012b,
acmid = {2311413},
address = {Washington, DC, USA},
author = {Henning Groenda},
booktitle = {Proceedings of the 2012 Ninth International Conference on Information Technology - New Generations},
doi = {10.1109/ITNG.2012.49},
isbn = {978-0-7695-4654-4},
month = {April},
numpages = {6},
pages = {287--292},
publisher = {IEEE Computer Society},
series = {ITNG '12},
title = {Protecting Intellectual Property by Certified Component Quality Descriptions},
url = {http://dx.doi.org/10.1109/ITNG.2012.49},
year = {2012}
}
@inproceedings{groenda2012c,
author = {Henning Groenda},
booktitle = {Proceedings of the 38th EUROMICRO Conference on Software Engineering and Advanced Applications},
doi = {10.1109/SEAA.2012.17},
isbn = {978-1-4673-2451-9},
month = {September},
pages = {133--137},
series = {SEAA '12},
title = {Path Coverage Criteria for Palladio Performance Models},
year = {2012},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA}
}
@mastersthesis{Heger2012a,
author = {Christoph Heger},
month = {February},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/Heger2012a.pdf},
school = {Karlsruhe Institute of Technology (KIT), Germany},
title = {{Automatische Problemdiagnose in Performance-Unit-Tests}},
year = {2012}
}
@mastersthesis{Herbst2012a,
abstract = {{Virtualization technologies enable dynamic allocation of computing resources to execution environments at run-time. To exploit optimisation potential that comes with these degrees of freedom, forecasts of the arriving work's intensity are valuable information, to continuously ensure a defined quality of service (QoS) definition and at the same time to improve the efficiency of the resource utilisation. Time series analysis offers a broad spectrum of methods for calculation of forecasts based on periodically monitored values. Related work in the field of proactive resource provisioning mostly concentrate on single methods of the time series analysis and their individual optimisation potential. This way, usable forecast results are achieved only in certain situations. In this thesis, established methods of the time series analysis are surveyed and grouped concerning their strengths and weaknesses. A dynamic approach is presented that selects based on a decision tree and direct feedback cycles, capturing the forecast accuracy, the suitable method for a given situation. The user needs to provide only his general forecast objectives. An implementation of the introduced theoretical approach is presented that continuously provides forecasts of the arriving work's intensity in configurable intervals and with controllable computational overhead during run-time. Based on real-world intensity traces, a number of different experiments and a case study is conducted. The results show, that by use of the implementation the relative error of the forecast points in relation to the arriving observations is reduced by 63% in average compared to the results of a statically selected, sophisticated method. In a case study, between 52% and 70% of the violations of a given service level agreement are prevented by applying proactive resource provisioning based on the forecast results of the introduced implementation.}},
address = {Am Fasanengarten 5, 76131 Karlsruhe, Germany},
author = {Nikolas Roman Herbst},
keywords = {Cloud, Resource Elasticity, Workload, Forecasting, Time Series},
note = {Forschungszentrum Informatik (FZI) Prize "Best Diploma Thesis"},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/Herbst2012a.pdf},
school = {{Karlsruhe Institute of Technology (KIT)}},
title = {{Workload Classification and Forecasting}},
type = {{Diploma Thesis}},
year = {2012}
}
@incollection{HuBrDiJoKo2012-ResBook-CloudCaseStudies,
address = {Berlin, Heidelberg},
author = {Nikolaus Huber and Fabian Brosig and N. Dingle and K. Joshi and Samuel Kounev},
booktitle = {{Resilience Assessment and Evaluation of Computing Systems}},
editor = {K. Wolter and A. Avritzer and M. Vieira and A. van Moorsel},
isbn = {978-3-642-29031-2},
note = {ISBN: 978-3-642-29031-2},
pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/HuBrDiJoKo2012-ResBook-CloudCaseStudies.pdf},
publisher = {Springer-Verlag},
series = {XVIII},
title = {{Providing Dependability and Performance in the Cloud: Case Studies}},
url = {http://www.springer.com/computer/communication+networks/book/978-3-642-29031-2},
year = {2012}
}
@inproceedings{HuBrKo2012-QoSA-ModelingVirtResLandscapes,
abstract = {Modern data centers are subject to an increasing demand for flexibility. Increased flexibility and dynamics, however, also result in a higher system complexity. This complexity carries on to run-time resource management for Quality-of-Service (QoS) enforcement, rendering design-time approaches for QoS assurance inadequate. In this paper, we present a set of novel meta-models that can be used to describe the resource landscape, the architecture and resource layers of dynamic virtualized data center infrastructures, as well as their run-time adaptation and resource management aspects. With these meta-models we introduce new modeling concepts to improve model-based run-time QoS assurance. We evaluate our meta-models by modeling a representative virtualized service infrastructure and using these model instances for run-time resource allocation. The results demonstrate the benefits of the new meta-models and show how they can be used to improve model-based system adaptation and run-time resource management in dynamic virtualized data centers.},
address = {New York, NY, USA},
author = {Nikolaus Huber and Fabian Brosig and Samuel Kounev},
booktitle = {Proceedings of the 8th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA 2012)},
day = {25--28},
doi = {10.1145/2304696.2304711},
isbn = {978-1-4503-1346-9},
location = {Bertinoro, Italy},
month = {June},
note = {Acceptance Rate (Full Paper): 25.6\%},
pages = {81--90},
pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/HuBrKo2012-QoSA-ModelingVirtResLandscapes.pdf},
publisher = {ACM},
title = {{Modeling Dynamic Virtualized Resource Landscapes}},
url = {http://qosa.ipd.kit.edu/qosa_2012/},
year = {2012}
}
@inproceedings{HuHoKoBrKo2012-ICEBE-STA,
abstract = {Modern virtualized system environments usually host diverse applications of different parties and aim at utilizing resources efficiently while ensuring that quality-of-service requirements are continuously satisfied. In such scenarios, complex adaptations to changes in the system environment are still largely performed manually by humans. Over the past decade, autonomic self-adaptation techniques aiming to minimize human intervention have become increasingly popular. However, given that adaptation processes are usually highly system specific, it is a challenge to abstract from system details enabling the reuse of adaptation strategies. In this paper, we propose a novel modeling language (meta-model) providing means to describe system adaptation processes at the system architecture level in a generic, human-understandable and reusable way. We apply our approach to three different realistic contexts (dynamic resource allocation, software architecture optimization, and run-time adaptation planning) showing how the gap between complex manual adaptations and their autonomous execution can be closed by using a holistic model-based approach.},
address = {Los Alamitos, CA, USA},
author = {Nikolaus Huber and Andr\'{e} van Hoorn and Anne Koziolek and Fabian Brosig and Samuel Kounev},
booktitle = {Proceedings of the 9th IEEE International Conference on e-Business Engineering (ICEBE 2012)},
day = {9--11},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICEBE.2012.21},
isbn = {978-1-4673-2601-8},
location = {Hangzhou, China},
month = {September},
note = {Acceptance Rate (Full Paper): 19.7\% (26/132)},
pages = {70--77},
pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/HuHoKoBrKo2012-ICEBE-AdaptationLanguage.pdf},
publisher = {IEEE Computer Society},
title = {{S/T/A: Meta-Modeling Run-Time Adaptation in Component-Based System Architectures}},
url = {http://conferences.computer.org/icebe/2012/index.htm},
year = {2012}
}
@incollection{HuQuBrHaKo2012-CCaSS-ExpVirtPerfOverhead,
address = {New York},
author = {Huber, Nikolaus and von Quast, Marcel and Brosig, Fabian and Hauck, Michael and Kounev, Samuel},
booktitle = {Cloud Computing and Services Science},
doi = {10.1007/978-1-4614-2326-3_19},
editor = {Ivanov, Ivan and van Sinderen, Marten and Shishkov, Boris},
isbn = {978-1-4614-2325-6},
pages = {353--370},
pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/HuQuBrHaKo2012-CCaSS-ExpVirtPerfOverhead.pdf},
publisher = {Springer},
series = {Service Science: Research and Innovations in the Service Economy},
title = {{A Method for Experimental Analysis and Modeling of Virtualization Performance Overhead}},
url = {http://dx.doi.org/10.1007/978-1-4614-2326-3_19},
year = {2012}
}
@inproceedings{kuester2012a,
address = {Bad-Honnef, Germany},
author = {Martin K{\"u}ster and Benjamin Klatt},
booktitle = {14th Workshop Software-Reengineering (WSR 2012)},
month = {May},
day = {2-4},
pdf = {http://sdqweb.ipd.uka.de/publications/pdfs/kuester2012a.pdf},
title = {{Leveraging Design Decisions in Evolving Systems}},
url = {http://fg-sre.gi.de/konferenzen/wsr/wsr-2012.html},
year = {2012}
}
@inproceedings{Kuester2012c,
acmid = {2362025},
address = {New York, NY, USA},
author = {K\"{u}ster, Martin and Trifu, Mircea},
booktitle = {Proceedings of the WICSA/ECSA 2012 Companion Volume},
doi = {10.1145/2361999.2362025},
isbn = {978-1-4503-1568-5},
location = {Helsinki, Finland},
numpages = {8},
pages = {124--131},
publisher = {ACM},
series = {WICSA/ECSA '12},
title = {A case study on co-evolution of software artifacts using integrated views},
url = {http://doi.acm.org/10.1145/2361999.2362025},
year = {2012}
}
@inproceedings{Kuster2012b,
author = {K\"{u}ster, Martin and Viehl, Alexander and Burger, Andreas and Bringmann, Oliver and Rosenstiel, Wolfgang},
booktitle = {1st International Workshop on Metamodelling and Code Generation for Embedded Systems},
file = {:C$\backslash$:/versioned/verde-fzi/documents/Kuester\_Viehl\_MeCoES2012/paper/MeCoES.pdf:pdf},
title = {{Meta-Modelling the SystemC Standard for Component-based Embedded System Design}},
year = {2012}
}
@article{klatt2012d,
author = {Klatt, Benjamin and Becker, Steffen},
journal = {OBJEKTspektrum},
number = {6},
publisher = {Sigs Datacom},
title = {{A}rchitekturen 2012: {I}ndustrie und {W}issenschaft treffen sich},
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=7287},
volume = {6},
year = {2012}
}
@inproceedings{klatt2012a,
abstract = {Integrating 3rd party components in software systems provides promising advantages but also risks due to disconnected evolution cycles. Deciding whether to migrate to a newer version of a 3rd party component integrated into self-implemented code or to switch to a different one is challenging. Dedicated evolution support for 3rd party component scenarios is hence required. Existing approaches do not account for open source components which allow accessing and analyzing their source code and project information. The approach presented in this paper combines analyses for code dependency, code quality, and bug tracker information for a holistic view on the evolution with 3rd party components. We applied the approach in a case study on a communication middleware component for industrial devices used at ABB. We identified 7 methods potentially impacted by changes of 3rd party components despite the absence of interface changes. We further identified self-implemented code that does not need any manual investigation after the 3rd party component evolution as well as a positive trend of code and bug tracker issues.},
address = {Szeged, Hungary},
author = {Benjamin Klatt and Zoya Durdik and Klaus Krogmann and Heiko Koziolek and Johannes Stammel and Roland Weiss},
booktitle = {Proceedings of the 16th Conference on Software Maintenance and Reengineering (CSMR'12)},
doi = {10.1109/CSMR.2012.59},
issn = {1534-5351},
keywords = {Benchmark testing;Computer bugs;Databases;Manuals;Reliability;Software systems;middleware;program debugging;bug tracker information;code dependency;code quality;communication middleware component;disconnected evolution cycles;industrial devices;long-living software systems;open source components;project information;self-implemented code;third party components;},
month = {March},
pages = {461--464},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klatt2012a.pdf},
title = {{Identify Impacts of Evolving Third Party Components on Long-Living Software Systems}},
year = {2012}
}
@inproceedings{klatt2012c,
address = {Bertinoro, Italy},
author = {Benjamin Klatt and Martin K{\"u}ster},
booktitle = {Proceedings of the 17th International Doctoral Symposium on Components and Architecture (WCOP'12)},
month = {June},
note = {Young Investigator / Best Paper Award},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klatt2012c.pdf},
title = {{Respecting Component Architecture to Migrate Product Copies to a Software Product Line}},
year = {2012}
}
@article{klatt2012b,
address = {Bamberg, Germany},
author = {Benjamin Klatt and Klaus Krogmann},
booktitle = {Proceedings of the 1st Workshop on Model-Based and Model-Driven Software Modernization (MMSM'12)},
journal = {Softwaretechnik-Trends},
month = {March},
number = {2},
pages = {13-14},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klatt2012b.pdf},
publisher = {K{\"o}llen Druck & Verlag GmbH},
title = {{Model-Driven Product Consolidation into Software Product Lines}},
url = {http://dx.doi.org/10.1007/BF03323457},
volume = {32},
year = {2012}
}
@techreport{klein2012a,
abstract = {This technical report presents the formalisation of the composition operator of GeKo, a Generic Aspect Models Weaver},
author = {Jacques Klein and Max E. Kramer and Jim R. H. Steel and Brice Morin and J{\"o}rg Kienzle and Olivier Barais and Jean-Marc J{\'e}z{\'e}quel},
booktitle = {On the Formalisation of GeKo: a Generic Aspect Models Weaver (Tech Report)},
institution = {University of Luxembourg, SnT},
isbn = {978-2-87971-110-2},
keywords = {Aspect-Oriented Modeling, Model Composition, Generic Weaver},
pages = {1--15},
pdf = {http://publications.uni.lu/bitstream/10993/3951/1/Geko_Annex_camera_ready_tech_Report.pdf},
publisher = {SnT Technical Report},
title = {On the Formalisation of GeKo: a Generic Aspect Models Weaver},
url = {http://hdl.handle.net/10993/3951},
year = {2012}
}
@incollection{KoHuSpBr2012-business-inf-sys,
abstract = {{With the increasing adoption of virtualization and the transition towards Cloud Computing platforms, modern business information systems are becoming increasingly complex and dynamic. This raises the challenge of guaranteeing system performance and scalability while at the same time ensuring efficient resource usage. In this paper, we present a historical perspective on the evolution of model-based performance engineering techniques for business information systems focusing on the major developments over the past several decades that have shaped the field. We survey the state-of-the-art on performance modeling and management approaches discussing the ongoing efforts in the community to increasingly bridge the gap between high-level business services and low level performance models. Finally, we wrap up with an outlook on the emergence of self-aware systems engineering as a new research area at the intersection of several computer science disciplines.}},
address = {Berlin, Heidelberg},
author = {Samuel Kounev and Nikolaus Huber and Simon Spinner and Fabian Brosig},
booktitle = {Business Modeling and Software Design},
editor = {Shishkov, Boris},
isbn = {978-3-642-29788-5},
pages = {19--37},
pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/KoHuSpBr2012-business-inf-sys.pdf},
publisher = {Springer-Verlag},
series = {Lecture Notes in Business Information Processing (LNBIP)},
title = {Model-based Techniques for Performance Engineering of Business Information Systems},
url = {http://dx.doi.org/10.1007/978-3-642-29788-5_2},
volume = {0109},
year = {2012}
}
@incollection{KoReBrBrJoBaStGi2012-ResBook-CloudChallenges,
abstract = {{Cloud Computing is a novel paradigm for providing data center resources as on demand services in a pay-as-you-go manner. It promises significant cost savings by making it possible to consolidate workloads and share infrastructure resources among multiple applications resulting in higher cost- and energy-efficiency. However, these benefits come at the cost of increased system complexity and dynamicity posing new challenges in providing service dependability and resilience for applications running in a Cloud environment. At the same time, the virtualization of physical resources, inherent in Cloud Computing, provides new opportunities for novel dependability and quality-of-service management techniques that can potentially improve system resilience. In this chapter, we first discuss in detail the challenges and opportunities introduced by the Cloud Computing paradigm. We then provide a review of the state-of-the-art on dependability and resilience management in Cloud environments, and conclude with an overview of emerging research directions.}},
address = {Berlin, Heidelberg},
author = {Samuel Kounev and Philipp Reinecke and Fabian Brosig and Jeremy T. Bradley and Kaustubh Joshi and Vlastimil Babka and Anton Stefanek and Stephen Gilmore},
booktitle = {Resilience Assessment and Evaluation of Computing Systems},
editor = {K. Wolter and A. Avritzer and M. Vieira and A. van Moorsel},
isbn = {978-3-642-29031-2},
note = {ISBN: 978-3-642-29031-2},
pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/KoReBrBrJoBaStGi2012-ResBook-CloudChallenges.pdf},
publisher = {Springer-Verlag},
series = {XVIII},
title = {Providing Dependability and Resilience in the Cloud: Challenges and Opportunities},
url = {http://www.springer.com/computer/communication+networks/book/978-3-642-29031-2},
year = {2012}
}
@inproceedings{KoSpMe2012-icpe-QPME_Tutorial,
address = {New York, NY, USA},
author = {Samuel Kounev and Simon Spinner and Philipp Meier},
booktitle = {{Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012)}},
day = {22--25},
isbn = {978-1-4503-1202-8},
location = {Boston, USA},
month = {April},
organization = {ACM,SPEC},
pages = {9--18},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/KoSpMe2012-icpe-QPME_Tutorial.pdf},
publisher = {ACM},
slides = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/2012-ICPE-Tutorial-QPNs.pdf},
title = {{Introduction to Queueing Petri Nets: Modeling Formalism, Tool Support and Case Studies}},
titleaddon = {(Tutorial Paper)},
url = {http://doi.acm.org/10.1145/2188286.2188290},
year = {2012}
}
@inproceedings{koziolek2012d,
abstract = {[Context and motivation] Quality requirements are a main driver for architectural decisions of software systems. Although the need for iterative handling of requirements and architecture has been identified, current architecture design processes do not provide systematic, quantitative feedback for the prioritization and cost/benefit considerations for quality requirements. [Question/problem] Thus, in practice stakeholders still often state and prioritize quality requirements before knowing the software architecture, i.e. without knowledge about the quality dependencies, conflicts, incurred costs, and technical feasibility. However, as quality properties usually are cross-cutting architecture concerns, estimating the effects of design decisions is difficult. Thus, stakeholders cannot reliably know the appropriate required level of quality. [Principal ideas/results] In this research proposal, we suggest an approach to generate feedback from quantitative architecture evaluation to requirements engineering, in particular to requirements prioritization. We propose to use automated design space exploration techniques to generate information about available trade-offs. Final quality requirement prioritization is deferred until first feedback from architecture evaluation is available. [Contribution] In this paper, we present the process model of our approach enabling feedback to requirement prioritization and describe application scenarios and an example.},
affiliation = {Department of Informatics, University of Zurich, Switzerland},
author = {Anne Koziolek},
booktitle = {Requirements Engineering: Foundation for Software Quality},
doi = {10.1007/978-3-642-28714-5_5},
editor = {Regnell, Bj{\"o}rn and Damian, Daniela},
isbn = {978-3-642-28713-8},
keyword = {Computer Science},
pages = {52--58},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/koziolek2012a.pdf},
publisher = {Springer Verlag Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
title = {Research Preview: Prioritizing Quality Requirements based on Software Architecture Evaluation Feedback},
url = {http://www.refsq.org/2012/},
volume = {7195},
year = {2012}
}
@inproceedings{koziolek2012c,
abstract = {Quality requirements are main drivers for architectural decisions of software systems. However, in practice they are often dismissed during development, because of initially unknown dependencies and consequences that complicate implementation. To decide for meaningful, feasible quality requirements and trade them off with functional requirements, tighter integration of software architecture evaluation and requirements prioritization is necessary. In this position paper, we propose a tool-supported method for architecture-driven feedback into requirements prioritization. Our method uses automated design space exploration based on quantitative quality evaluation of software architecture models. It helps requirements analysts and software architects to study the quality trade-offs of a software architecture, and use this information for requirements prioritization.},
author = {Anne Koziolek},
booktitle = {First International Workshop on the Twin Peaks of Requirements and Architecture ({TwinPeaks 2012})},
doi = {10.1109/TwinPeaks.2012.6344554},
pages = {15--19},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/koziolek2012c.pdf},
publisher = {IEEE Computer Society},
title = {Architecture-Driven Quality Requirements Prioritization},
url = {http://re.cs.depaul.edu/twinpeaks/},
year = {2012}
}
@inproceedings{koziolek2012b,
abstract = {Smart distribution networks shall improve the efficiency and reliability of power distribution by intelligently managing the available power and requested load. Such intelligent power networks pose challenges for information and communication technology (ICT). Their design requires a holistic assessment of traditional power system topology and ICT architecture. Existing analysis approaches focus on analyzing the power networks components separately. For example, communication simulation provides failure data for communication links, while power analysis makes predictions about the stability of the traditional power grid. However, these insights are not combined to provide a basis for design decisions for future smart distribution networks. In this paper, we describe a common model-driven analysis framework for smart distribution networks based on the Common Information Model (CIM). This framework provides scalable analysis of large smart distribution networks by supporting analyses on different levels of abstraction. Furthermore, we apply our framework to holistic survivability analysis. We map the CIM on a survivability model to enable assessing design options with respect to the achieved survivability improvement. We demonstrate our approach by applying the mapping transformation in a case study based on a real distribution circuit. We conclude by evaluating the survivability impact of three investment options.},
author = {Anne Koziolek and Lucia Happe and Alberto Avritzer and Sindhu Suresh},
booktitle = {Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids 2012)},
doi = {10.1109/SE4SG.2012.6225713},
isbn = {978-1-4673-1864-8},
pages = {23--29},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/koziolek2012b.pdf},
publisher = {IEEE},
title = {A Common Analysis Framework for Smart Distribution Networks Applied to Survivability Analysis of Distribution Automation},
url = {http://gridoptics.pnnl.gov/se4sg12},
year = {2012}
}
@article{koziolek2012a,
author = {Koziolek, Heiko and Schlich, Bastian and Becker, Steffen and Hauck, Michael},
doi = {10.1007/s10664-012-9213-0},
issn = {1382-3256},
journal = {Empirical Software Engineering},
keywords = {Software architecture; Performance prediciton; Reliablity prediction; Case study},
pages = {1-45},
publisher = {Springer US},
title = {Performance and reliability prediction for evolving service-oriented software systems},
url = {http://dx.doi.org/10.1007/s10664-012-9213-0},
year = {2012}
}
@inproceedings{kramer2012b,
abstract = {Extending metamodels to account for new concerns has a major influence on existing instances, transformations and tools. To minimize the impact on existing artefacts, various techniques for extending a metamodel are available, for example, decorators and annotations. The Palladio Component Model (PCM) is a metamodel for predicting quality of component-based software architectures. It is continuously extended in order to be applicable in originally unexpected domains and settings. Nevertheless, a common extension approach for the PCM and for the tools built on top of it is still missing. In this paper, we propose a lightweight extension approach for the PCM based on profiles and stereotypes to close this gap. Our approach is going to reduce the development effort for new PCM extensions by handling both the definition and use of extensions in a generic way. Due to a strict separation of the PCM, its extension domains, and the connections in between, the approach also increases the interoperability of PCM extensions.},
address = {Karlsruhe},
author = {Max E. Kramer and Zoya Durdik and Michael Hauck and J{\"o}rg Henss and Martin K{\"u}ster and Philipp Merkle and Andreas Rentschler},
booktitle = {Palladio Days 2012 Proceedings (appeared as technical report)},
editor = {Steffen Becker and Jens Happe and Anne Koziolek and Ralf Reussner},
pages = {7--15},
pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/2350659},
publisher = {KIT, Faculty of Informatics},
series = {Karlsruhe Reports in Informatics ; 2012,21},
tags = {workshop},
title = {{Extending the Palladio Component Model using Profiles and Stereotypes}},
url = {http://nbn-resolving.org/urn:nbn:de:swb:90-308043},
year = {2012}
}
@inproceedings{kramer2012a,
abstract = {In the construction industry an increasing number of buildings is designed using semantically rich three-dimensional models. In parallel, additional information called building specifications is specified in a text file using natural language. As not all details are present in the model these specifications have to be interpreted whenever costs are estimated or other analysis is performed. In this paper, we argue that building specifications are cross-cutting concerns. We also argue that domain experts shall be given the possibility to formulate buildings specifications using a domain-specific aspect language so that the corresponding details can automatically be integrated into the model. Moreover these domain-exports shall define the semantics of this language iteratively in order to have a flexible support for domain-specific abstractions absent in the building metamodel. This model enriching specification could improve various tasks that take details into account that were so far only covered by the specification text. It would also allow for earlier or even concurrent development of the building specification along with the model.},
acmid = {2162047},
address = {New York, NY, USA},
author = {Max E. Kramer and Jacques Klein and Jim R.H. Steel},
booktitle = {Proceedings of the seventh workshop on Domain-Specific Aspect Languages},
doi = {10.1145/2162037.2162047},
isbn = {978-1-4503-1128-1},
keywords = {aom, dsal, dsml, mde, model weaving},
location = {Potsdam, Germany},
numpages = {4},
pages = {29--32},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2012a.pdf},
publisher = {ACM},
series = {DSAL '12},
tags = {workshop},
title = {Building specifications as a domain-specific aspect language},
url = {http://doi.acm.org/10.1145/2162037.2162047},
year = {2012}
}
@mastersthesis{kramer2012c,
author = {Max E. Kramer},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2012c.pdf},
school = {Karlsruhe Institute of Technology (KIT), Germany},
title = {Generic and Extensible Model Weaving and its Application to Building Models},
year = {2012}
}
@inproceedings{KrMoKo2012-QoSA-QuantifyingPerfIsoMetrics,
address = {New York, USA},
author = {Krebs, Rouven and Momm, Christof and Kounev, Samuel},
booktitle = {Proceedings of the 8th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA 2012)},
day = {25--28},
editor = {Buhnova, Barbora and Vallecillo, Antonio},
location = {Bertinoro, Italy},
month = {June},
note = {Acceptance Rate (Full Paper): 25.6\%},
pages = {91--100},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/KrMoKo2012-QoSA-QuantifyingPerfIsoMetrics.pdf},
publisher = {ACM Press},
title = {{M}etrics and {T}echniques for {Q}uantifying {P}erformance {I}solation in {C}loud {E}nvironments},
url = {http://qosa.ipd.kit.edu/qosa_2012/},
year = {2012}
}
@inproceedings{KrMoKo2012-closer-multitenant-saas,
author = {Krebs, Rouven and Momm, Christof and Kounev, Samuel},
booktitle = {{Proceedings of the 2nd International Conference on Cloud Computing and Services Science (CLOSER 2012)}},
day = {18--21},
location = {Setubal, Portugal},
month = {April},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/KrMoKo2012-closer-multitenant-sass.pdf},
publisher = {SciTePress},
title = {{Architectural Concerns in Multi-Tenant SaaS Applications}},
titleaddon = {(Short Paper)},
year = {2012}
}
@book{krogmann2012a,
abstract = {Model-based performance prediction systematically deals with the evaluation of software performance to avoid for example bottlenecks, estimate execution environment sizing, or identify scalability limitations for new usage scenarios. Such performance predictions require up-to-date software performance models. This book describes a new integrated reverse engineering approach for the reconstruction of parameterised software performance models (software component architecture and behaviour).},
author = {Klaus Krogmann},
doi = {10.5445/KSP/1000025617},
keywords = {Reverse Engineering, Reconstruction, Performance Model, Software Architecture Model, Machine Learning, Genetic Algorithms, Behaviour Models},
publisher = {{KIT Scientific Publishing}},
series = {The Karlsruhe Series on Software Design and Quality},
series-editor = {Ralf Reussner},
title = {{Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis}},
url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000025617},
volume = {4},
year = {2012}
}
@inproceedings{menasche2012a,
acmid = {2425260},
address = {New York, NY, USA},
author = {Menasch{\'e}, Daniel S. and Meri {Le\~{a}o}, Rosa Maria and de Souza e Silva, Edmundo and Avritzer, Alberto and Suresh, Sindhu and Trivedi, Kishor and Marie, Raymond A. and Happe, Lucia and Koziolek, Anne},
booktitle = {SIGMETRICS Performance Evaluation Review},
doi = {10.1145/2425248.2425260},
editor = {Martin Arlitt and Niklas Carlsson and Nidhi Hegde},
issn = {0163-5999},
issue_date = {December 2012},
keywords = {smart grid, survivability, transient analysis},
month = {January},
note = {Special issue on the 2012 GreenMetrics workshop},
number = {3},
numpages = {5},
pages = {53--57},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/menasche2012a.pdf},
publisher = {ACM},
title = {Survivability analysis of power distribution in smart grids with active and reactive power modeling},
url = {http://doi.acm.org/10.1145/2425248.2425260},
volume = {40},
year = {2012}
}
@inproceedings{MiKo2011-ICITST-TowardsBenchmarking,
abstract = {{Many recent research works propose novel architectures of intrusion detection systems specifically designed to operate in virtualized environments. However, little attention has been given to the evaluation and benchmarking of such architectures with respect to their performance and dependability. In this paper, we present a research roadmap towards developing a framework for benchmarking intrusion detection systems for cloud environments in a scientifically rigorous and a representative manner.}},
address = {New York, USA},
author = {Aleksandar Milenkoski and Samuel Kounev},
booktitle = {Proceedings of the 7th International Conference for Internet Technology and Secured Transactions (ICITST 2012)},
location = {London, United Kingdom},
month = {December},
pages = {562--563},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/MiKo2011-icitst-TowardsBenchmarking.pdf},
publisher = {IEEE},
tags = {Intrusion detection, Virtual machine introspection},
title = {{Towards Benchmarking Intrusion Detection Systems for Virtualized Cloud Environments}},
titleaddon = {(Extended Abstract)},
url = {http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6470873},
year = {2012}
}
@inproceedings{Prause2012a,
author = {Christian Prause and Zoya Durdik},
booktitle = {{Proceedings of the International Conference on Software and Systems Process (ICSSP 2012) (co-located with ICSE 2012)}},
month = {June},
title = {{Architectural Design and Documentation: Waste in Agile Development?}},
year = {2012}
}
@inproceedings{rathfelder2012a,
author = {Christoph Rathfelder and Stefan Becker and Klaus Krogmann and Ralf Reussner},
booktitle = {Proceedings of the Joint 10th Working IEEE/IFIP Conference on Software Architecture (WICSA) \& 6th European Conference on Software Architecture (ECSA)},
doi = {10.1109/WICSA-ECSA.212.11},
location = {Helsinki, Finland},
month = {August},
note = {Acceptance Rate (Full Paper): 19.8\%},
pages = {31--40},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/rathfelder2012a.pdf},
title = {Workload-aware System Monitoring Using Performance Predictions Applied to a Large-scale E-Mail System},
url = {http://dx.doi.org/10.1109/WICSA-ECSA.212.11},
year = {2012},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA}
}
@article{SaKoBu2011-SoSyM-PerfModMoEdSys,
affiliation = {SAP AG, Walldorf, Germany},
author = {Sachs, Kai and Kounev, Samuel and Buchmann, Alejandro},
doi = {10.1007/s10270-012-0228-1},
issn = {1619-1366},
journal = {Journal of Software and Systems Modeling (SoSyM)},
month = {February},
pages = {1--25},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/SaKoBu2011-SoSyM-PerfModMoEdSys.pdf},
publisher = {Springer-Verlag},
title = {Performance modeling and analysis of message-oriented event-driven systems},
url = {http://dx.doi.org/10.1007/s10270-012-0228-1},
year = {2012}
}
@book{seyff2012a,
abstract = {``Modeling and Quality in Requirements Engineering'' is the Festschrift dedicated to Martin Glinz on the occasion of his 60th birthday. Colleagues and friends have sent contributions to honor his achievements in the field of Software and Requirements Engineering. The contributions address specific topics in Martin's main research areas of modeling and quality in requirements engineering. Examples include risk-driven requirements engineering, non-functional requirements and lightweight requirements modeling. Furthermore, they cover related topics such as quality of business processes, SOA, process modeling and testing. Reminiscences and congratulations from fellow researchers and friends conclude the Festschrift.},
address = {M\"{u}nster, Germany},
editor = {Norbert Seyff and Anne Koziolek},
isbn = {978-3-86991-724-5},
publisher = {Monsenstein and Vannerdat},
title = {Modelling and Quality in Requirements Engineering: Essays Dedicated to Martin Glinz on the Occasion of His 60th Birthday},
url = {http://mv-buchhandel.de/wissenschaft/wirtschaftswissenschaften/324/modelling-and-quality-in-requirements-engineering},
year = {2012}
}
@inproceedings{SpKoMe2012-PETRINETS-QPME,
abstract = {Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present our tool QPME (Queueing Petri net Modeling Environment) for modeling and analysis using queueing Petri nets. QPME provides an Eclipse-based editor for building queueing Petri net models and a powerful simulation engine for analyzing these models. The development of the tool started in 2003 and since then the tool has been distributed to more than 120 organizations worldwide.},
address = {Berlin, Heidelberg},
author = {Simon Spinner and Samuel Kounev and Philipp Meier},
booktitle = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2012)},
day = {27--29},
editor = {Haddad, Serge and Pomello, Lucia},
isbn = {978-3-642-31130-7},
location = {Hamburg, Germany},
month = {June},
pages = {388--397},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/SpKoMe2012-petrinets-QPME.pdf},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science (LNCS)},
title = {{Stochastic Modeling and Analysis using QPME: Queueing Petri Net Modeling Environment v2.0}},
url = {http://dx.doi.org/10.1007/978-3-642-31131-4_21},
volume = {7347},
year = {2012}
}
@incollection{theilmann2010a,
address = {Hershey, PA, USA},
author = {Wolfgang Theilmann and Sergio Garcia Gomez and John Kennedy and Davide Lorenzoli and Christoph Rathfelder and Thomas Roeblitz and Gabriele Zacco},
booktitle = {{Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions}},
editor = {Stephan Reiff-Marganiec and Marcel Tilly},
pages = {470--490},
publisher = {IGI Global},
title = {{A} {F}ramework for {M}ulti-level {SLA} {M}anagement},
url = {http://www.igi-global.com/book/handbook-research-service-oriented-systems/55308},
year = {2012}
}
@misc{vaupelpatent5,
author = {Vaupel, Robert},
howpublished = {Patent No. 4959845, Japan},
month = {March},
timestamp = {2013.05.16},
title = {{Routing Workloads and Method Thereof}},
year = {2012}
}
@misc{vaupelpatent6,
author = {Vaupel, Robert},
howpublished = {Patent No. 8245238, United States},
month = {August},
timestamp = {2013.05.16},
title = {{Routing Workloads Based on Relative Queue Lengths of Dispatchers}},
year = {2012}
}
@incollection{ViMaSaKo2012-ResBook-ResilBenchmark,
address = {Berlin, Heidelberg},
author = {Marco Vieira and Henrique Madeira and Kai Sachs and Samuel Kounev},
booktitle = {{Resilience Assessment and Evaluation of Computing Systems}},
editor = {K. Wolter and A. Avritzer and M. Vieira and A. van Moorsel},
isbn = {978-3-642-29031-2},
note = {ISBN: 978-3-642-29031-2},
pdf = {http://sdqweb.ipd.kit.edu/publications/descartes-pdfs/ViMaSaKo2012-ResBook-ResilBenchmark.pdf},
publisher = {Springer-Verlag},
series = {XVIII},
title = {{Resilience Benchmarking}},
url = {http://www.springer.com/computer/communication+networks/book/978-3-642-29031-2},
year = {2012}
}
@mastersthesis{wert2012antipattern,
author = {Alexander Wert},
month = {April},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/wert2012antipattern.pdf},
school = {Karlsruhe Institute of Technology (KIT), Germany},
title = {{Uncovering Performance Antipatterns by Systematic Experiments}},
year = {2012}
}
@inproceedings{wert2012integrating,
author = {Alexander Wert and Jens Happe and Dennis Westermann},
booktitle = {Proceedings of the third joint WOSP/SIPEW international conference on Performance Engineering},
organization = {ACM},
pages = {283--286},
title = {Integrating software performance curves with the palladio component model},
url = {http://dl.acm.org/citation.cfm?id=2188339},
year = {2012}
}
@inproceedings{westermann2012a,
author = {Dennis Westermann},
booktitle = {Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Doctoral Symposium},
location = {Zuerich, Switzerland},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/westermann2012a.pdf},
publisher = {ACM, New York, NY, USA},
title = {A Generic Methodology to Derive Domain-Specific Performance Feedback for Developers},
year = {2012}
}
@inproceedings{westermann2012b,
author = {Dennis Westermann and Jens Happe and Rouven Krebs and Roozbeh Farahbod},
booktitle = {Proceedings of the 27th IEEE/ACM International Conference On Automated Software Engineering (ASE 2012)},
day = {3--7},
location = {Essen, Germany},
month = {September},
title = {Automated Inference of Goal-oriented Performance Prediction Functions},
year = {2012}
}
@inproceedings{Kuester2012d,
address = {Beppu, Japan},
author = {Zimmermann, Jochen and K\"{u}ster, Martin and Bringmann, Oliver and Rosenstiel, Wolfgang},
booktitle = {17th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI)},
month = {March},
title = {Model-Based Generation of a Fast and Accurate Virtual Execution Platform for Software-Intensive Real-Time Embedded Systems},
year = {2012}
}
@inproceedings{strittmatter2012a,
acmid = {2188337},
author = {Strittmatter, Misha and Happe, Lucia},
booktitle = {Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (ICPE)},
doi = {10.1145/2188286.2188337},
isbn = {978-1-4503-1202-8},
keywords = {connectors, model completions, performance abstractions},
location = {Boston, Massachusetts, USA},
numpages = {4},
pages = {275--278},
publisher = {ACM},
slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/strittmatter2012a_slides.pdf},
tags = {refereed},
title = {Compositional performance abstractions of software connectors},
year = {2012}
}
@misc{SPEC-RG-NEWSLETTER-1,
author = {Samuel Kounev and Kai Sachs and Piotr Rygielski},
month = {September},
note = {Published by Standard Performance Evaluation Corporation (SPEC)},
pdf = {http://research.spec.org/fileadmin/user_upload/newsletter/SPEC-RG-Newsletter-vol1-no1-Sep2012.pdf},
title = {{SPEC Research Group Newsletter, vol. 1 no. 1}},
url = {http://research.spec.org/en/newsletter.html},
year = {2012}
}
@inproceedings{Khachatryan2012,
acmid = {2352474},
address = {Berlin, Heidelberg},
author = {Khachatryan, Andranik and M\"{u}ller, Emmanuel and Stier, Christian and B\"{o}hm, Klemens},
booktitle = {Proceedings of the 24th International Conference on Scientific and Statistical Database Management},
doi = {10.1007/978-3-642-31235-9_22},
isbn = {978-3-642-31234-2},
location = {Chania, Crete, Greece},
numpages = {9},
pages = {334--342},
publisher = {Springer-Verlag},
series = {SSDBM},
title = {{Sensitivity of Self-tuning Histograms: Query Order Affecting Accuracy and Robustness}},
url = {http://dx.doi.org/10.1007/978-3-642-31235-9_22},
year = {2012}
}
@inproceedings{simko2012foam,
abstract = {{ The advantage of textual use-cases is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically rely on a natural language, they cannot be directly subject to a formal verification. In this paper, we present Formal Verification of Annotated Use-Case Models (FOAM) method which features simple user-definable annotations, inserted into a use-case to make its semantics more suitable for verification. Subsequently a model-checking tool verifies temporal invariants associated with the annotations. This way, FOAM allows for harnessing the benefits of model-checking while still keeping the use-cases understandable for non-experts. }},
author = {Viliam Simko and Petr Hnetynka and Tomas Bures and Frantisek Plasil},
booktitle = {Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)},
day = {5--8},
doi = {10.1109/SEAA.2012.15},
location = {Cesme, Izmir, Turkey},
month = {September},
pages = {228--232},
pdf = {http://d3s.mff.cuni.cz/publications/download/2012-SEAA-SimkoHnetynaBuresPlasil-FOAM.pdf},
publisher = {IEEE/ACM},
title = {{FOAM : A Lightweight Method for Verification of Use-Cases}},
year = {2012}
}
@incollection{paech2012answering,
author = {Paech, Barbara and Heinrich, Robert and Zorn-Pauli, Gabriele and Jung, Andreas and Tadjiky, Siamak},
booktitle = {Requirements Engineering: Foundation for Software Quality},
pages = {16--29},
publisher = {Springer},
title = {Answering a Request for Proposal--Challenges and Proposed Solutions},
year = {2012}
}
@inproceedings{heinrich2012extending,
author = {Heinrich, Robert and Henss, J{\"o}rg and Paech, Barbara},
booktitle = {Symposium on Software Performance},
pages = {19--27},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/heinrich2012extending.pdf},
title = {Extending Palladio by business process simulation concepts},
year = {2012}
}
@incollection{heinrich2012developing,
author = {Heinrich, Robert and Paech, Barbara and Brandner, Antje and Kutscha, Ulrike and Bergh, Bj{\"o}rn},
booktitle = {Business Process Management Workshops},
doi = {10.1007/978-3-642-28115-0_25},
editor = {Daniel, Florian and Barkaoui, Kamel and Dustdar, Schahram},
isbn = {978-3-642-28114-3},
pages = {261-272},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Business Information Processing},
title = {Developing a Process Quality Improvement Questionnaire -- A Case Study on Writing Discharge Letters},
url = {http://dx.doi.org/10.1007/978-3-642-28115-0_25},
volume = {100},
year = {2012}
}
@mastersthesis{yurchenko2012a,
title = {Cross-Lingual Pronunciation Dictionary Production},
author = {Yurchenko, Kateryna},
year = {2012},
type = {Bachelor's Thesis},
school = {Karlsruhe Institute of Technology (KIT)}
}