Atle Refsdal

According to our database1, Atle Refsdal authored at least 27 papers between 2005 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




A Method for Developing Algorithms for Assessing Cyber-Risk Cost.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Employing Graphical Risk Models to Facilitate Cyber-Risk Monitoring - the WISER Approach.
Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

A Method for Developing Qualitative Security Risk Assessment Algorithms.
Proceedings of the Risks and Security of Internet and Systems, 2017

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Mandatory and Potential Choice: Comparing Event-B and STAIRS.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

Cyber-Risk Management
Springer Briefs in Computer Science, Springer, ISBN: 978-3-319-23570-7, 2015

Security risk analysis of system changes exemplified within the oil and gas domain.
Int. J. Softw. Tools Technol. Transf., 2015

Stepwise refinement of sequence diagrams with soft real-time constraints.
J. Comput. Syst. Sci., 2015

Divide and Conquer - Towards a Notion of Risk Model Encapsulation.
Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Schematic Generation of English-Prose Semantics for a Risk Analysis Language Based on UML Interactions.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism.
Formal Aspects Comput., 2013

A Systematic Method for Risk-Driven Test Case Design Using Annotated Sequence Diagrams.
Proceedings of the Risk Assessment and Risk-Driven Testing - First International Workshop, 2013

An architectural pattern for enterprise level monitoring tools.
Proceedings of the 5th IEEE International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2011

A Denotational Model for Component-Based Risk Analysis.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Experiences from Using Indicators to Validate Expert Judgments in Security Risk Analysis.
Proceedings of the Third International Workshop on Security Measurements and Metrics, 2011

Modular analysis and modelling of risk scenarios with dependencies.
J. Syst. Softw., 2010

Experiences from using a UML-based method for trust analysis in an industrial project on electronic procurement.
Electron. Commer. Res., 2010

Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality.
Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

Employing Key Indicators to Provide a Dynamic Risk Picture with a Notion of Confidence.
Proceedings of the Trust Management III, Third IFIP WG 11.11 International Conference, 2009

Specifying Computer Systems with Probabilistic Sequence Diagrams.
PhD thesis, 2008

Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis.
Electron. Notes Theor. Comput. Sci., 2008

A UML-based Method for the Development of Policies to Support Trust Management.
Proceedings of the Trust Management II, 2008

Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

A Conceptual Model for Service Availability.
Proceedings of the Quality of Protection - Security Measurements and Metrics, 2006

Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005