Jobb
Forskar ved Samverkande og tiltrudde system, SINTEF Informasjons- og kommunikasjonsteknologiForskingsinteresser
Formelle og semiformelle spesifikasjonsteknikkar og -språk
Modellbasert testing
Risikoanalyse og trusselmodellering: sjå sida om CORAS-språket
Datahandsaminga si historie
Nyaste publikasjonar
Mass Soldal Lund. Model-based testing with the Escalator tool. Telektronikk, 105(1):117-125, 2009. pdf
Fredrik Seehusen, Mass Soldal Lund, Ketil Stølen. A transformational approach to facilitate monitoring of high level policies. Teknisk rapport A11356, SINTEF IKT, 2009.Heidi E. I. Dahl, Mass Soldal Lund. Risk Management in Practice. Model based security risk analysis with the CORAS method. Dagsseminar på "International Symposium on Engineering Secure Software and Systems (ESSoS'09)", Leuven, Belgia, 4. februar 2009.
Mass Soldal Lund. Model-based analysis using the Escalator tool. Presentasjon på seminaret "Model-based system analysis", arrangert av SINTEF IKT og Institutt for Informatikk, Universitetet i Oslo, 21. mai 2008. pdf
Mass Soldal Lund. Operational analysis of sequence diagram specifications. ph.d.-oppgåve, Matematisk-Naturvitskapleg Fakultet, Universitetet i Oslo, 2008. pdf
Kontaktinformasjon
| Telefon (kontor): | +47 22 06 76 64 |
| Telefon (mobil): | +47 93 02 56 31 |
| E-post: |
|
Adresse:
SINTEF IKT
Forskningsveien 1
Postboks 124, Blindern
0314 Oslo