Hallstein Asheim Hansen

According to our database, Hallstein Asheim Hansen authored at least 7 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Reachability analysis of complex planar hybrid systems.

Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen

Sci. Comput. Program., 2013

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2011

Safety Verification of Non-linear, Planar Proportional Control with Differential Inclusions.

Hallstein Asheim Hansen

Proceedings of the IEEE 10th International Conference on Trust, 2011

Reachability Analysis of Non-linear Planar Autonomous Systems.

Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Reachability analysis of GSPDIs: theory, optimization, and implementation.

Hallstein Asheim Hansen, Gerardo Schneider

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

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

GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems.

Hallstein Asheim Hansen, Gerardo Schneider

Proceedings of the Theoretical Aspects of Computing, 2009