Atle Refsdal

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 6

Top Venues

ISSRE Workshops

CRiSIS

J. Comput. Syst. Sci.

Formal Aspects Comput.

University of Oslo, Norway (PHD)

Education History

University of Oslo, Norway

PHD

Publications

Ales Cernivec, Gencer Erdogan, Alejandra Gonzalez, Atle Refsdal, Antonio Álvarez Romero
Employing Graphical Risk Models to Facilitate Cyber-Risk Monitoring - the WISER Approach. GraMSec@CSF (2017)
Gencer Erdogan, Alejandra Gonzalez, Atle Refsdal, Fredrik Seehusen
A Method for Developing Algorithms for Assessing Cyber-Risk Cost. QRS (2017)
Gencer Erdogan, Atle Refsdal
A Method for Developing Qualitative Security Risk Assessment Algorithms. CRiSIS (2017)
Leonardo Montecchi, Atle Refsdal, Paolo Lollini, Andrea Bondavalli
A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain. DSN (2016)
Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
Stepwise refinement of sequence diagrams with soft real-time constraints. J. Comput. Syst. Sci. 81 (7) (2015)
Atle Refsdal, Bjørnar Solhaug, Ketil Stølen
Security risk analysis of system changes exemplified within the oil and gas domain. Int. J. Softw. Tools Technol. Transf. 17 (3) (2015)
Gencer Erdogan, Atle Refsdal, Ketil Stølen
Schematic Generation of English-Prose Semantics for a Risk Analysis Language Based on UML Interactions. ISSRE Workshops (2014)
Barbara Gallina, Edin Sefer, Atle Refsdal
Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis. ISSRE Workshops (2014)
Gencer Erdogan, Atle Refsdal, Ketil Stølen
A Systematic Method for Risk-Driven Test Case Design Using Annotated Sequence Diagrams. RISK@ICTSS (2013)
Ragnhild Kobro Runde, Atle Refsdal, Ketil Stølen
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism. Formal Aspects Comput. 25 (2) (2013)
Olav S. Ligaarden, Mass Soldal Lund, Atle Refsdal, Fredrik Seehusen, Ketil Stølen
An architectural pattern for enterprise level monitoring tools. MESOCA (2011)
Gyrd Brændeland, Atle Refsdal, Ketil Stølen
A Denotational Model for Component-Based Risk Analysis. FACS (2011)
Olav S. Ligaarden, Atle Refsdal, Ketil Stølen
Experiences from Using Indicators to Validate Expert Judgments in Security Risk Analysis. Metrisec@ESEM (2011)
Gyrd Brændeland, Atle Refsdal, Ketil Stølen
Modular analysis and modelling of risk scenarios with dependencies. J. Syst. Softw. 83 (10) (2010)
Aida Omerovic, Anette Andresen, Håvard Grindheim, Per Myrseth, Atle Refsdal, Ketil Stølen, Jon Ølnes
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality. ESSoS (2010)
Tormod V. Håvaldsrud, Olav S. Ligaarden, Per Myrseth, Atle Refsdal, Ketil Stølen, Jon Ølnes
Experiences from using a UML-based method for trust analysis in an industrial project on electronic procurement. Electron. Commer. Res. 10 (3-4) (2010)
Atle Refsdal, Ketil Stølen
Employing Key Indicators to Provide a Dynamic Risk Picture with a Notion of Confidence. IFIPTM (2009)
Atle Refsdal, Bjørnar Solhaug, Ketil Stølen
A UML-based Method for the Development of Policies to Support Trust Management. IFIPTM (2008)
Atle Refsdal, Ketil Stølen
Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis. Electron. Notes Theor. Comput. Sci. 197 (2) (2008)
Atle Refsdal, Ketil Stølen
Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis. Sci. Comput. Program. 74 (1-2) (2008)
Mass Soldal Lund, Atle Refsdal, Ketil Stølen
Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches. Model-Based Engineering of Embedded Real-Time Systems (2007)
Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. FMOODS (2006)
Atle Refsdal, Knut Eilif Husa, Ketil Stølen
Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams. FORMATS (2005)

Atle Refsdal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Atle Refsdal