关注
Ketil Stølen
Ketil Stølen
在 ifi.uio.no 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Specification and development of interactive systems: FOCUS on streams, interfaces, and refinement
M Broy, K Stølen
Springer, 2001
826*2001
Model-driven risk analysis: The CORAS approach
MS Lund, B Solhaug, K Stølen
Springer, 2011
6342011
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
2992007
STAIRS towards formal design with sequence diagrams
Ø Haugen, KE Husa, RK Runde, K Stølen
Software & Systems Modeling 4, 355-357, 2005
1932005
Cyber-risk management
A Refsdal, B Solhaug, K Stølen
Cyber-Risk Management, 2015
1742015
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
1672002
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
156*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
143*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
1362002
Why trust is not proportional to risk
B Solhaug, D Elgesem, K Stølen
ARES'07, 11-18, 2007
862007
Development of parallel programs on shared data-structures
K Stølen
University of Manchester, 1990
861990
A graphical approach to risk identification, motivated by empirical investigations
I Hogganvik, K Stølen
MODELS'06, 574-588, 2006
842006
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
832002
Towards a UML profile for model-based risk assessment
SH Houmb, F den Braber, MS Lund, K Stølen
CSDUML'02, 79-91, 2002
812002
STAIRS–Steps to analyze interactions with refinement semantics
Ø Haugen, K Stølen
UML'03, 388-402, 2003
802003
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
682005
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
682002
A method for the development of totally correct shared-state parallel programs
K Stølen
CONCUR91, 510-525, 1991
671991
Evolution in relation to risk and trust management
MS Lund, B Solhaug, K Stølen
Computer 43 (05), 49-55, 2010
642010
Risk analysis of changing and evolving systems using CORAS
MS Lund, B Solhaug, K Stølen
FOSAD'11, 231-274, 2011
572011
系统目前无法执行此操作,请稍后再试。
文章 1–20