 | 2011 |
| 12 |  | Mass Soldal Lund,
Bjørnar Solhaug,
Ketil Stølen:
Model-Driven Risk Analysis - The CORAS Approach.
Springer 2011: I-XVI, 1-460 |
| 11 |  | Mass Soldal Lund,
Bjørnar Solhaug,
Ketil Stølen:
Risk Analysis of Changing and Evolving Systems Using CORAS.
FOSAD 2011: 231-274 |
| 2010 |
| 10 |  | Mass Soldal Lund,
Bjørnar Solhaug,
Ketil Stølen:
Evolution in Relation to Risk and Trust Management.
IEEE Computer 43(5): 49-55 (2010) |
| 2007 |
| 9 |  | Mass Soldal Lund,
Atle Refsdal,
Ketil Stølen:
Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches.
Model-Based Engineering of Embedded Real-Time Systems 2007: 77-103 |
| 2006 |
| 8 |  | Mass Soldal Lund,
Ketil Stølen:
Deriving Tests from UML 2.0 Sequence Diagrams with neg and assert.
AST 2006: 22-28 |
| 7 |  | Mass Soldal Lund,
Ketil Stølen:
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice.
FM 2006: 380-395 |
| 6 |  | Judith E. Y. Rossebeø,
Mass Soldal Lund,
Knut Eilif Husa,
Atle Refsdal:
A Conceptual Model for Service Availability.
Quality of Protection 2006: 107-118 |
| 2005 |
| 5 |  | Fredrik Vraalsen,
Folker den Braber,
Mass Soldal Lund,
Ketil Stølen:
The CORAS Tool for Security Risk Analysis.
iTrust 2005: 402-405 |
| 4 |  | Fredrik Vraalsen,
Mass Soldal Lund,
Tobias Mahler,
Xavier Parent,
Ketil Stølen:
Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language.
iTrust 2005: 45-60 |
| 3 |  | Folker den Braber,
Mass Soldal Lund,
Ketil Stølen,
Fredrik Vraalsen:
Integrating Security in the Development Process with UML.
Encyclopedia of Information Science and Technology (III) 2005: 1560-1566 |
| 2003 |
| 2 |  | Mass Soldal Lund,
Folker den Braber,
Ketil Stølen:
Maintaining Results from Security Assessment.
CSMR 2003: 341-350 |
| 1 |  | Mass Soldal Lund:
Testing Decomposition of Component Specifications Based on a Rule for Formal Verification.
QSIC 2003: 154-160 |