Graduated MSc Students

• Monika Sperstad Køller
  Title: Tool-based method for testing policy adherence
  Master of Science, University of Oslo
  Started: October, 2010
  Submitted: May 2012
  
  
• Ivar Refsdal
  Title: Comparison of GMF and Graphiti based on experiences from the development of the PREDIQT tool
  Master of Science, University of Oslo
  Started: November, 2010
  Submitted: November 2011
  
  
• Aslak Wegner Eide
  Title: Visualization of risk as decision support in emergency situations
  Master of Science, University of Oslo
  Started: June, 2010
  Submitted: May 2011
  Published in Proceedings of 5th International Conference on Human System Interaction (pdf - ©2012 IEEE)
  
  
• Emese L. Bogya
  Title: Empirical evaluation of the semantics of the CORAS modeling language
  Master of Science, University of Oslo
  Started: September 2007
  Submitted: May 2008
  
  
• Shahbaz Chaudhary Yaqub
  Title: Relating CORAS diagrams and Markov chains
  Master of Science, University of Oslo
  Started: January 2006
  Submitted: November 2007
  
  
• Stig Torsbakken
  Title: The SCORE method and tool – A tool-supported method for risk estimation using CORAS diagrams
  Master of Science, University of Oslo
  Started: December 2005
  Submitted: May 2007
  
  
• Igor Koudrik
  Title: Generic elements in risk assessment of sea transportation using CORAS methodology
  Master of Science, University of Oslo
  Started: January 2005
  Submitted: February 2007
  
  
• Jenny Beate Hougen
  Title: An evaluation of CORAS
  Master of Science, University of Oslo
  Started: August 2004
  Submitted: August 2006
  
  
• Vikash Katta
  Title: Designing a tool for graphical threat modelling using the CORAS UML Profile
  Master of Science, Royal Institute of Technology, Stockholm
  Started: January 2005
  Submitted: September 2005
  
  
• Tom Lysemose
  Title: Promon – Intrusion detection by program monitoring
  Cand.Scient., University of Oslo
  Started: January 2003
  Submitted: January 2005
  Presentation at First Tuesday Seminar (pdf)
  
  
• Mihail Korabelnikov
  Title: Model driven availability risk analysis (MODA)
  Cand.Scient., University of Oslo
  Started: August 2002
  Submitted: January 2004
  
  
• Ida Hogganvik
  Title: AMBRA – Architectural framework for model-based risk analysis
  Siv.Ing., Norwegian University of Science and Technology, Trondheim
  Started: January 2003
  Submitted: June 2003
  
  
• Fredrik Seehusen
  Title: MEADOW – A dataflow language for modelling large and dynamic networks
  Cand.Scient., University of Oslo
  Started: January 2002
  Submitted: August 2003
  Published in Proceedings of 7th International Conference on Enterprise Information Systems (pdf - preprint)
  
  
• Mass Soldal Lund
  Title: Validation of contract decomposition by testing
  Cand.Scient., University of Oslo
  Started: August 2000
  Submitted: February 2002
  Published in Proceedings of 3rd International Conference on Quality Software (pdf - ©2003 IEEE)
  
  
• Folker den Braber
  Title: A precise foundation for modular refinement in MSC
  Doctorandus, University of Leiden
  Started: August 2000
  Submitted: September 2001
  
  
• Chuong Hung Nguyen
  Title (Norwegian): Modellering av operatørprosedyrer
  Cand.Scient., University of Oslo
  Started: January 1999
  Submitted: August 2000
  
  
• Frode Bakkehøi
  Title (Norwegian): Assosiasjon av prosedyrelle operasjoner på XML baserte dokumenter
  Cand.Scient., University of Oslo
  Started: January 1999
  Submitted: August 2000