Hallstein Asheim Hansen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2013
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | FMICS | HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis. | Hallstein Asheim Hansen |
| 2011 | TrustCom | Safety Verification of Non-linear, Planar Proportional Control with Differential Inclusions. | Hallstein Asheim Hansen |
| 2010 | SAC | Reachability analysis of GSPDIs: theory, optimization, and implementation. | Hallstein Asheim Hansen, Gerardo Schneider |
| 2009 | ICTAC | GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. | Hallstein Asheim Hansen, Gerardo Schneider |