Lars Grunske - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Dynamic QoS Management and Optimization in Service-Based SystemsRadu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli. TSE, 37(3):387-409, 2011. [doi]

An effective sequential statistical test for probabilistic monitoringLars Grunske. INFSOF, 53(3):190-199, 2011. [doi]

Reliability-driven deployment optimization for embedded systemsIndika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske. jss, 84(5):835-846, 2011. [doi]

Monitoring of Probabilistic Timed Property Sequence ChartsPengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske. SPE, 41(7):841-866, 2011. [doi]

2010

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

Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. ProceedingsLars Grunske, Ralf Reussner, Frantisek Plasil, editors, Volume 6092 of Lecture Notes in Computer Science, Springer, 2010. [doi]

An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing ParametersIndika Meedeniya, Lars Grunske. issre 2010: 229-238 [doi]

Architecture-Driven Reliability and Energy Optimization for Complex Embedded SystemsIndika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske. qosa 2010: 52-67 [doi]

Generalizable safety annotations for specification of failure patternsIan Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos. SPE, 40(5):453-483, 2010. [doi]

Capture and reuse of composable failure patternsIan Wolforth, Martin Walker, Yiannis Papadopoulos, Lars Grunske. ijccbs, 1(1/2/3):128-147, 2010. [doi]

Timed Property Sequence ChartPengcheng Zhang, Bixin Li, Lars Grunske. jss, 83(3):371-390, 2010. [doi]

2009

Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation StrategyAldeida Aleti, Lars Grunske, Indika Meedeniya, Irene Moser. kbse 2009: 505-509 [doi]

ArcheOpterix: An extendable tool for architecture optimization of AADL modelsAldeida Aleti, Stefan BjÃ¶rnander, Lars Grunske, Indika Meedeniya. MOMPES 2009: 61-71 [doi]

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic CounterexamplesHusain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue. qest 2009: 299-308 [doi]

Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State MachinesStefan Björnander, Lars Grunske, Kristina Lundqvist. qosa 2009: 101-115 [doi]

Monitoring probabilistic propertiesLars Grunske, Pengcheng Zhang. FSE 2009: 183-192 [doi]

A Formal Syntax for Probabilistic Timed Property Sequence ChartsPengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li. kbse 2009: 500-504 [doi]

2008

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systemsRobert Colvin, Lars Grunske, Kirsten Winter. jss, 81(12):2163-2182, 2008. [doi]

Specification patterns for probabilistic quality propertiesLars Grunske. ICSE 2008: 31-40 [doi]

Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profilesLars Grunske, David Joyce. jss, 81(8):1327-1345, 2008. [doi]

Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior treesLars Grunske, Kirsten Winter, Nisansala Yatapanage. vlc, 19(3):343-379, 2008. [doi]

A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL s Error Annex and Failure Propagation ModelsLars Grunske, Jun Han. hase 2008: 283-292 [doi]

State Space Reduction Techniques for Component InterfacesMarkus Lumpe, Lars Grunske, Jean-Guy Schneider. cbse 2008: 130-145 [doi]

2007

2006

Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCMLars Grunske. qosa 2006: 199-213 [doi]

Identifying good architectural design alternatives with multi-objective optimization strategiesLars Grunske. ICSE 2006: 849-852 [doi]

An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive SystemsLars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker 0002. ICSE 2007: 188-209 [doi]

2005

Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure AnnotationsLars Grunske, Bernhard Kaiser. ehci 2005: 117-123 [doi]

Model-Driven Safety Evaluation with State-Event-Based Component Failure AnnotationsLars Grunske, Bernhard Kaiser, Yiannis Papadopoulos. cbse 2005: 33-48 [doi]

An Automated Dependability Analysis Method for COTS-Based SystemsLars Grunske, Bernhard Kaiser. iccbss 2005: 178-190 [doi]

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

A Graphical Specification of Model Transformations with Triple Graph GrammarsLars Grunske, Leif Geiger, Michael Lawley. ECMDA-FA 2005: 284-298 [doi]

Using Graph Transformation for Practical Model Driven Software EngineeringLars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Dániel Varró. In Model-driven Software Development - Volume II of Research and Practice in Software Engineering. Springer-Verlag, 2005.

Formalizing Architectural Refactorings as Graph Transformation SystemsLars Grunske. snpd 2005: 324-329 [doi]

2004

Performance Prediction of Component-Based Systems - A Survey from an Engineering PerspectiveSteffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage. dagstuhl 2006: 169-192 [doi]

2003

Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture SpecificationLars Grunske. snpd 2003: 439-445