inproceedings_spinner.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}
}

@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{KoSpMe2010-Festschrift-QPME2,
  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 Version 2.0 of our tool QPME (Queueing Petri net Modeling Environment) for modeling and analysis of systems using queueing Petri nets. The development of the tool was initiated by Samuel Kounev in 2003 at the Technische Universit\"{a} Darmstadt in the group of Prof. Alejandro Buchmann. Since then the tool has been distributed to more than 100 organizations worldwide. QPME provides an Eclipse-based editor for building queueing Petri net models and a powerful simulation engine for analyzing the models. After presenting the tool, we discuss ongoing work on the QPME project and the planned future enhancements of the tool.},
  address = {Berlin, Heidelberg},
  affiliation = {Karlsruhe Institute of Technology, 76131 Karlsruhe, Germany},
  author = {Kounev, Samuel and Spinner, Simon and Meier, Philipp},
  booktitle = {From Active Data Management to Event-Based Systems and More},
  editor = {Sachs, Kai and Petrov, Ilia and Guerrero, Pablo},
  isbn = {978-3-642-17225-0},
  keyword = {Computer Science},
  note = {10.1007/978-3-642-17226-7_18},
  pages = {293--311},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/KoSpMe2010-Festschrift-QPME2.pdf},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {{QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets}},
  url = {http://dx.doi.org/10.1007/978-3-642-17226-7_18},
  volume = {6462},
  year = {2010}
}

@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{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}
}

@inproceedings{SpCaZhKo2014-ICPEDemo-LibReDE,
  abstract = {When creating a performance model, it is necessary to quantify the amount of resources consumed by an application serving individual requests. In distributed enterprise systems, these resource demands usually cannot be observed directly, their estimation is a major challenge. Different statistical approaches to resource demand estimation based on monitoring data have been proposed, e.g., using linear regression or Kalman filtering techniques. In this paper, we present LibReDE, a library of ready-to-use implementations of approaches to resource demand estimation that can be used for online and offline analysis. It is the first publicly available tool for this task and aims at supporting performance engineers during performance model construction. The library enables the quick comparison of the estimation accuracy of different approaches in a given context and thus helps to select an optimal one.},
  author = {Simon Spinner and Giuliano Casale and Xiaoyun Zhu and Samuel Kounev},
  booktitle = {Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering (ICPE 2014)},
  day = {22--26},
  location = {Dublin, Ireland},
  month = {March},
  note = {Accepted for Publication},
  publisher = {ACM},
  title = {{LibReDE: A Library for Resource Demand Estimation}},
  titleaddon = {{(Demonstration Paper)}},
  year = {2014}
}

@inproceedings{KrSpAhKo2014_CCGrid_ResourceIsolation,
  abstract = {{Multi-tenancy is an approach to share one application instance among multiple customers by providing each of them a dedicated view. This approach is commonly used by SaaS providers to reduce the costs for service provisioning. Tenants also expect to be isolated in terms of the performance they observe and the providers inability to offer performance guarantees is a major obstacle for potential cloud customers. To guarantee an isolated performance it is essential to control the resources used by a tenant. This is a challenge, because the layers of the execution environment, responsible for controlling resource usage (e.g., operating system), normally do not have knowledge about entities defined at the application level and thus they cannot distinguish between different tenants. Furthermore, it is hard to predict how tenant requests propagate through the multiple layers of the execution environment down to the physical resource layer. The intended abstraction of the application from the resource controlling layers does not allow to solely solving this problem in the application. In this paper, we propose an approach which applies resource demand estimation techniques in combination with a request based admission control. The resource demand estimation is used to determine resource consumption information for individual requests. The admission control mechanism uses this knowledge to delay requests originating from tenants that exceed their allocated resource share. The proposed method is validated by a widely accepted benchmark showing its applicability in a setup motivated by today's platform environments.}},
  author = {Rouven Krebs and Simon Spinner and Nadia Ahmed and Samuel Kounev},
  booktitle = {Proceedings of the 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2014)},
  day = {26},
  location = {Chicago, IL, USA},
  month = {May},
  note = {Accepted for Publication},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/KrSpAhKo2014_CCGrid_ResourceIsolation.pdf},
  publisher = {IEEE/ACM},
  title = {{Resource Usage Control In Multi-Tenant Applications}},
  year = {2014}
}

@incollection{happe2016a,
  author = {Jens Happe and Benjamin Klatt and Martin K\"{u}ster and Fabian Brosig and Alexander Wert and Simon Spinner and Heiko Koziolek},
  title = {Getting the Data},
  pages = {115--138},
  chapter = {6},
  booktitle = {Modeling and Simulating Software Architectures -- The Palladio Approach},
  publisher = {MIT Press},
  year = {2016},
  editor = {Reussner, Ralf H. and Becker, Steffen and Happe, Jens and Heinrich, Robert and Koziolek, Anne and Koziolek, Heiko and Kramer, Max and Krogmann, Klaus},
  address = {Cambridge, MA},
  month = {October},
  url = {http://mitpress.mit.edu/books/modeling-and-simulating-software-architectures},
  tags = {chapter}
}