Search results for "Lars Grunske"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ayman Amin, Alan Colman, Lars Grunske	Statistical detection of QoS violations based on CUSUM control charts.	ICPE	2012	DBLP DOI BibTeX RDF
1	Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli	Dynamic QoS Management and Optimization in Service-Based Systems.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
1	Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske	Monitoring of Probabilistic Timed Property Sequence Charts.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay	Experience with fault injection experiments for FMEA.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske	Reliability-driven deployment optimization for embedded systems.	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	Lars Grunske	An effective sequential statistical test for probabilistic monitoring.	Information & Software Technology	2011	DBLP DOI BibTeX RDF
1	Ayman Amin, Alan Colman, Lars Grunske	Using Automated Control Charts for the Runtime Evaluation of QoS Attributes.	HASE	2011	DBLP DOI BibTeX RDF
1	Indika Meedeniya, Irene Moser, Aldeida Aleti, Lars Grunske	Architecture-based reliability evaluation under uncertainty.	QoSA/ISARCS	2011	DBLP DOI BibTeX RDF
1	Markus Lumpe, Indika Meedeniya, Lars Grunske	PSPWizard: machine-assisted definition of temporal logical properties with specification patterns.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Ian Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos	Generalizable safety annotations for specification of failure patterns.	Softw., Pract. Exper.	2010	DBLP DOI BibTeX RDF
1	Pengcheng Zhang, Bixin Li, Lars Grunske	Timed Property Sequence Chart.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Ian Wolforth, Martin Walker, Yiannis Papadopoulos, Lars Grunske	Capture and reuse of composable failure patterns.	IJCCBS	2010	DBLP DOI BibTeX RDF
1	Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske	Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems.	QoSA	2010	DBLP DOI BibTeX RDF
1	Lars Grunske, Ralf Reussner, Frantisek Plasil (eds.)	Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings	CBSE	2010	DBLP DOI BibTeX RDF
1	Indika Meedeniya, Lars Grunske	An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Carlo Ghezzi, Lars Grunske, Raffaela Mirandola	First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010).	ICSE	2010	DBLP DOI BibTeX RDF
1	Aldeida Aleti, Lars Grunske, Indika Meedeniya, Irene Moser	Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy.	ASE	2009	DBLP DOI BibTeX RDF	Component Deployment, Ant Colony Optimisation
1	Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li	A Formal Syntax for Probabilistic Timed Property Sequence Charts.	ASE	2009	DBLP DOI BibTeX RDF	Property Sequence Chart, Probabilistic and Timed Property Sequence Chart, Probabilistic Properties
1	Stefan Björnander, Lars Grunske, Kristina Lundqvist	Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.	QoSA	2009	DBLP DOI BibTeX RDF	Behavior Annex, TASM, Translation, AADL
1	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	DBLP DOI BibTeX RDF	Probabilistic FMEA, Stochastic Model Checking, Counter Examples in Stochastic Model Checking, Stochastic Modelling, Dependability Analysis
1	Lars Grunske, Pengcheng Zhang	Monitoring probabilistic properties.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	security, web services, performance, reliability, safety, runtime monitoring, probabilistic properties
1	Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya	ArcheOpterix: An extendable tool for architecture optimization of AADL models.	MOMPES	2009	DBLP DOI BibTeX RDF
1	Lars Grunske, David Joyce	Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles.	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	Robert Colvin, Lars Grunske, Kirsten Winter	Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems.	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	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.	2008	DBLP DOI BibTeX RDF
1	Lars Grunske, Jun Han	A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models.	HASE	2008	DBLP DOI BibTeX RDF
1	Markus Lumpe, Lars Grunske, Jean-Guy Schneider	State Space Reduction Techniques for Component Interfaces.	CBSE	2008	DBLP DOI BibTeX RDF
1	Lars Grunske	Specification patterns for probabilistic quality properties.	ICSE	2008	DBLP DOI BibTeX RDF	csl, pctl, pctl*, probabilistic quality, probabilistic quality patterns, security, performance, reliability, safety, specification patterns
1	Lars Grunske, Roger McCowan	Systems engineering, test and evaluation: maximising customer satisfaction.	ISSE	2007	DBLP DOI BibTeX RDF
1	Lars Grunske	Early quality prediction of component-based systems - A generic framework.	Journal of Systems and Software	2007	DBLP DOI BibTeX RDF
1	Lars Grunske, Kirsten Winter, Robert Colvin	Timed Behavior Trees and Their Application to Verifying Real-Time Systems.	ASWEC	2007	DBLP DOI BibTeX RDF	real time systems, model checking, requirements engineering, timed automata, Behavior Trees
1	Robert Colvin, Lars Grunske, Kirsten Winter	Probabilistic Timed Behavior Trees.	IFM	2007	DBLP DOI BibTeX RDF	model checking, probabilities, timed automata, Behavior Trees
1	Lars Grunske, Robert Colvin, Kirsten Winter	Probabilistic Model-Checking Support for FMEA.	QEST	2007	DBLP DOI BibTeX RDF	Failure Mode and Effect Analysis, Probabilistic Model Checking, System Safety
1	Ivica Crnkovic, Lars Grunske	Evaluating Dependability Attributes of Component-Based Specifications.	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Lars Grunske	Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM.	QoSA	2006	DBLP DOI BibTeX RDF
1	Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker 0002	An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.	WADS	2006	DBLP DOI BibTeX RDF
1	Lars Grunske	Identifying "good" architectural design alternatives with multi-objective optimization strategies.	ICSE	2006	DBLP DOI BibTeX RDF	architecture refactorings, architecture trade-off analysis, dependability, multi-objective optimization
1	Lars Grunske	Formalizing Architectural Refactorings as Graph Transformation Systems.	SNPD	2005	DBLP DOI BibTeX RDF
1	Lars Grunske, Bernhard Kaiser	An Automated Dependability Analysis Method for COTS-Based Systems.	ICCBSS	2005	DBLP DOI BibTeX RDF
1	Lars Grunske, Leif Geiger, Michael Lawley	A Graphical Specification of Model Transformations with Triple Graph Grammars.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees
1	Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos	Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations.	CBSE	2005	DBLP DOI BibTeX RDF
1	Lars Grunske, Bernhard Kaiser	Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations.	QSIC	2005	DBLP DOI BibTeX RDF	Failure Propagation Transformation Notation, Component Fault Trees, System analysis, System architectures, Safety analysis
1	Lars Grunske	Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf.		2004	RDF
1	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	DBLP DOI BibTeX RDF
1	Lars Grunske	Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification.	SNPD	2003	DBLP BibTeX RDF

Publications of "Lars Grunske" ( http://dblp.L3S.de/Authors/Lars_Grunske )