Hallstein Asheim Hansen

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Real Time Embedded

Reachability Analysis

Top Venues

Sci. Comput. Program.

Publications

Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
Reachability analysis of complex planar hybrid systems. Sci. Comput. Program. 78 (12) (2013)
Hallstein Asheim Hansen
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. FMICS (2013)
Hallstein Asheim Hansen
Safety Verification of Non-linear, Planar Proportional Control with Differential Inclusions. TrustCom (2011)
Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
Reachability Analysis of Non-linear Planar Autonomous Systems. FSEN (2011)
Hallstein Asheim Hansen, Gerardo Schneider
Reachability analysis of GSPDIs: theory, optimization, and implementation. SAC (2010)
Hallstein Asheim Hansen, Gerardo Schneider
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. ICTAC (2009)
Olaf Hallan Graven, Hallstein Asheim Hansen, Lachlan M. MacKinnon
A Computer Game Modelling Routing in Computer Networks as Abstract Learning Material in a Blended Learning Environment. iJET 4 (S3) (2009)