Lars Grunske

Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya: Software Architecture Optimization Methods: A Systematic Literature Review. IEEE Trans. Software Eng. 39(5): 658-683 (2013)

Indika Meedeniya, Aldeida Aleti, Lars Grunske: Architecture-driven reliability optimization with uncertain model parameters. Journal of Systems and Software 85(10): 2340-2355 (2012)

Ayman Amin, Alan Colman, Lars Grunske: An Approach to Forecasting QoS Attributes of Web Services Based on ARIMA and GARCH Models. ICWS 2012: 74-81

Ayman Amin, Lars Grunske, Alan Colman: An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling. ASE 2012: 130-139

Ayman Amin, Alan Colman, Lars Grunske: Statistical detection of QoS violations based on CUSUM control charts. ICPE 2012: 97-108

Lars Grunske: An effective sequential statistical test for probabilistic monitoring. Information & Software Technology 53(3): 190-199 (2011)

Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske: Reliability-driven deployment optimization for embedded systems. Journal of Systems and Software 84(5): 835-846 (2011)

Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske: Monitoring of Probabilistic Timed Property Sequence Charts. Softw., Pract. Exper. 41(7): 841-866 (2011)

Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay: Experience with fault injection experiments for FMEA. Softw., Pract. Exper. 41(11): 1233-1258 (2011)

Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli: Dynamic QoS Management and Optimization in Service-Based Systems. IEEE Trans. Software Eng. 37(3): 387-409 (2011)

Ayman Amin, Alan Colman, Lars Grunske: Using Automated Control Charts for the Runtime Evaluation of QoS Attributes. HASE 2011: 299-306

Indika Meedeniya, Irene Moser, Aldeida Aleti, Lars Grunske: Architecture-based reliability evaluation under uncertainty. QoSA/ISARCS 2011: 85-94

Markus Lumpe, Indika Meedeniya, Lars Grunske: PSPWizard: machine-assisted definition of temporal logical properties with specification patterns. SIGSOFT FSE 2011: 468-471

Ian Wolforth, Martin Walker, Yiannis Papadopoulos, Lars Grunske: Capture and reuse of composable failure patterns. IJCCBS 1(1/2/3): 128-147 (2010)

Pengcheng Zhang, Bixin Li, Lars Grunske: Timed Property Sequence Chart. Journal of Systems and Software 83(3): 371-390 (2010)

Ian Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos: Generalizable safety annotations for specification of failure patterns. Softw., Pract. Exper. 40(5): 453-483 (2010)

Carlo Ghezzi, Lars Grunske, Raffaela Mirandola: First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). ICSE (2) 2010: 451-452

Indika Meedeniya, Lars Grunske: An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters. ISSRE 2010: 229-238

Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske: Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems. QoSA 2010: 52-67

Lars Grunske, Ralf Reussner, Frantisek Plasil (Eds.): Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings. Lecture Notes in Computer Science 6092, Springer 2010, isbn 978-3-642-13237-7

Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li: A Formal Syntax for Probabilistic Timed Property Sequence Charts. ASE 2009: 500-504

Aldeida Aleti, Lars Grunske, Indika Meedeniya, Irene Moser: Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy. ASE 2009: 505-509

Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya: ArcheOpterix: An extendable tool for architecture optimization of AADL models. MOMPES 2009: 61-71

Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue: Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. QEST 2009: 299-308

Stefan Björnander, Lars Grunske, Kristina Lundqvist: Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. QoSA 2009: 101-115

Lars Grunske, Pengcheng Zhang: Monitoring probabilistic properties. ESEC/SIGSOFT FSE 2009: 183-192

Lars Grunske, David Joyce: Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles. Journal of Systems and Software 81(8): 1327-1345 (2008)

Robert Colvin, Lars Grunske, Kirsten Winter: Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems. Journal of Systems and Software 81(12): 2163-2182 (2008)

Lars Grunske, Kirsten Winter, Nisansala Yatapanage: Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees. J. Vis. Lang. Comput. 19(3): 343-379 (2008)

Markus Lumpe, Lars Grunske, Jean-Guy Schneider: State Space Reduction Techniques for Component Interfaces. CBSE 2008: 130-145

Lars Grunske, Jun Han: A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models. HASE 2008: 283-292

Lars Grunske: Specification patterns for probabilistic quality properties. ICSE 2008: 31-40

Lars Grunske, Roger McCowan: Systems engineering, test and evaluation: maximising customer satisfaction. ISSE 3(2): 103-104 (2007)

Lars Grunske: Early quality prediction of component-based systems - A generic framework. Journal of Systems and Software 80(5): 678-686 (2007)

Lars Grunske, Kirsten Winter, Robert Colvin: Timed Behavior Trees and Their Application to Verifying Real-Time Systems. ASWEC 2007: 211-222

Ivica Crnkovic, Lars Grunske: Evaluating Dependability Attributes of Component-Based Specifications. ICSE Companion 2007: 157-158

Robert Colvin, Lars Grunske, Kirsten Winter: Probabilistic Timed Behavior Trees. IFM 2007: 156-175

Lars Grunske, Robert Colvin, Kirsten Winter: Probabilistic Model-Checking Support for FMEA. QEST 2007: 119-128

Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker: An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. WADS 2006: 188-209

Lars Grunske: Identifying "good" architectural design alternatives with multi-objective optimization strategies. ICSE 2006: 849-852

Lars Grunske: Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. QoSA 2006: 199-213

Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos: Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. CBSE 2005: 33-48

Lars Grunske, Leif Geiger, Michael Lawley: A Graphical Specification of Model Transformations with Triple Graph Grammars. ECMDA-FA 2005: 284-298

Lars Grunske, Bernhard Kaiser: An Automated Dependability Analysis Method for COTS-Based Systems. ICCBSS 2005: 178-190

Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter: An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. IFM 2005: 129-149

Lars Grunske, Bernhard Kaiser: Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. QSIC 2005: 117-123

Lars Grunske: Formalizing Architectural Refactorings as Graph Transformation Systems. SNPD 2005: 324-329

Lars Grunske: Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf. University of Potsdam 2004, pp. 1-198

Steffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage: Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective. Architecting Systems with Trustworthy Components 2004: 169-192

Lars Grunske: Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification. SNPD 2003: 439-445