Login / Signup
Thomas Strump
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Meta Learning
Hybrid Systems
Metadata
Search Space
Top Venues
HSCC
Haifa Verification Conference
</>
Publications
</>
Goran Frehse
,
Sergiy Bogomolov
,
Marius Greitschus
,
Thomas Strump
,
Andreas Podelski
Eliminating spurious transitions in reachability with support functions.
HSCC
(2015)
Sergiy Bogomolov
,
Goran Frehse
,
Marius Greitschus
,
Radu Grosu
,
Corina S. Pasareanu
,
Andreas Podelski
,
Thomas Strump
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.
Haifa Verification Conference
(2014)