125 citations · 186 across the 6 of their papers we have counts for
3 papers · 1 filter
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues +1
Context: The goal of specification pattern catalogs for real-time requirements is to mask the complexity of specifying such requirements in a timed temporal logic for verification.…
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python
Laura Wartschinski, Yannic Noller, Thomas Vogel +2
Context: Identifying potential vulnerable code is important to improve the security of our software systems. However, the manual detection of software vulnerabilities requires expe…
A systematic literature review on counterexample explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: Safety is of paramount importance for cyber-physical systems in domains such as automotive, robotics, and avionics. Formal methods such as model checking are one way to en…