• A modular approach to the modelling and analysis of risk scenarios with mutual depenencies 

      Brændeland, Gyrd; Dahl, Heidi Elisabeth Iuell; Stølen, Ketil (Research report, 2008)
      This report describes a modular approach to the modelling and analysis of risk scenarios with mutual dependencies. The presented approach may be used to deduce the risk-level of an overall system from previous risk analyses ...
    • Deconfliction and Surface Generation from Bathymetry Data Using LR B-splines 

      Skytt, Vibeke; Harpham, Quillon; Dokken, Tor; Dahl, Heidi Elisabeth Iuell (Chapter, 2017)
      A set of bathymetry point clouds acquired by different measurement techniques at different times, having different accuracy and varying patterns of points, are approximated by an LR B-spline surface. The aim is to represent ...
    • Structured Semantics for the CORAS Security Risk Modelling Language 

      Dahl, Heidi Elisabeth Iuell; Stølen, Ketil; Hogganvik, Ida (Research report, 2007)
      The CORAS security risk modelling language is a customised graphical language for com- munication, documentation and analysis of security threat and risk scenarios. We present a textual syntax and a structured semantics ...
    • Symmetries of canal surfaces and Dupin cyclides 

      Alcazar, Juan Gerardo; Dahl, Heidi Elisabeth Iuell; Muntingh, Agnar Georg Peder (Journal article; Peer reviewed, 2017)
      We develop a characterization for the existence of symmetries of canal surfaces defined by a rational spine curve and rational radius function. In turn, this characterization inspires an algorithm for computing the symmetries ...