| |
| 2008 | ||
|---|---|---|
| 4 | EE | Fredrik Seehusen, Ketil Stølen: A Transformational Approach to Facilitate Monitoring of High-Level Policies. POLICY 2008: 70-73 |
| 2006 | ||
| 3 | EE | Fredrik Seehusen, Ketil Stølen: Maintaining Information Flow Security Under Refinement and Transformation. Formal Aspects in Security and Trust 2006: 143-157 |
| 2 | EE | Fredrik Seehusen, Ketil Stølen: Information flow property preserving transformation of UML interaction diagrams. SACMAT 2006: 150-159 |
| 2005 | ||
| 1 | Fredrik Seehusen, Ketil Stølen: Graphical Specification of Dynamic Network Structure. ICEIS (3) 2005: 203-210 | |
| 1 | Ketil Stølen | [1] [2] [3] [4] |