BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Sweden
1 × The Netherlands
2 × Italy
2 × Switzerland
3 × USA
Collaborated with:
F.Seehusen I.Hogganvik ∅ M.S.Lund F.d.Braber Ø.Haugen J.Ø.Aagedal T.Dimitrakos B.A.Gran D.Raptis
Talks about:
graphic (3) secur (3) risk (3) network (2) semant (2) assess (2) model (2) base (2) comprehens (1) mandatori (1)

Person: Ketil Stølen

DBLP DBLP: St=oslash=len:Ketil

Facilitated 7 volumes:

MoDELS 2015PracticalTrackPrCo
MoDELS 2014PracticalTrackPrCo
MoDELS 2014PrCo
MoDELS 2013PracticalTrackPrCo
MoDELS 2013PrCo

Contributed to:

ICMT 20112011
FM 20062006
MoDELS 20062006
ICEIS v3 20052005
IWPC 20052005
CSMR 20032003
UML 20032003
EDOC 20022002
ESOP 19961996
VDM Europe (1) 19911991

Wrote 11 papers:

ICMT-2011-SeehusenS #development #evaluation #framework #modelling #visual notation
An Evaluation of the Graphical Modeling Framework (GMF) Based on the Development of the CORAS Tool (FS, KS), pp. 152–166.
FM-2006-LundS #diagrams #semantics #sequence chart #uml
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
MoDELS-2006-HogganvikS #approach #empirical #identification #motivation #risk management #visual notation
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations (IH, KS), pp. 574–588.
ICEIS-v3-2005-SeehusenS #network #specification #visual notation
Graphical Specification of Dynamic Network Structure (FS, KS), pp. 203–210.
IWPC-2005-HogganvikS #comprehension #on the #security
On the Comprehension of Security Risk Scenarios (IH, KS), pp. 115–124.
CSMR-2003-LundBS #assessment #maintenance #security
Maintaining Results from Security Assessment (MSL, FdB, KS), pp. 341–350.
UML-2003-HaugenS #interactive #named #refinement #semantics
STAIRS — Steps to Analyze Interactions with Refinement Semantics (ØH, KS), pp. 388–402.
EDOC-2002-AagedalBDGRS #assessment #enterprise #modelling #risk management #security
Model-Based Risk Assessment to Improve Enterprise Security (JØA, FdB, TD, BAG, DR, KS), p. 51–?.
ESOP-1996-Stolen #data flow #network
Assumption/Commitment Rules for Dataflow Networks — With an Emphasis on Completeness (KS), pp. 356–372.
VDME-1991-Stolen #concurrent
An Attempt to Reason about Shared-State Concurrency in the Style of VDM (KS), pp. 324–342.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.