Login / Signup
Jesper van Diepen
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Static Analysis
Symbolic Execution
Malicious Code
Timed Automata
Top Venues
FORMATS
</>
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)