Tobias Ringholm Jørgensen

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Static Analysis

Symbolic Execution

Top Venues

Publications

Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen
An Integer Static Analysis for Better Extrapolation in Uppaal. FORMATS (2021)