arrow
Back
L

Lars Grunske

Humboldt University of Berlin

37H-index
201Paper Count
4.6KCitation Count
Published Papers 25
Publication Date
errShare
errSave
Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach
err2024-09-01
err0
PREAI
errde Araujo, Joao Paulo Costa; Rodrigues, Genaina Nunes; Carwehl, Marc; Vogel, Thomas; Grunske, Lars; Caldas, Ricardo; Pelliccione, Patrizio
errShare
errSave
A user study for evaluation of formal verification results and their explanation at Bosch
err2023-09-18
err5
errOAAI
errKaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, Lars
errShare
errSave
A property specification pattern catalog for real-time system verification with UPPAAL
err2023-02-01
err13
errOAAI
errVogel, Thomas; Carwehl, Marc; Rodrigues, Genaina Nunes; Grunske, Lars
errShare
errSave
A systematic literature review on counterexample explanation
err2022-05-01
err7
errOAAI
errKaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, Lars
errShare
errSave
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python
err2022-04-01
err57
errOAAI
errWartschinski, Laura; Noller, Yannic; Vogel, Thomas; Kehrer, Timo; Grunske, Lars
errShare
errSave
Inputs From Hell: Learning Input Distributions for Grammar-Based Test Generation
err2022-04-01
err15
errOAAI
errSoremekun, Ezekiel; Pavese, Esteban; Havrikov, Nikolas; Grunske, Lars; Zeller, Andreas
errShare
errSave
History-based Model Repair Recommendations
err2021-01-03
err20
PREAI
errOhrndorf, Manuel; Pietsch, Christopher; Kelter, Udo; Grunske, Lars; Kehrer, Timo
errShare
errSave
Mapping the Effectiveness of Automated Test Suite Generation Techniques
err2018-09-01
err19
errOAAI
errOliveira, Carlos; Aleti, Aldeida; Grunske, Lars; Smith-Miles, Kate
errShare
errSave
Supporting semi-automatic co-evolution of architecture and fault tree models
err2018-08-01
err17
PREAI
errGetir, Sinem; Grunske, Lars; van Hoorn, Andre; Kehrer, Timo; Noller, Yannic; Tichy, Matthias
errShare
errSave
Hora: Architecture-aware online failure prediction
err2018-03-01
err46
errOAAI
errPitakrat, Teerat; Okanovic, Dusan; van Hoorn, Andre; Grunske, Lars
errShare
errSave
errShare
errSave
Software Architecture Optimization Methods: A Systematic Literature Review
err2013-05-01
err198
errOAAI
errAleti, Aldeida; Buhnova, Barbora; Grunske, Lars; Koziolek, Anne; Meedeniya, Indika
errShare
errSave
errShare
errSave
Reliability-driven deployment optimization for embedded systems
err2011-05-01
err27
PREAI
errMeedeniya, Indika; Buhnova, Barbora; Aleti, Aldeida; Grunske, Lars
errShare
errSave
Dynamic QoS Management and Optimization in Service-Based Systems
err2011-05-01
err229
PREAI
errCalinescu, Radu; Grunske, Lars; Kwiatkowska, Marta; Mirandola, Raffaela; Tamburrelli, Giordano
errShare
errSave