Lars Grunske

Affiliations:
  • Humboldt University of Berlin, Department of Computer Science, Germany


According to our database1, Lars Grunske authored at least 137 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Grammar-based fuzzing of data integration parsers in computational materials science.
Softw. Pract. Exp., February, 2024

Formal Synthesis of Uncertainty Reduction Controllers.
CoRR, 2024

Semantic Debugging.
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

2023
RaQuN: a generic and scalable n-way model matching algorithm.
Softw. Syst. Model., October, 2023

A user study for evaluation of formal verification results and their explanation at Bosch.
Empir. Softw. Eng., October, 2023

Adversarial example-based test case generation for black-box speech recognition systems.
Softw. Test. Verification Reliab., August, 2023

A property specification pattern catalog for real-time system verification with UPPAAL.
Inf. Softw. Technol., 2023

Tests4Py: A Benchmark for System Testing.
CoRR, 2023

Runtime Verification of Self-Adaptive Systems with Changing Requirements.
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary.
Proceedings of the Software Engineering 2023, 2023

A Summary of ReVision: History-based Model Repair Recommendations.
Proceedings of the Software Engineering 2023, 2023

BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing - Summary.
Proceedings of the Software Engineering 2023, 2023

20th Workshop on Automotive Software Engineering (ASE'23).
Proceedings of the Software Engineering 2023, 2023

A systematic literature review on counterexample explanation - Summary.
Proceedings of the Software Engineering 2023, 2023

A comprehensive empirical evaluation of generating test suites for mobile applications with diversity - Summary.
Proceedings of the Software Engineering 2023, 2023

Probabilistic Spatial Relations for Monitoring Behavior of Road Users.
Proceedings of the Computer Safety, Reliability, and Security, 2023

Static Test Case Prioritization Strategies for Grammar-Based Testing.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023

Contract-Driven Design of Scientific Data Analysis Workflows.
Proceedings of the 19th IEEE International Conference on e-Science, 2023

Design by Contract Revisited in the Context of Scientific Data Analysis Workflows.
Proceedings of the 19th IEEE International Conference on e-Science, 2023

2022
Inputs From Hell.
IEEE Trans. Software Eng., 2022

Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation.
ACM SIGSOFT Softw. Eng. Notes, 2022

VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python.
Inf. Softw. Technol., 2022

A systematic literature review on counterexample explanation.
Inf. Softw. Technol., 2022

A Comparative Evaluation on the Quality of Manual and Automatic Test Case Generation Techniques for Scientific Software - a Case Study of a Python Project for Material Science Workflows.
Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

A Consolidated View on Specification Languages for Data Analysis Workflows.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

BEDIVFUZZ: Integrating Behavioral Diversity into Generator-based Fuzzing.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Automatically finding Metamorphic Relations in Computational Material Science Parsers.
Proceedings of the 18th IEEE International Conference on e-Science, 2022

2021
History-based Model Repair Recommendations.
ACM Trans. Softw. Eng. Methodol., 2021

A comprehensive empirical evaluation of generating test suites for mobile applications with diversity.
Inf. Softw. Technol., 2021

Quantitative Verification of Stochastic Regular Expressions.
Fundam. Informaticae, 2021

The Collaborative Research Center FONDA.
Datenbank-Spektrum, 2021

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation.
CoRR, 2021

Towards a Benchmark Set for Program Repair Based on Partial Fixes.
CoRR, 2021

Probabilistic Grammar-based Test Generation.
Proceedings of the Software Engineering 2021, 2021

MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools.
Proceedings of the Software Engineering 2021, 2021

Concolic program repair.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Scalable N-Way Model Matching Using Multi-Dimensional Search Trees.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Sampling What Matters: Relevance-guided Sampling of Event Logs.
Proceedings of the 3rd International Conference on Process Mining, 2021

Evaluating Fault Localization Techniques with Bug Signatures and Joined Predicates.
Proceedings of the 29th International Workshop on Concurrency, 2021

2020
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes, 2020

Bet and Run for Test Case Generation.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Evolutionary Grammar-Based Fuzzing.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Counterexample Interpretation for Contract-Based Design.
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

HyDiff: hybrid differential software analysis.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

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

Complete Shadow Symbolic Execution with Java PathFinder.
ACM SIGSOFT Softw. Eng. Notes, 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. Reliab., 2018

Hora: Architecture-aware online failure prediction.
J. Syst. Softw., 2018

Supporting semi-automatic co-evolution of architecture and fault tree models.
J. Syst. Softw., 2018

Inputs from Hell: Generating Uncommon Inputs from Common Samples.
CoRR, 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.
Inform. 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.
J. Syst. Softw., 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.
Softw. Syst. Model., 2014

Choosing the Appropriate Forecasting Model for Predictive Parameter Control.
Evol. Comput., 2014

Reactive vs. Proactive Detection of Quality of Service Problems.
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
Software Architecture Optimization Methods: A Systematic Literature Review.
IEEE Trans. Software Eng., 2013

Quality optimisation of software architectures and design specifications.
J. Syst. Softw., 2013

An approach to software reliability prediction based on time series modeling.
J. Syst. Softw., 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.
J. Syst. Softw., 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. Exp., 2011

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

Reliability-driven deployment optimization for embedded systems.
J. Syst. Softw., 2011

An effective sequential statistical test for probabilistic monitoring.
Inf. Softw. Technol., 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. Exp., 2010

Timed Property Sequence Chart.
J. Syst. Softw., 2010

Capture and reuse of composable failure patterns.
Int. J. Crit. Comput. Based Syst., 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.
J. Syst. Softw., 2008

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems.
J. Syst. Softw., 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.
J. Syst. Softw., 2007

Systems engineering, test and evaluation: maximising customer satisfaction.
Innov. Syst. Softw. Eng., 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 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

Applicaton of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification.
ACIS Int. J. Comput. Inf. Sci., 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...