GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. - Hallstein Asheim Hansen; Gerardo Schneider (ICTAC, 2009)

A Computer Game Modelling Routing in Computer Networks as Abstract Learning Material in a Blended Learning Environment. - Olaf Hallan Graven; Hallstein Asheim Hansen; Lachlan M. MacKinnon (Int. J. Emerg. Technol. Learn., 2009)

Reachability analysis of GSPDIs: theory, optimization, and implementation. - Hallstein Asheim Hansen; Gerardo Schneider (SAC, 2010)

Reachability Analysis of Non-linear Planar Autonomous Systems. - Hallstein Asheim Hansen; Gerardo Schneider; Martin Steffen (FSEN, 2011)

Safety Verification of Non-linear, Planar Proportional Control with Differential Inclusions. - Hallstein Asheim Hansen (TrustCom, 2011)

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 (FMICS, 2013)

Reachability analysis of complex planar hybrid systems. - Hallstein Asheim Hansen; Gerardo Schneider; Martin Steffen (Sci. Comput. Program., 2013)