Login / Signup
Hamed Ladan
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 1
Top Topics
Hybrid Systems
Coarse Grained
Reachability Analysis
Keypoints
Top Venues
Int. J. Softw. Tools Technol. Transf.
CAV
SPIN
</>
Publications
</>
Sergiy Bogomolov
,
Alexandre Donzé
,
Goran Frehse
,
Radu Grosu
,
Taylor T. Johnson
,
Hamed Ladan
,
Andreas Podelski
,
Martin Wehrle
Guided search for hybrid systems based on coarse-grained space abstractions.
Int. J. Softw. Tools Technol. Transf.
18 (4) (2016)
Sergiy Bogomolov
,
Alexandre Donzé
,
Goran Frehse
,
Radu Grosu
,
Taylor T. Johnson
,
Hamed Ladan
,
Andreas Podelski
,
Martin Wehrle
Abstraction-Based Guided Search for Hybrid Systems.
SPIN
(2013)
Sergiy Bogomolov
,
Goran Frehse
,
Radu Grosu
,
Hamed Ladan
,
Andreas Podelski
,
Martin Wehrle
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.
CAV
(2012)