article_happe.bib

@article{becker2006f,
  abstract = {Basic concepts and terminology for trustworthy software systems are discussed. Our discussion of definitions for terms in the domain of trustworthy software systems is based on former achievements in dependable, trustworthy and survivable systems. We base our discussion on the established literature and on approved standards. These concepts are discussed in the context of our graduate school TrustSoft on trustworthy software systems. In TrustSoft, we consider trustworthiness of software systems as determined by correctness, safety, quality of service (performance, reliability, availability), security, and privacy. Particular means to achieve trustworthiness of component-based software systems � as investigated in TrustSoft � are formal verification, quality prediction and certification; complemented by fault diagnosis and fault tolerance for increased robustness.},
  address = {New York, NY, USA},
  author = {Steffen Becker and Wilhelm Hasselbring and Alexandra Paul and Marko Boskovic and Heiko Koziolek and Jan Ploski and Abhishek Dhama and Henrik Lipskoch and Matthias Rohr and Daniel Winteler and Simon Giesecke and Roland Meyer and Mani Swaminathan and Jens Happe and Margarete Muhle and Timo Warns},
  doi = {10.1145/1218776.1218781},
  issn = {0163-5948},
  journal = {SIGSOFT Softw. Eng. Notes},
  number = {6},
  pages = {1--18},
  publisher = {ACM},
  title = {{T}rustworthy software systems: a discussion of basic concepts and terminology},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/becker2006f.pdf},
  volume = {31},
  year = {2006}
}
@article{happe2009a,
  abstract = {Performance prediction methods can help software architects to identify potential performance problems, such as bottlenecks, in their software systems during the design phase. In such early stages of the software life-cycle, only a little information is available about the system�s implementation and execution environment. However, these details are crucial for accurate performance predictions. Performance completions close the gap between available high-level models and required low-level details. Using model-driven technologies, transformations can include details of the implementation and execution environment into abstract performance models. However, existing approaches do not consider the relation of actual implementations and performance models used for prediction. Furthermore, they neglect the broad variety of possible implementations and middleware platforms, possible configurations, and possible usage scenarios. In this paper, we (i) establish a formal relation between generated performance models and generated code, (ii) introduce a design and application process for parametric performance completions, and (iii) develop a parametric performance completion for Message-oriented Middleware according to our method. Parametric performance completions are independent of a specific platform, reflect performance-relevant software configurations, and capture the influence of different usage scenarios. To evaluate the prediction accuracy of the completion for Message-oriented Middleware, we conducted a real-world case study with the SPECjms2007 Benchmark [http://www.spec.org/jms2007/]. The observed deviation of measurements and predictions was below 10% to 15%},
  author = {Jens Happe and Steffen Becker and Christoph Rathfelder and Holger Friedrich and Ralf H. Reussner},
  doi = {10.1016/j.peva.2009.07.006},
  journal = {Performance Evaluation (PE)},
  month = {August},
  number = {8},
  pages = {694--716},
  pdf = {http://sdqweb.ipd.uka.de/publications/pdfs/happe2009a.pdf},
  publisher = {Elsevier},
  title = {{P}arametric {P}erformance {C}ompletions for {M}odel-{D}riven {P}erformance {P}rediction},
  url = {http://dx.doi.org/10.1016/j.peva.2009.07.006},
  volume = {67},
  year = {2010}
}
@article{happe2011a,
  author = {Happe, Jens and Koziolek, Heiko and Reussner, Ralf},
  doi = {10.1109/MS.2011.25},
  issn = {0740-7459},
  journal = {Software, IEEE},
  keywords = {MediaStore system;component-based software engineering;compositional reasoning;software components;software performance;software engineering;},
  month = {June},
  number = {3},
  pages = {27 -33},
  title = {Facilitating Performance Predictions Using Software Components},
  volume = {28},
  year = {2011}
}
@article{koziolek2011quality,
  author = {Koziolek, Heiko and Becker, Steffen and Happe, Jens and Pettersson, Paul},
  journal = {Models in Software Engineering},
  pages = {364--368},
  publisher = {Springer},
  title = {Quality of service-oriented software systems {(QUASOSS 2010)}},
  year = {2011}
}
@article{koziolek2014a,
  acmid = {2567531},
  address = {New York, NY, USA},
  author = {Koziolek, Heiko and Becker, Steffen and Happe, Jens and Tuma, Petr and de Gooijer, Thijmen},
  doi = {10.1145/2567529.2567531},
  issn = {0163-5999},
  issue_date = {December 2013},
  journal = {SIGMETRICS Perform. Eval. Rev.},
  month = {January},
  number = {3},
  numpages = {10},
  pages = {2--11},
  publisher = {ACM},
  title = {Towards Software Performance Engineering for Multicore and Manycore Systems},
  url = {http://doi.acm.org/10.1145/2567529.2567531},
  volume = {41},
  year = {2014}
}