Bjørnar Solhaug

	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		Bjørnar Solhaug, Ketil Stølen: Compositional Refinement of Policies in UML - Exemplified for Access Control. ESORICS 2008: 300-316
	2007
3		Bjørnar Solhaug, Dag Elgesem, Ketil Stølen: Specifying Policies Using UML Sequence Diagrams - An Evaluation Based on a Case Study. POLICY 2007: 19-28
	2005
2		Bjørnar Solhaug, Arild Waaler: Logical Spaces in Multi-agent Only Knowing Systems. CLIMA VI 2005: 77-95
1		Arild Waaler, Bjørnar Solhaug: Semantics for multi-agent only knowing: extended abstract. TARK 2005: 109-125

Coauthor Index

1	Dag Elgesem	[3]
2	Fredrik Seehusen	[5]
3	Ketil Stølen	[3] [4] [5]
4	Arild Waaler	[1] [2]

Colors in the list of coauthors