dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mass Soldal Lund Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Model-Driven Risk Analysis - The CORAS Approach. Springer 2011: I-XVI, 1-460
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Risk Analysis of Changing and Evolving Systems Using CORAS. FOSAD 2011: 231-274
2010
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Evolution in Relation to Risk and Trust Management. IEEE Computer 43(5): 49-55 (2010)
2007
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMass 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMass Soldal Lund, Ketil Stølen: Deriving Tests from UML 2.0 Sequence Diagrams with neg and assert. AST 2006: 22-28
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMass 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJudith E. Y. Rossebeø, Mass Soldal Lund, Knut Eilif Husa, Atle Refsdal: A Conceptual Model for Service Availability. Quality of Protection 2006: 107-118
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Vraalsen, Folker den Braber, Mass Soldal Lund, Ketil Stølen: The CORAS Tool for Security Risk Analysis. iTrust 2005: 402-405
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFolker 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMass Soldal Lund, Folker den Braber, Ketil Stølen: Maintaining Results from Security Assessment. CSMR 2003: 341-350
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMass Soldal Lund: Testing Decomposition of Component Specifications Based on a Rule for Formal Verification. QSIC 2003: 154-160

Coauthor Index

1Folker den Braber [2] [3] [5]
2Knut Eilif Husa [6]
3Tobias Mahler [4]
4Xavier Parent [4]
5Atle Refsdal [6] [9]
6Judith E. Y. Rossebeø [6]
7Bjørnar Solhaug [10] [11] [12]
8Ketil Stølen [2] [3] [4] [5] [7] [8] [9] [10] [11] [12]
9Fredrik Vraalsen [3] [4] [5]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page