Bjørnar Solhaug (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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)

4 Bjørnar Solhaug, Ketil Stølen: Compositional Refinement of Policies in UML - Exemplified for Access Control. ESORICS 2008: 300-316

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

Selection of 3 from 5 records - Bjørnar Solhaug has 4 coauthors

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)
4		Bjørnar Solhaug, Ketil Stølen: Compositional Refinement of Policies in UML - Exemplified for Access Control. ESORICS 2008: 300-316
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