arrow
Back
T

Thomas Vogel

Humboldt University of Berlin

27H-index
279Paper Count
3.2KCitation Count
Published Papers 6
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 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