Search the dblp DataBase

Publications of Author

1. Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos
   Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. [Citation Graph (0, 0)][DBLP]
   CBSE, 2005, pp:33-48 [Conf]
   
2. Steffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage
   Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective. [Citation Graph (0, 0)][DBLP]
   Architecting Systems with Trustworthy Components, 2004, pp:169-192 [Conf]
   
3. Lars Grunske, Leif Geiger, Michael Lawley
   A Graphical Specification of Model Transformations with Triple Graph Grammars. [Citation Graph (0, 0)][DBLP]
   ECMDA-FA, 2005, pp:284-298 [Conf]
   
4. Lars Grunske, Bernhard Kaiser
   An Automated Dependability Analysis Method for COTS-Based Systems. [Citation Graph (0, 0)][DBLP]
   ICCBSS, 2005, pp:178-190 [Conf]
   
5. Lars Grunske
   Identifying "good" architectural design alternatives with multi-objective optimization strategies. [Citation Graph (0, 0)][DBLP]
   ICSE, 2006, pp:849-852 [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   IFM, 2005, pp:129-149 [Conf]
   
7. Lars Grunske, Bernhard Kaiser
   Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. [Citation Graph (0, 0)][DBLP]
   QSIC, 2005, pp:117-123 [Conf]
   
8. Lars Grunske
   Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification. [Citation Graph (0, 0)][DBLP]
   SNPD, 2003, pp:439-445 [Conf]
   
9. Lars Grunske
   Formalizing Architectural Refactorings as Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
   SNPD, 2005, pp:324-329 [Conf]
   
10. Lars Grunske
    Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. [Citation Graph (0, 0)][DBLP]
    QoSA, 2006, pp:199-213 [Conf]
    
11. 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. [Citation Graph (0, 0)][DBLP]
    WADS, 2006, pp:188-209 [Conf]
    
12. Ivica Crnkovic, Lars Grunske
    Evaluating Dependability Attributes of Component-Based Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:157-158 [Conf]
    
13. Robert Colvin, Lars Grunske, Kirsten Winter
    Probabilistic Timed Behavior Trees. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:156-175 [Conf]
    
14. Lars Grunske
    Early quality prediction of component-based systems - A generic framework. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:5, pp:678-686 [Journal]
    
15. 
    Timed Behavior Trees and Their Application to Verifying Real-Time Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    State Space Reduction Techniques for Component Interfaces. [Citation Graph (, )][DBLP]
    
    
17. 
    A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models. [Citation Graph (, )][DBLP]
    
    
18. 
    Specification patterns for probabilistic quality properties. [Citation Graph (, )][DBLP]
    
    
19. 
    First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). [Citation Graph (, )][DBLP]
    
    
20. 
    Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy. [Citation Graph (, )][DBLP]
    
    
21. 
    A Formal Syntax for Probabilistic Timed Property Sequence Charts. [Citation Graph (, )][DBLP]
    
    
22. 
    Probabilistic Model-Checking Support for FMEA. [Citation Graph (, )][DBLP]
    
    
23. 
    Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. [Citation Graph (, )][DBLP]
    
    
24. 
    Monitoring probabilistic properties. [Citation Graph (, )][DBLP]
    
    
25. 
    Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. [Citation Graph (, )][DBLP]
    
    
26. 
    Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems. [Citation Graph (, )][DBLP]
    
    
27. 
    ArcheOpterix: An extendable tool for architecture optimization of AADL models. [Citation Graph (, )][DBLP]