Ketil Stølen
Ketil Stølen
Chief Scientist, SINTEF & Professor, University of Oslo
Bestätigte E-Mail-Adresse bei sintef.no - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Specification and development of interactive systems: FOCUS on streams, interfaces, and refinement
M Broy, K Stølen
Springer, 2001
744*2001
Model-driven risk analysis: The CORAS approach
MS Lund, B Solhaug, K Stølen
Springer, 2011
5442011
Model-based security analysis in seven steps—A guided tour to the CORAS method
F den Braber, I Hogganvik, MS Lund, K Stølen, F Vraalsen
BT Technology Journal 25 (1), 101-117, 2007
2642007
STAIRS towards formal design with sequence diagrams
Ø Haugen, KE Husa, RK Runde, K Stølen
Software & Systems Modeling 4 (4), 355-357, 2005
1792005
Model-based risk assessment to improve enterprise security
JO Aagedal, F den Braber, T Dimitrakos, BA Gran, D Raptis, K Stølen
EDOC'02, 51-62, 2002
1592002
The requirement and design specification language Spectrum -- An informal introduction
M Broy, C Facchi, R Grosu, R Hettler, H Hussmann, D Nazareth, ...
Technical Reports TUM-I9311 and TUM-I9312, 1993
126*1993
The CORAS methodology: model-based risk assessment using UML and UP
F den Braber, T Dimitrakos, BA Gran, MS Lund, K Stølen, JØ Aagedal
UML and the Unified Process, 332-357, 2003
125*2003
The CORAS framework for a model-based risk management process
R Fredriksen, M Kristiansen, BA Gran, K Stølen, TA Opperud, T Dimitrakos
Safecomp'02, 94-105, 2002
1202002
Development of parallel programs on shared data-structures
K Stølen
University of Manchester, 1990
831990
Cyber-risk management
A Refsdal, B Solhaug, K Stølen
Cyber-Risk Management, 2015
822015
Towards a UML profile for model-based risk assessment
SH Houmb, F den Braber, MS Lund, K Stølen
CSDUML'02, 79-91, 2002
792002
STAIRS–Steps to analyze interactions with refinement semantics
Ø Haugen, K Stølen
UML'03, 388-402, 2003
782003
A graphical approach to risk identification, motivated by empirical investigations
I Hogganvik, K Stølen
MODELS'06, 574-588, 2006
732006
Why trust is not proportional to risk
B Solhaug, D Elgesem, K Stølen
ARES'07, 11-18, 2007
682007
Why timed sequence diagrams require three-event semantics
Ø Haugen, KE Husa, RK Runde, K Stølen
Dagstuhl seminar on Scenarios: Models, Transformations and Tools, 1-25, 2005
652005
Model-based risk assessment-the coras approach
K Stølen, F den Braber, T Dimitrakos, R Fredriksen, BA Gran, SH Houmb, ...
NIK'02, 239-249, 2002
652002
Model-based security risk analysis for Web applications: The CORAS approach
T Dimitrakos, B Ritchie, D Raptis, K Stølen
Euroweb'02, 43-55, 2002
642002
Evolution in relation to risk and trust management
MS Lund, B Solhaug, K Stølen
Computer 43 (5), 49-55, 2010
592010
A method for the development of totally correct shared-state parallel programs
K Stølen
CONCUR91, 510-525, 1991
571991
A fully general operational semantics for UML 2.0 sequence diagrams with potential and mandatory choice
MS Lund, K Stølen
FM'06, 380-395, 2006
522006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20