Ragnhild Kobro Runde

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 5

Top Venues

J. Comput. Syst. Sci.

Formal Aspects Comput.

Int. J. Softw. Tools Technol. Transf.

MODELSWARD

University of Oslo, Norway (PHD)

Education History

University of Oslo, Norway

PHD

Publications

Quintin I. Cutts, Maria Kallia, Ruth Anderson, Tom Crick, Marie Devlin, Mohammed Farghally, Claudio Mirolo, Ragnhild Kobro Runde, Otto Seppälä, Jaime Urquiza-Fuentes, Jan Vahrenhold
Considering Computing Education in Undergraduate Computer Science Programmes. ITiCSE (2) (2023)
Quintin I. Cutts, Maria Kallia, Ruth Anderson, Tom Crick, Marie Devlin, Mohammed Farghally, Claudio Mirolo, Ragnhild Kobro Runde, Otto Seppälä, Jaime Urquiza-Fuentes, Jan Vahrenhold
Arguments for and Approaches to Computing Education in Undergraduate Computer Science Programmes. ITiCSE-WGR (2023)
Kristin Marie Rørnes, Ragnhild Kobro Runde, Siri Moe Jensen
Students' mental models of references in Python. NIK (2019)
Kjetil Andresen, Birger Møller-Pedersen, Ragnhild Kobro Runde
Combined Modelling and Programming Support for Composite States and Extensible State Machines. MODELSWARD (2015)
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)
Gencer Erdogan, Yan Li, Ragnhild Kobro Runde, Fredrik Seehusen, Ketil Stølen
Approaches for the combined use of risk analysis and testing: a systematic literature review. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Roy Grønmo, Ragnhild Kobro Runde, Birger Møller-Pedersen
Confluence of aspects for sequence diagrams. Softw. Syst. Model. 12 (4) (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)
Ole Lehrmann Madsen, Birger Møller-Pedersen, Ragnhild Kobro Runde
COOMP 2011: first international workshop on combined object-oriented modeling and programming. OOPSLA Companion (2011)
Judith E. Y. Rossebø, Ragnhild Kobro Runde
Specifying Service Composition Using UML 2.x and Composition Policies. MoDELS (2008)
Øystein Haugen, Ragnhild Kobro Runde
Enhancing UML to Formalize the FIPA Agent Interaction Protocol. ATOP@AAMAS (2008)
Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. FMOODS (2006)
Oddleif Halvorsen, Ragnhild Kobro Runde, Øystein Haugen
Time Exceptions in Sequence Diagrams. MoDELS (Workshops) (2006)
Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen
The Pragmatics of STAIRS. FMCO (2005)
Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen
STAIRS towards formal design with sequence diagrams. Softw. Syst. Model. 4 (4) (2005)
Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen
Refining UML Interactions with Underspecification and Nondeterminism. Nord. J. Comput. 12 (2) (2005)
Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen
Why Timed Sequence Diagrams Require Three-Event Semantics. Scenarios: Models, Transformations and Tools (2003)

Ragnhild Kobro Runde.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ragnhild Kobro Runde