dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Ketil Stølen (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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


65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Seehusen, Ketil Stølen: An Evaluation of the Graphical Modeling Framework (GMF) Based on the Development of the CORAS Tool. ICMT 2011: 152-166
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik 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)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Seehusen, Ketil Stølen: A Transformational Approach to Facilitate Monitoring of High-Level Policies. POLICY 2008: 70-73
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Seehusen, Ketil Stølen: Maintaining Information Flow Security Under Refinement and Transformation. Formal Aspects in Security and Trust 2006: 143-157
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Seehusen, Ketil Stølen: Information flow property preserving transformation of UML interaction diagrams. SACMAT 2006: 150-159
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Seehusen, Ketil Stølen: Graphical Specification of Dynamic Network Structure. ICEIS (3) 2005: 203-210

Selection of 6 from 69 records - Ketil Stølen has 48 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page