Concepedia

Ragnhild Kobro Runde

RK

5

Publications

231

Citations

5

H-Index

2005

Active since

Affiliations

University of Oslo(Current)

SINTEF

Ragnhild Kobro Runde is an author at University of Oslo specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationDesignSemanticsSocial SciencesSoftware DesignProgram AnalysisSystems Engineering

Publications per year

2005–2014

5

Publications

5

STAIRS towards formal design with sequence diagrams

Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde et al. · Software & Systems Modeling · 2005 · 128 citations

Architectural Design, Specification Language, Formal Specification +9

Approaches for the combined use of risk analysis and testing: a systematic literature review

Gencer Erdogan, Yan Li, Ragnhild Kobro Runde et al. · International Journal on Software Tools for Technology Transfer · 2014 · 42 citations

Reliability, Risk Assessment, Combined Use +13

Refining UML interactions with underspecification and nondeterminism

Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen · 2007 · 32 citations · Full text

Engineering, Software Engineering, Higher-order Logic +21

How to transform UML neg into a useful construct

Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen · 2005 · 16 citations · Full text

Computational Logic, Engineering, Useful Construct +15

Why timed sequence diagrams require three-event semantics

Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde et al. · 2006 · 13 citations · Full text

Rows per page

1–5 of 5