Atle Refsdal

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A Method for Developing Algorithms for Assessing Cyber-Risk Cost.

Gencer Erdogan, Alejandra Gonzalez, Atle Refsdal, Fredrik Seehusen

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Employing Graphical Risk Models to Facilitate Cyber-Risk Monitoring - the WISER Approach.

Ales Cernivec, Gencer Erdogan, Alejandra Gonzalez, Atle Refsdal, Antonio Álvarez Romero

Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

A Method for Developing Qualitative Security Risk Assessment Algorithms.

Gencer Erdogan, Atle Refsdal

Proceedings of the Risks and Security of Internet and Systems, 2017

2016

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain.

Leonardo Montecchi, Atle Refsdal, Paolo Lollini, Andrea Bondavalli

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Mandatory and Potential Choice: Comparing Event-B and STAIRS.

Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Cyber-Risk Management

Atle Refsdal, Bjørnar Solhaug, Ketil Stølen

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.

Atle Refsdal, Bjørnar Solhaug, Ketil Stølen

Int. J. Softw. Tools Technol. Transf., 2015

Stepwise refinement of sequence diagrams with soft real-time constraints.

Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen

J. Comput. Syst. Sci., 2015

2014

Divide and Conquer - Towards a Notion of Risk Model Encapsulation.

Atle Refsdal, Øyvind Rideng, Bjørnar Solhaug, Ketil Stølen

Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis.

Barbara Gallina, Edin Sefer, Atle Refsdal

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.

Gencer Erdogan, Atle Refsdal, Ketil Stølen

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism.

Ragnhild Kobro Runde, Atle Refsdal, Ketil Stølen

Formal Aspects Comput., 2013

A Systematic Method for Risk-Driven Test Case Design Using Annotated Sequence Diagrams.

Gencer Erdogan, Atle Refsdal, Ketil Stølen

Proceedings of the Risk Assessment and Risk-Driven Testing - First International Workshop, 2013

2011

An architectural pattern for enterprise level monitoring tools.

Olav S. Ligaarden, Mass Soldal Lund, Atle Refsdal, Fredrik Seehusen, Ketil Stølen

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.

Gyrd Brændeland, Atle Refsdal, Ketil Stølen

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Experiences from Using Indicators to Validate Expert Judgments in Security Risk Analysis.

Olav S. Ligaarden, Atle Refsdal, Ketil Stølen

Proceedings of the Third International Workshop on Security Measurements and Metrics, 2011

2010

Modular analysis and modelling of risk scenarios with dependencies.

Gyrd Brændeland, Atle Refsdal, Ketil Stølen

J. Syst. Softw., 2010

Experiences from using a UML-based method for trust analysis in an industrial project on electronic procurement.

Tormod V. Håvaldsrud, Olav S. Ligaarden, Per Myrseth, Atle Refsdal, Ketil Stølen, Jon Ølnes

Electron. Commer. Res., 2010

Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality.

Aida Omerovic, Anette Andresen, Håvard Grindheim, Per Myrseth, Atle Refsdal, Ketil Stølen, Jon Ølnes

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

2009

Employing Key Indicators to Provide a Dynamic Risk Picture with a Notion of Confidence.

Atle Refsdal, Ketil Stølen

Proceedings of the Trust Management III, Third IFIP WG 11.11 International Conference, 2009

2008

Specifying Computer Systems with Probabilistic Sequence Diagrams.

Atle Refsdal

PhD thesis, 2008

Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis.

Atle Refsdal, Ketil Stølen

Sci. Comput. Program., 2008

A UML-based Method for the Development of Policies to Support Trust Management.

Atle Refsdal, Bjørnar Solhaug, Ketil Stølen

Proceedings of the Trust Management II, 2008

2007

Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches.

Mass Soldal Lund, Atle Refsdal, Ketil Stølen

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006

A Conceptual Model for Service Availability.

Judith E. Y. Rossebeø, Mass Soldal Lund, Knut Eilif Husa, Atle Refsdal

Proceedings of the Quality of Protection - Security Measurements and Metrics, 2006

Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.

Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams.

Atle Refsdal, Knut Eilif Husa, Ketil Stølen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005