arrow
返回
L

Lars Grunske

Humboldt University of Berlin

37H指数
201论文数
4.6K被引数
收录论文 25
发表时间
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
A systematic literature review on counterexample explanation
err2022-05-01
err7
errOAAI
errKaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, Lars
err分享
err收藏
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
err分享
err收藏
History-based Model Repair Recommendations
err2021-01-03
err20
PREAI
errOhrndorf, Manuel; Pietsch, Christopher; Kelter, Udo; Grunske, Lars; Kehrer, Timo
err分享
err收藏
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
err分享
err收藏
Hora: Architecture-aware online failure prediction
err2018-03-01
err46
errOAAI
errPitakrat, Teerat; Okanovic, Dusan; van Hoorn, Andre; Grunske, Lars
err分享
err收藏
err分享
err收藏
err分享
err收藏
err分享
err收藏
err分享
err收藏
Dynamic QoS Management and Optimization in Service-Based Systems基于服务的系统中的动态QoS管理和优化
err2011-05-01
err229
PREAI
errCalinescu, Radu; Grunske, Lars; Kwiatkowska, Marta; Mirandola, Raffaela; Tamburrelli, Giordano
err分享
err收藏