Fredrik Seehusen

	2009
5		Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen: Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies. Software and System Modeling 8(1): 45-65 (2009)
	2008
4		Fredrik Seehusen, Ketil Stølen: A Transformational Approach to Facilitate Monitoring of High-Level Policies. POLICY 2008: 70-73
	2006
3		Fredrik Seehusen, Ketil Stølen: Maintaining Information Flow Security Under Refinement and Transformation. Formal Aspects in Security and Trust 2006: 143-157
2		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

Coauthor Index

1	Bjørnar Solhaug	[5]
2	Ketil Stølen	[1] [2] [3] [4] [5]