125 citations · 176 across the 4 of their papers we have counts for
5 papers
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…
Bet and Run for Test Case Generation
Sebastian Müller, Thomas Vogel, Lars Grunske
Anyone working in the technology sector is probably familiar with the question: "Have you tried turning it off and on again?", as this is usually the default question asked by tech…
Challenges for Verifying and Validating Scientific Software in Computational Materials Science
Thomas Vogel, Stephan Druskat, Markus Scheidgen +2
Many fields of science rely on software systems to answer different research questions. For valid results researchers need to trust the results scientific software produces, and co…