Lars Grunske

According to our database1, Lars Grunske authored at least 90 papers between 2003 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
An evaluation of pure spectrum-based fault localization techniques for large-scale software systems.
Softw., Pract. Exper., 2019

Does Diversity Improve the Test Suite Generation for Mobile Applications?
Proceedings of the Search-Based Software Engineering - 11th International Symposium, 2019

Challenges for verifying and validating scientific software in computational materials science.
Proceedings of the 14th International Workshop on Software Engineering for Science, 2019


2018
Mapping the Effectiveness of Automated Test Suite Generation Techniques.
IEEE Trans. Reliability, 2018

Hora: Architecture-aware online failure prediction.
Journal of Systems and Software, 2018

Supporting semi-automatic co-evolution of architecture and fault tree models.
Journal of Systems and Software, 2018

Guest editorial: advanced topics in automated software engineering.
Autom. Softw. Eng., 2018

Architecture-Aware Online Failure Prediction for Distributed Software Systems.
Proceedings of the Software Engineering und Software Management 2018, 2018

Semantic program repair using a reference implementation.
Proceedings of the 40th International Conference on Software Engineering, 2018

Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.
Proceedings of the 27th International Workshop on Concurrency, 2018

How Much Event Data Is Enough? A Statistical Framework for Process Discovery.
Proceedings of the Advanced Information Systems Engineering, 2018

2017
Analysing the fitness landscape of search-based software testing problems.
Autom. Softw. Eng., 2017

A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Online Workload Forecasting.
Proceedings of the Self-Aware Computing Systems., 2017

2016
Empirische Forschung zu Software-Evolution - Bestandsaufnahme und Vision aus dem DFG-Schwerpunktprogramm Design for Future - Managed Software Evolution.
Informatik Spektrum, 2016

An Architecture-Aware Approach to Hierarchical Online Failure Prediction.
Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

A learning-to-rank based fault localization approach using likely invariants.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015
Specifying model transformations by direct manipulation using concrete visual notations and interactive recommendations.
J. Vis. Lang. Comput., 2015

Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar.
IEEE Trans. Software Eng., 2015

Test data generation with a Kalman filter-based adaptive genetic algorithm.
Journal of Systems and Software, 2015

Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models.
Proceedings of the Theory and Practice of Model Transformations, 2015

2014
Evaluating probabilistic models with uncertain model parameters.
Software and Systems Modeling, 2014

Choosing the Appropriate Forecasting Model for Predictive Parameter Control.
Evolutionary Computation, 2014

Reactive vs. Proactive Detection of Quality of Service Problems.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Software Architecture Optimization Methods: A Systematic Literature Review.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

metaFMEA-A Framework for Reusable FMEAs.
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Increasing Dependability of Component-Based Software Systems by Online Failure Prediction (Short Paper).
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

Dimensions and Metrics for Evaluating Recommendation Systems.
Proceedings of the Recommendation Systems in Software Engineering, 2014

2013
Quality optimisation of software architectures and design specifications.
Journal of Systems and Software, 2013

An approach to software reliability prediction based on time series modeling.
Journal of Systems and Software, 2013

Model-based performance analysis of software architectures under uncertainty.
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System.
Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013

Tool support for automatic model transformation specification using concrete visualisations.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

A comparison of machine learning algorithms for proactive hard disk drive failure detection.
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

Perpetual Assurances for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013


2012
Architecture-driven reliability optimization with uncertain model parameters.
Journal of Systems and Software, 2012

Statistical detection of QoS violations based on CUSUM control charts.
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

An Approach to Forecasting QoS Attributes of Web Services Based on ARIMA and GARCH Models.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

2011
Dynamic QoS Management and Optimization in Service-Based Systems.
IEEE Trans. Software Eng., 2011

Monitoring of Probabilistic Timed Property Sequence Charts.
Softw., Pract. Exper., 2011

Experience with fault injection experiments for FMEA.
Softw., Pract. Exper., 2011

Reliability-driven deployment optimization for embedded systems.
Journal of Systems and Software, 2011

An effective sequential statistical test for probabilistic monitoring.
Information & Software Technology, 2011

PSPWizard: machine-assisted definition of temporal logical properties with specification patterns.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Architecture-based reliability evaluation under uncertainty.
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Using Automated Control Charts for the Runtime Evaluation of QoS Attributes.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Using Models at Runtime to Address Assurance for Self-Adaptive Systems.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010
Generalizable safety annotations for specification of failure patterns.
Softw., Pract. Exper., 2010

Timed Property Sequence Chart.
Journal of Systems and Software, 2010

Capture and reuse of composable failure patterns.
IJCCBS, 2010

Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems.
Proceedings of the Research into Practice, 2010

An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Monitoring probabilistic properties.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.
Proceedings of the Architectures for Adaptive Software Systems, 2009

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples.
Proceedings of the QEST 2009, 2009

ArcheOpterix: An extendable tool for architecture optimization of AADL models.
Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

A Formal Syntax for Probabilistic Timed Property Sequence Charts.
Proceedings of the ASE 2009, 2009

Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy.
Proceedings of the ASE 2009, 2009

2008
Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees.
J. Vis. Lang. Comput., 2008

Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles.
Journal of Systems and Software, 2008

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems.
Journal of Systems and Software, 2008

Specification patterns for probabilistic quality properties.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

State Space Reduction Techniques for Component Interfaces.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007
Early quality prediction of component-based systems - A generic framework.
Journal of Systems and Software, 2007

Systems engineering, test and evaluation: maximising customer satisfaction.
ISSE, 2007

Probabilistic Model-Checking Support for FMEA.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Probabilistic Timed Behavior Trees.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Evaluating Dependability Attributes of Component-Based Specifications.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Timed Behavior Trees and Their Application to Verifying Real-Time Systems.
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006
Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM.
Proceedings of the Quality of Software Architectures, 2006

An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.
Proceedings of the Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], 2006

Identifying "good" architectural design alternatives with multi-objective optimization strategies.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Behavioral Types for Embedded Software - A Survey.
Proceedings of the Component-Based Software Development for Embedded Systems, 2005

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process.
Proceedings of the Component-Based Software Development for Embedded Systems, 2005

Formalizing Architectural Refactorings as Graph Transformation Systems.
Proceedings of the 6th ACIS International Conference on Software Engineering, 2005

Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

An Automated Dependability Analysis Method for COTS-Based Systems.
Proceedings of the COTS-Based Software Systems, 4th International Conference, 2005

A Graphical Specification of Model Transformations with Triple Graph Grammars.
Proceedings of the Model Driven Architecture, 2005

Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

Using Graph Transformation for Practical Model-Driven Software Engineering.
Proceedings of the Model-Driven Software Development, 2005

2004
Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf.
PhD thesis, 2004

Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective.
Proceedings of the Architecting Systems with Trustworthy Components, 2004

2003
Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003


  Loading...