| 2006 |
|---|
| 6 | EE | 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 |
| 2005 |
|---|
| 5 | EE | Fredrik Vraalsen,
Folker den Braber,
Mass Soldal Lund,
Ketil Stølen:
The CORAS Tool for Security Risk Analysis.
iTrust 2005: 402-405 |
| 4 | EE | 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 | EE | Mass Soldal Lund,
Folker den Braber,
Ketil Stølen:
Maintaining Results from Security Assessment.
CSMR 2003: 341-350 |
| 1 | EE | Mass Soldal Lund:
Testing Decomposition of Component Specifications Based on a Rule for Formal Verification.
QSIC 2003: 154-160 |
