Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams. - Atle Refsdal; Knut Eilif Husa; Ketil Stølen (FORMATS, 2005)

Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. - Atle Refsdal; Ragnhild Kobro Runde; Ketil Stølen (FMOODS, 2006)

A Conceptual Model for Service Availability. - Judith E. Y. Rossebeø; Mass Soldal Lund; Knut Eilif Husa; Atle Refsdal (Quality of Protection, 2006)

Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches. - Mass Soldal Lund; Atle Refsdal; Ketil Stølen (Model-Based Engineering of Embedded Real-Time Systems, 2007)

A UML-based Method for the Development of Policies to Support Trust Management. - Atle Refsdal; Bjørnar Solhaug; Ketil Stølen (IFIPTM, 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)

Specifying Computer Systems with Probabilistic Sequence Diagrams. - Atle Refsdal (2008)

Employing Key Indicators to Provide a Dynamic Risk Picture with a Notion of Confidence. - Atle Refsdal; Ketil Stølen (IFIPTM, 2009)

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 (ESSoS, 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)

Modular analysis and modelling of risk scenarios with dependencies. - Gyrd Brændeland; Atle Refsdal; Ketil Stølen (J. Syst. Softw., 2010)

Experiences from Using Indicators to Validate Expert Judgments in Security Risk Analysis. - Olav S. Ligaarden; Atle Refsdal; Ketil Stølen (Metrisec@ESEM, 2011)

A Denotational Model for Component-Based Risk Analysis. - Gyrd Brændeland; Atle Refsdal; Ketil Stølen (FACS, 2011)

An architectural pattern for enterprise level monitoring tools. - Olav S. Ligaarden; Mass Soldal Lund; Atle Refsdal; Fredrik Seehusen; Ketil Stølen (MESOCA, 2011)

A Systematic Method for Risk-Driven Test Case Design Using Annotated Sequence Diagrams. - Gencer Erdogan; Atle Refsdal; Ketil Stølen (RISK@ICTSS, 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)

Schematic Generation of English-Prose Semantics for a Risk Analysis Language Based on UML Interactions. - Gencer Erdogan; Atle Refsdal; Ketil Stølen (ISSRE Workshops, 2014)

Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis. - Barbara Gallina; Edin Sefer; Atle Refsdal (ISSRE Workshops, 2014)

Divide and Conquer - Towards a Notion of Risk Model Encapsulation. - Atle Refsdal; Øyvind Rideng; Bjørnar Solhaug; Ketil Stølen (Engineering Secure Future Internet Services and Systems, 2014)

Stepwise refinement of sequence diagrams with soft real-time constraints. - Atle Refsdal; Ragnhild Kobro Runde; Ketil Stølen (J. Comput. Syst. Sci., 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)

Cyber-Risk Management - Atle Refsdal; Bjørnar Solhaug; Ketil Stølen (Springer, 2015)

Mandatory and Potential Choice: Comparing Event-B and STAIRS. - Atle Refsdal; Ragnhild Kobro Runde; Ketil Stølen (From Action Systems to Distributed Systems, 2016)

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain. - Leonardo Montecchi; Atle Refsdal; Paolo Lollini; Andrea Bondavalli (DSN, 2016)

A Method for Developing Qualitative Security Risk Assessment Algorithms. - Gencer Erdogan; Atle Refsdal (CRiSIS, 2017)

Employing Graphical Risk Models to Facilitate Cyber-Risk Monitoring - the WISER Approach. - Ales Cernivec; Gencer Erdogan; Alejandra Gonzalez; Atle Refsdal; Antonio Álvarez Romero (GraMSec@CSF, 2017)

A Method for Developing Algorithms for Assessing Cyber-Risk Cost. - Gencer Erdogan; Alejandra Gonzalez; Atle Refsdal; Fredrik Seehusen (QRS, 2017)