Publications by Refsdal Atle


2012 Experiences from Using Indicators to Validate Expert Judgments in Security Risk Analysis View reference Ligaarden Olav Skjelkvåle , Refsdal Atle , Stølen Ketil Source:(SINTEF rapport) Type:Report
2012 Using Indicators to Monitor Risk in Interconnected Systems: How to Capture and Measure the Impact of Service Dependencies on the Quality of Provided Services View reference Ligaarden Olav , Refsdal Atle , Stølen Ketil Source:(SINTEF rapport) Type:Report
2012 ValidKI: A Method for Designing Indicators to Monitor the Fulfillment of Business Objectives with Particular Focus on Quality and ICT-supported Monitoring of Indicators View reference Olav Skjelkvåle Ligaarden , Refsdal Atle , Stølen Ketil Source:(SINTEF rapport) Type:Report
2011 Stepwise refinement of sequence diagrams with soft real-time requirements View reference Refsdal Atle , Runde Ragnhild Kobro , Stølen Ketil Source:(SINTEF rapport) Type:Report
2011 Relating Computer Systems to Sequence Diagrams — The Impact of Underspecification and Inherent Nondeterminism View reference Runde Ragnhild K. , Refsdal Atle , Stølen Ketil Source:(University of Oslo Department of Informatics Research Report; 410) Type:Report
2011 A denotational model for component-based risk analysis View reference Brændeland Gyrd , Refsdal Atle , Stølen Ketil Source:(University of Oslo Department of Informatics Research report; 363) Type:Report
2011 Experiences from Using Indicators to Validate Expert Judgments in Security Risk Analysis View reference Ligaarden Olav Skjelkvåle , Refsdal Atle , Stølen Ketil Source:Workshop Proceedings of the 7th International Workshop on Security Measurements and Metrics (MetriSec 2011). Type:Conference paper/Book chapter
2011 An Architectural Pattern for Enterprise Level Monitoring Tools View reference Ligaarden Olav Skjelkvåle , Lund Mass Soldal , Refsdal Atle , Seehusen Fredrik , Stølen Ketil Source:2011 International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA), Williamsburg, VA, 26 Sept, 2011. (s. 1-10). IEEE Conference Proceedings. Type:Conference paper/Book chapter
2011 ValidKI: A Method for Designing Key Indicators to Monitor the Fulfillment of Business Objectives View reference Ligaarden Olav Skjelkvåle , Refsdal Atle , Stølen Ketil Source:Workshop Proceedings of the First International Conference on Business Intelligence and Technology (BUSTECH 2011). (s. 57-65). Type:Conference paper/Book chapter
2011 Analysing risk in practice: The CORAS approach to model-driven risk analysis View reference Refsdal Atle Source:18th ACM Conference on Computer and Communications Security (CCS 2011), Chicago, okt 17 - okt 21 Type:Presentation
2010 A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality View reference Omerovic Aida , Andresen Anette , Grindheim Håvard , Myrseth Per , Refsdal Atle , Stølen Ketil , Ølnæs Jon Source:(SINTEF rapport) Type:Report
2010 Modular analysis and modelling of risk scenarios with dependencies View reference Brændeland Gyrd , Refsdal Atle , Stølen Ketil Source:Journal of Systems and Software 83, 10, 1995-2013. Type:Journal article
2010 Semantics of UML Models for Dynamic Behavior: A Survey of Different Approaches View reference Lund Mass Soldal , Refsdal Atle , Stølen Ketil Source:Model-Based Engineering of Embedded Real-Time Systems. (s. 77-103). Berlin: Springer. Type:Conference paper/Book chapter
2010 Idea: A feasability study in model based prediction of impact of changes on system quality View reference Omerovic Aida , Andresen Anette , Grindheim Håvard , Myrseth Per , Refsdal Atle , Stølen Ketil , Ølnes Jon Source:Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010. (s. 231-240). Berlin: Springer. Type:Conference paper/Book chapter
2010 Experiences from using a UML-based method for trust analysis in an industrial project on electronic procurement View reference Håvaldsrud Tormod Vaksvik , Ligaarden Olav , Myrseth Per , Refsdal Atle , Stølen Ketil , Ølnes Jon Source:Electronic Commerce Research 10, 3-4, 441-467. Type:Journal article
2009 Adding soft real-time requirements in a step-wise development process View reference Refsdal Atle , Jakobsson Sune Source:Telektronikk 105 (1), 69-80. Type:Journal article
2009 Employing key indicators to provide a dynamic risk picture with a notion of confidence View reference Refsdal Atle , Stølen Ketil Source:Trust Management III. Third IFIP WG 11.11 International Conference, IFIPTM 2009, West Lafayette, IN, USA, June 15-19, 2009. (s. 215-233). Boston: Springer. Type:Conference paper/Book chapter
2008 Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice. Part 2 View reference Refsdal Atle , Runde Ragnhild Kobro , Stølen Ketil Source:(Research report (Universitetet i Oslo. Institutt for informatikk); 347) Type:Report
2008 A UML-based method for the development of policies to support trust management View reference Refsdal Atle , Solhaug Bjørnar , Stølen Ketil Source:Trust Management II : IFIPTM 2008/Joint iTrust and PST Conference on Privacy, Trust Management and Security, JUN 18-20, Trondheim, 2008. (s. 33-49). Boston: Springer. Type:Conference paper/Book chapter
2008 Trust analysis View reference Refsdal Atle Source:Model-based system analysis, Oslo, Norway, mai 21 - mai 21 Type:Presentation