Papers and projects

Publications and projects

Scientific articles

Gyrd Brændeland, Ketil Stølen.Using model-driven risk analysis in component-based development. Accepted to appear in Dependability and Computer Engineering: Concepts for Software-Intensive Systems. IGI Global, 2011.
Gyrd Brændeland, Atle Refsdal, Ketil Stølen. Modular analysis and modelling of risk scenarios with dependencies. Journal of Systems and Software, volume 83, pages 1995-2013, Elsevier, 2010.
Gyrd Brændeland, Heidi E. I. Dahl, Iselin Engan, Ketil Stølen.Using dependent CORAS diagrams to analyse mutual dependency. In proceedings of 2nd international workshop on critical information infrastructures security (CRITIS'07), volume 5141 of Lecture Notes in Computer Science, Springer, 2008.
Gyrd Brændeland, Ketil Stølen. A semantic paradigm for component-based specification integrating a notion of security risk. In proceedings of the Fourth international workshop on Formal aspects in security and trust (FAST'06), volume 4691 of Lecture Notes in Computer Science, pages 31--46, Springer, 2007. (pdf - ©2007 Springer)
Gyrd Brændeland, Ketil Stølen. Using model-based security analysis in component-oriented system development. In proceedings of the 2nd ACM workshop on Quality of protection (QoP'06), pages 11--18, ACM Press, 2006. (pdf - ©2006 ACM)
Gyrd Brændeland, Ketil Stølen. Using risk analysis to assess user trust; A net-bank scenario. In Proceedings of the Second International Conference on Trust Management (iTrust'2004), Lecture Notes in Computer Science 2995, pages 146-160, Springer, 2004. (pdf - ©2004 Springer)

Technical reports

Gyrd Brændeland. Forberedende beslutningsrisikoanalyse for håndtering av skogbrann i Elverum kommune. Technical Report A17367, SINTEF IKT, 2011. pdf
Gyrd Brændeland, Atle Refsdal and Ketil Stølen. A denotational model for component-based risk analysis. Technical report 363, University of Oslo, Department of Informatics, February 2011. pdf
Gyrd Brændeland, Ketil Stølen. Using model-driven risk analysis in componentbased development. Technical Report 342, University of Oslo, Department of Informatics, December 2010. pdf
Erik Gøsta Nilsson, Gyrd Brændeland. EMERGENCY: Evaluering av DISKO. Technical Report A12084, SINTEF ICT, 2009.
Gyrd Brændeland, Heidi E. I. Dahl, Ketil Stølen. A modular approach to the modelling and analysis of risk scenarios with mutual dependencies. SINTEF A8360, SINTEF ICT, November 2008. (pdf)
Gyrd Brændeland, Ketil Stølen. A semantic paradigm for component-based specification integrating a notion of security risk. Research report 341, Department of Informatics, University of Oslo, October 2006. pdf

Lectures

Beredskapsforum Nasjonal Digital Samhandling 2010, February 3, 2010: Hvordan EMERGENCY vil redusere risikoen for redningsmannskapet. Foils
Locus Brukerforum, May 26, 2009: EMERGENCY – Mobile decision support in emergency situations. Foils
Mobil beslutningsstøtte i krisesituasjoner, organised by SINTEF ICT, March 26, 2009: Beslutningsstøtte i krisesituasjoner - hva finnes av metoder. Foils
QoP 2006, October 30 2006: Using Model-based Security Analysis in Component-oriented System Development. Foils
FAST 2006, August 26 2006: A semantic paradigm for component risk specifications.
Abelia-seminar, June 24 2004: Bruk av risikoanalyse for å analysere tillit i et nettbank-eksempel. Foils
Trust Management 2004, March 30 2004: Using risk analysis to assess trust -- An on-line banking scenario. .Foils
Seminaret i matematisk logikk 22. mai 2003: Mekanisert snittsøk i elementær tallteori. Foils
"Stuntlunsj" 21. januar 2003 på SINTEF: Avgrensing av hvilke funksjoner som er bevisbart beregnbare i praksis. Foils

PhD thesis

Gyrd Brændeland. Component-based risk analysis. PhD thesis, University of Oslo, 2011.

PDF

The thesis presents a component-based approach to risk analysis, supporting the integration of risk analysis into component-based development. The approach consists of: (1) a framework for component-based risk analysis; (2) a modular approach to risk modelling; (3) a formal foundation for modular risk modelling; (4) and a formal component model integrating the notion of risk.

Master thesis

Gyrd Brændeland. Mekanisert snittsøk i elementær tallteori (Mechanized Cut Search in Elementary Number Theory). Master Thesis, University of Oslo, March 2003.

PDF PDF.gz

The thesis concerns the use of cut formulas to shorten the length of derivations in number theory. An algorithm to search for cut formulas from the definition of the function ocurring in the formula to be proved is given. The algorithm is integrated in an extended version of the automatic theorem prover PESCA, called PESCA*. PESCA is developed by Aarne Ranta as a supplementary to the book Structural Proof Theory. PESCA* can be downloaded here pesca_star.tar.gz
Questions and messages about bugs in PESCA* can be sent to gyrd at ifi.uio.no

The rest of this page is in Norwegian

Gamle prosjekter

Interaktive logikkverktøy.

Et prosjektet utarbeidet i samarbeid med Line Bergem ved Språk, logikk og informasjon (SLI) sommeren 2000, med støtte fra Institutt for lingvistiske fag. Hensikten med prosjektet er å kartlegge mulighetene for å lage grensesnitt rundt programmer, ved hjelp av verktøyene som finnes i Dr Scheme. På sikt er målsetningen å etablere et miljø på SLI for å jobbe med grafiske implementasjoner av ulike logikkverktøy i tilknytning til det nye grunnfaget i informatikk. Dr Scheme er et gratis programmeringsmiljø for å lage programmer i Scheme, utviklet ved Rice Universitet. Det finnes på alle maskinene på terminalstua til SLI.

Wumpus World -- En logisk agent, Institutt for lingvistiske fag, Universitetet i Oslo, november 1999. Prosjektoppgave utarbeidet i samarbeid med Linn Irén Humlekjær, ved Språk, logikk og informasjon.

PDF PS

Wumpus er en agent som ved hjelp av logisk resonnering kan løse oppgaver i en forholdsvis enkel kunstig omgivelse.