Lars Grunske

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 84

Top Venues

University of Potsdam (PHD)

Education History

University of Potsdam

PHD

Publications

Marius Smytzek, Martin Eberlein, Batuhan Serce, Lars Grunske, Andreas Zeller
Tests4Py: A Benchmark for System Testing. SIGSOFT FSE Companion (2024)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. Software Engineering (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE (2024)
Sebastian Müller, Jan Arne Sparka, Martin Kuban, Claudia Draxl, Lars Grunske
Grammar-based fuzzing of data integration parsers in computational materials science. Softw. Pract. Exp. 54 (2) (2024)
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo
P3: A Dataset of Partial Program Patches. MSR (2024)
João Paulo Costa de Araujo, Genaína Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione
Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach. IEEE Softw. 41 (5) (2024)
Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller
Semantic Debugging. Software Engineering (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. CoRR (2024)
Nourhan Elfaramawy, Fatma Deniz, Lars Grunske, Marcus Hilbrich, Timo Kehrer, Anna-Lena Lamprecht, Jan Mendling, Matthias Weidlich
On Managing Large Collections of Scientific Workflows. Modellierung (Workshops) (2024)
Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary. Software Engineering (2023)
Hanbo Cai, Pengcheng Zhang, Hai Dong, Lars Grunske, Shunhui Ji, Tianhao Yuan
Adversarial example-based test case generation for black-box speech recognition systems. Softw. Test. Verification Reliab. 33 (5) (2023)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. SEAMS (2023)
Stefan Kugele, Lars Grunske
20th Workshop on Automotive Software Engineering (ASE'23). Software Engineering (2023)
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
A property specification pattern catalog for real-time system verification with UPPAAL. Inf. Softw. Technol. 154 (2023)
Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller
Semantic Debugging. ESEC/SIGSOFT FSE (2023)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. CoRR (2023)
Anh Duc Vu, Jan Arne Sparka, Ninon De Mecquenem, Timo Kehrer, Ulf Leser, Lars Grunske
Design by Contract Revisited in the Context of Scientific Data Analysis Workflows. e-Science (2023)
Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Lars Grunske, Timo Kehrer
A Summary of ReVision: History-based Model Repair Recommendations. Software Engineering (2023)
Hoang Lam Nguyen, Lars Grunske
BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing - Summary. Software Engineering (2023)
Anna-Lena Lamprecht, Wilhelm Hasselbring, Jan Philipp Dietrich, Bernadette Fritzsch, Michael Goedicke, Lars Grunske, Carina Haupt, Stephan Janosch, Frank Löffler, Bernhard Rumpe, Robert Speck
Neue Fachgruppe "Research Software Engineering" gegründet. Softwaretechnik-Trends 43 (3) (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A user study for evaluation of formal verification results and their explanation at Bosch. Empir. Softw. Eng. 28 (5) (2023)
Lennart Siefke, Volker Sommer, Murat Can Baylan, Lars Grunske
Probabilistic Spatial Relations for Monitoring Behavior of Road Users. SAFECOMP (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation - Summary. Software Engineering (2023)
Anh Duc Vu, Jan Arne Sparka, Ninon De Mecquenem, Timo Kehrer, Ulf Leser, Lars Grunske
Contract-Driven Design of Scientific Data Analysis Workflows. e-Science (2023)
Thomas Vogel, Chinh Tran, Lars Grunske
A comprehensive empirical evaluation of generating test suites for mobile applications with diversity - Summary. Software Engineering (2023)
Alexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, Timo Kehrer
RaQuN: a generic and scalable n-way model matching algorithm. Softw. Syst. Model. 22 (5) (2023)
Moeketsi Raselimo, Lars Grunske, Bernd Fischer
Static Test Case Prioritization Strategies for Grammar-Based Testing. ASEW (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch. CoRR (2023)
Marius Smytzek, Martin Eberlein, Batuhan Serce, Lars Grunske, Andreas Zeller
Tests4Py: A Benchmark for System Testing. CoRR (2023)
Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. CoRR (2022)
Hoang Lam Nguyen, Lars Grunske
BEDIVFUZZ: Integrating Behavioral Diversity into Generator-based Fuzzing. ICSE (2022)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation. CoRR (2022)
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL. CoRR (2022)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation. Inf. Softw. Technol. 145 (2022)
Daniel Trübenbach, Sebastian Müller, Lars Grunske
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. SBST@ICSE (2022)
Sebastian Müller, Valentin Gogoll, Anh Duc Vu, Timo Kehrer, Lars Grunske
Automatically finding Metamorphic Relations in Computational Material Science Parsers. e-Science (2022)
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes 47 (4) (2022)
Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. Inf. Softw. Technol. 144 (2022)
Ezekiel O. Soremekun, Esteban Pavese, Nikolas Havrikov, Lars Grunske, Andreas Zeller
Inputs From Hell. IEEE Trans. Software Eng. 48 (4) (2022)
Marcus Hilbrich, Sebastian Müller, Svetlana Kulagina, Christopher Lazik, Ninon De Mecquenem, Lars Grunske
A Consolidated View on Specification Languages for Data Analysis Workflows. ISoLA (2) (2022)
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR (2022)
Hoang Lam Nguyen, Lars Grunske
BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing. CoRR (2022)
Thomas Vogel, Chinh Tran, Lars Grunske
A comprehensive empirical evaluation of generating test suites for mobile applications with diversity. Inf. Softw. Technol. 130 (2021)
Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
Concolic program repair. PLDI (2021)
Martin Kabierski, Hoang Lam Nguyen, Lars Grunske, Matthias Weidlich
Sampling What Matters: Relevance-guided Sampling of Event Logs. ICPM (2021)
Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. Software Engineering (2021)
Ezekiel O. Soremekun, Esteban Pavese, Nikolas Havrikov, Lars Grunske, Andreas Zeller
Probabilistic Grammar-based Test Generation. Software Engineering (2021)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. CoRR (2021)
Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Lars Grunske, Timo Kehrer
History-based Model Repair Recommendations. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Ulf Leser, Marcus Hilbrich, Claudia Draxl, Peter Eisert, Lars Grunske, Patrick Hostert, Dagmar Kainmüller, Odej Kao, Birte Kehr, Timo Kehrer, Christoph Koch, Volker Markl, Henning Meyerhenke, Tilmann Rabl, Alexander Reinefeld, Knut Reinert, Kerstin Ritter, Björn Scheuermann, Florian Schintke, Nicole Schweikardt, Matthias Weidlich
The Collaborative Research Center FONDA. Datenbank-Spektrum 21 (3) (2021)
Sinem Getir Yaman, Esteban Pavese, Lars Grunske
Quantitative Verification of Stochastic Regular Expressions. Fundam. Informaticae 179 (2) (2021)
Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang
Towards a Benchmark Set for Program Repair Based on Partial Fixes. CoRR (2021)
Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. MoDELS (2021)
Roman Milewski, Simon Heiden, Lars Grunske
Evaluating Fault Localization Techniques with Bug Signatures and Joined Predicates. CS&P (2021)
Sebastian Müller, Thomas Vogel, Lars Grunske
Bet and Run for Test Case Generation. SSBSE (2020)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Martin Eberlein, Yannic Noller, Thomas Vogel, Lars Grunske
Evolutionary Grammar-Based Fuzzing. SSBSE (2020)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
Counterexample Interpretation for Contract-Based Design. IMBSA (2020)
Sebastian Müller, Thomas Vogel, Lars Grunske
Bet and Run for Test Case Generation. CoRR (2020)
Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske
HyDiff: hybrid differential software analysis. ICSE (2020)
Martin Eberlein, Yannic Noller, Thomas Vogel, Lars Grunske
Evolutionary Grammar-Based Fuzzing. CoRR (2020)
Thomas Vogel, Chinh Tran, Lars Grunske
A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity. CoRR (2020)
Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. ASE (2020)
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
Perpetual Assurances for Self-Adaptive Systems. CoRR (2019)
Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer, Lars Grunske
Complete Shadow Symbolic Execution with Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Simon Heiden, Lars Grunske, Timo Kehrer, Fabian Keller, André van Hoorn, Antonio Filieri, David Lo
An evaluation of pure spectrum-based fault localization techniques for large-scale software systems. Softw. Pract. Exp. 49 (8) (2019)
Thomas Vogel, Stephan Druskat, Markus Scheidgen, Claudia Draxl, Lars Grunske
Challenges for verifying and validating scientific software in computational materials science. SE4Science@ICSE (2019)
Thomas Vogel, Chinh Tran, Lars Grunske
Does Diversity Improve the Test Suite Generation for Mobile Applications? SSBSE (2019)
Thomas Vogel, Stephan Druskat, Markus Scheidgen, Claudia Draxl, Lars Grunske
Challenges for Verifying and Validating Scientific Software in Computational Materials Science. CoRR (2019)
Thomas Vogel, Chinh Tran, Lars Grunske
Does Diversity Improve the Test Suite Generation for Mobile Applications? CoRR (2019)
Martin Bauer, Arik Senderovich, Avigdor Gal, Lars Grunske, Matthias Weidlich
How Much Event Data Is Enough? A Statistical Framework for Process Discovery. CAiSE (2018)
Sinem Getir, Lars Grunske, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy
Supporting semi-automatic co-evolution of architecture and fault tree models. J. Syst. Softw. 142 (2018)
Esteban Pavese, Ezekiel O. Soremekun, Nikolas Havrikov, Lars Grunske, Andreas Zeller
Inputs from Hell: Generating Uncommon Inputs from Common Samples. CoRR (2018)
Carlos Oliveira, Aldeida Aleti, Lars Grunske, Kate Smith-Miles
Mapping the Effectiveness of Automated Test Suite Generation Techniques. IEEE Trans. Reliab. 67 (3) (2018)
Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
Semantic program repair using a reference implementation. ICSE (2018)
Sinem Getir, Esteban Pavese, Lars Grunske
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. CS&P (2018)
Teerat Pitakrat, Dusan Okanovic, André van Hoorn, Lars Grunske
Hora: Architecture-aware online failure prediction. J. Syst. Softw. 137 (2018)
Lars Grunske, Mike Whalen
Guest editorial: advanced topics in automated software engineering. Autom. Softw. Eng. 25 (4) (2018)
Teerat Pitakrat, Dusan Okanovic, André van Hoorn, Lars Grunske
Architecture-Aware Online Failure Prediction for Distributed Software Systems. Software Engineering (2018)
Fabian Keller, Lars Grunske, Simon Heiden, Antonio Filieri, André van Hoorn, David Lo
A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System. QRS (2017)
Aldeida Aleti, Irene Moser, Lars Grunske
Analysing the fitness landscape of search-based software testing problems. Autom. Softw. Eng. 24 (3) (2017)
Teerat Pitakrat, Dusan Okanovic, André van Hoorn, Lars Grunske
An Architecture-Aware Approach to Hierarchical Online Failure Prediction. QoSA (2016)
Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske
A learning-to-rank based fault localization approach using likely invariants. ISSTA (2016)
Barbara Paech, Sven Apel, Lars Grunske, Christian Prehofer
Empirische Forschung zu Software-Evolution - Bestandsaufnahme und Vision aus dem DFG-Schwerpunktprogramm Design for Future - Managed Software Evolution. Inform. Spektrum 39 (3) (2016)
Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, Antony Tang
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar. IEEE Trans. Software Eng. 41 (7) (2015)
Iman Avazpour, John Grundy, Lars Grunske
Specifying model transformations by direct manipulation using concrete visual notations and interactive recommendations. J. Vis. Lang. Comput. 28 (2015)
Aldeida Aleti, Lars Grunske
Test data generation with a Kalman filter-based adaptive genetic algorithm. J. Syst. Softw. 103 (2015)
Antonio Filieri, Lars Grunske, Alberto Leva
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. ICSE (1) (2015)
Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Käfer, Tim Sanwald, Matthias Tichy
CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models. ICMT (2015)
Lars Grunske, Ayman A. Amin
Reactive vs. Proactive Detection of Quality of Service Problems. Software Engineering (2014)
Teerat Pitakrat, André van Hoorn, Lars Grunske
Increasing Dependability of Component-Based Software Systems by Online Failure Prediction (Short Paper). EDCC (2014)
Aldeida Aleti, Irene Moser, Indika Meedeniya, Lars Grunske
Choosing the Appropriate Forecasting Model for Predictive Parameter Control. Evol. Comput. 22 (2) (2014)
Indika Meedeniya, Irene Moser, Aldeida Aleti, Lars Grunske
Evaluating probabilistic models with uncertain model parameters. Softw. Syst. Model. 13 (4) (2014)
Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya
Software Architecture Optimization Methods: A Systematic Literature Review. Software Engineering (2014)
Kai Höfig, Marc Zeller, Lars Grunske
metaFMEA-A Framework for Reusable FMEAs. IMBSA (2014)
Teerat Pitakrat, André van Hoorn, Lars Grunske
A comparison of machine learning algorithms for proactive hard disk drive failure detection. ISARCS (2013)
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2013)
Lars Grunske, Aldeida Aleti
Quality optimisation of software architectures and design specifications. J. Syst. Softw. 86 (10) (2013)
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems (2013)
Catia Trubiani, Indika Meedeniya, Vittorio Cortellessa, Aldeida Aleti, Lars Grunske
Model-based performance analysis of software architectures under uncertainty. QoSA (2013)

Lars Grunske.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lars Grunske