Ragnhild Kobro Runde

Associate Professor - Studielaben
Image of Ragnhild Kobro Runde
Norwegian version of this page
Phone +47-22840144
Room 10162
Username
Visiting address Gaustadalléen 23B 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO

Publications

  • Refsdal, Atle; Runde, Ragnhild Kobro & Stølen, Ketil (2016). Mandatory and Potential Choice: Comparing Event-B and STAIRS, In Luigia Petre & Emil Sekerinski (ed.),  From Action Systems to Distributed Systems: The Refinement Approach.  CRC Press.  ISBN 978-1-4987-0158-7.  Kapittel 2.  s 15 - 27 Show summary
  • Andresen, Kjetil; Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2015). Combined Modelling and Programming Support for Composite States and Extensible State Machines, In Slimane Hammoudi; Luis Ferreira Pires; Philippe Desfray & Joaquim Filipe (ed.),  MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015.  SciTePress.  ISBN 978-989-758-083-3.  kapittel.  s 231 - 238
  • Refsdal, Atle; Runde, Ragnhild Kobro & Stølen, Ketil (2015). Stepwise refinement of sequence diagrams with soft real-time constraints. Journal of computer and system sciences (Print).  ISSN 0022-0000.  81(7), s 1221- 1251 . doi: 10.1016/j.jcss.2015.03.003 Full text in Research Archive. Show summary
  • Erdogan, Gencer; Li, Yan; Runde, Ragnhild Kobro; Seehusen, Fredrik & Stølen, Ketil (2014). Approaches for the combined use of risk analysis and testing: A systematic literature review. International Journal on Software Tools for Technology Transfer (STTT).  ISSN 1433-2779.  16(5), s 627- 642 . doi: 10.1007/s10009-014-0330-5 Show summary
  • Grønmo, Roy; Runde, Ragnhild Kobro & Møller-Pedersen, Birger (2013). Confluence of aspects for sequence diagrams. Software & Systems Modeling.  ISSN 1619-1366.  12(4), s 789- 824 . doi: 10.1007/s10270-011-0212-1 Show summary
  • Li, Yan; Runde, Ragnhild Kobro & Stølen, Ketil (2013). Towards a pattern language for security risk analysis of web applications, In Christian Köppe (ed.),  PLoP 2013 Conference Proceedings, 20th Conference on pattern languages and programs.  Hillside.  ISBN 978-1-941652-00-8.  Kapittel. Show summary
  • Runde, Ragnhild Kobro; Refsdal, Atle & Stølen, Ketil (2013). Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism. Formal Aspects of Computing.  ISSN 0934-5043.  25(2), s 159- 187 . doi: 10.1007/s00165-011-0192-5 Show summary
  • Rossebø, Judith Ellen Yarranton & Runde, Ragnhild Kobro (2011). How to Model Dynamic Service Composition Using UML 2.x and Composition Policies, In Syed A. Ahson & Mohammad Ilyas (ed.),  Service Delivery Platforms: Developing and Deploying Converged Multimedia Services.  CRC Press.  ISBN 978-1-4398-0089-8.  Chapter 5.  s 87 - 122
  • Haugen, Øystein & Runde, Ragnhild Kobro (2009). Enhancing UML to Formalize the FIPA Agent Interaction Protocol. Lecture Notes in Business Information Processing.  ISSN 1865-1348.  25, s 154- 173
  • Rossebø, Judith Ellen Yarranton & Runde, Ragnhild Kobro (2009). Methodology for Model-Based Dynamic Composition of Services, In Trond Aalberg (ed.),  Norsk informatikkonferanse NIK 2009.  Tapir Akademisk Forlag.  ISBN 978-82-519-2491-7.  Artikkel.  s 1 - 12
  • Rossebø, Judith Ellen Yarranton & Runde, Ragnhild Kobro (2008). Specifying Service Composition Using UML 2.x and Composition Policies. Lecture Notes in Computer Science.  ISSN 0302-9743.  5301, s 520- 536
  • Halvorsen, Oddleif; Runde, Ragnhild Kobro & Haugen, Øystein (2007). Time Exceptions in Sequence Diagrams. Lecture Notes in Computer Science.  ISSN 0302-9743.  4364, s 131- 142
  • Halvorsen, Oddleif; Runde, Ragnhild Kobro & Haugen, Øystein (2006). Time Exceptions in Sequence Diagrams, In Sebastien Gerard; S Graf; Øystein Haugen; I Ober & Bran Selic (ed.),  MARTES 2006 at MoDELS 2006 - International workshop on Modeling and Analysis of Real-Time and Embedded Systems.  Department of Informatics.  ISBN 82-7368-299-4.  New Language Ideas.  s 81 - 100
  • Runde, Ragnhild Kobro; Haugen, Øystein & Stølen, Ketil (2006). The pragmatics of STAIRS. Lecture Notes in Computer Science.  ISSN 0302-9743.  4111, s 88- 114
  • Refsdal, Atle; Runde, Ragnhild Kobro & Stølen, Ketil (2006). Underspecification, inherent nondeterminism and probability in sequence diagrams. Lecture Notes in Computer Science.  ISSN 0302-9743.  4037, s 138- 155
  • Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro & Stølen, Ketil (2005). STAIRS towards formal design with sequence diagrams. Software & Systems Modeling.  ISSN 1619-1366.  4(4), s 355- 367
  • Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro & Stølen, Ketil (2005). Why timed sequence diagrams require three-event semantics. Lecture Notes in Computer Science.  ISSN 0302-9743.  3466, s 1- 25
  • Runde, Ragnhild Kobro; Haugen, Øystein & Stølen, Ketil (2005). How to transform UML neg into a useful construct, In Eivind Coward (ed.),  Norsk informatikkonferanse NIK'2005.  Tapir Akademisk Forlag.  ISBN 82-519-2081-7.  Artikkel.  s 55 - 66
  • Runde, Ragnhild Kobro; Haugen, Øystein & Stølen, Ketil (2005). Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing.  ISSN 1236-6064.  12(2), s 157- 188

View all works in Cristin

  • Bjørndalen, John Markus; Bongo, Lars Ailo; Haugland, Dag; Hjelmås, Erik; Løkketangen, Arne; Møller-Pedersen, Birger; Prinz, Andreas; Runde, Ragnhild Kobro; Sandnes, Frode Eika & Aalberg, Trond (2011). Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag.  ISBN 978-82-519-2843-4.  262 s.

View all works in Cristin

  • Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2016). State Pattern supporting both composite States and extension/specialization of State Machines.
  • Erdogan, Gencer; Li, Yan; Runde, Ragnhild Kobro; Seehusen, Fredrik & Stølen, Ketil (2012). Conceptual Framework for the DIAMONDS Project. SINTEF Rapport. A22798. Full text in Research Archive. Show summary
  • Refsdal, Atle; Runde, Ragnhild Kobro & Stølen, Ketil (2011). Stepwise refinement of sequence diagrams with soft real-time requirements. SINTEF Rapport. A19749. Full text in Research Archive. Show summary
  • Rossebø, Judith Ellen Yarranton & Runde, Ragnhild Kobro (2009). A Model-Based Approach to Dynamic Service Composition, Exemplified on Voice over IP. Telektronikk.  ISSN 0085-7130.  105(1), s 98- 106
  • Runde, Ragnhild Kobro & Aagedal, Jan Øyvind (2009). Guidelines for Developing Sequence Diagram Specifications, Exemplified for IPTV. Telektronikk.  ISSN 0085-7130.  105(1), s 59- 68
  • Stølen, Ketil & Runde, Ragnhild Kobro (2009). Guest Editorial: Model-Driven Security - Integrating Availability in System Development. Telektronikk.  ISSN 0085-7130.  105(1), s 1- 2
  • Refsdal, Atle; Runde, Ragnhild Kobro & Stølen, Ketil (2007). Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice. Part 2: probabilistic choice. Research Report 347. Show summary
  • Runde, Ragnhild Kobro (2007). STAIRS - Understanding and Developing Specifications Expressed as UML Interaction Diagrams. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.. 604.
  • Runde, Ragnhild Kobro (2005). UML neg - nyttig eller ubrukelig?.
  • Runde, Ragnhild Kobro (2005). UpSTAIRS with Sequence Diagrams.
  • Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro & Stølen, Ketil (2004). Why timed sequence diagrams require three-event semantics. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 309.
  • Runde, Ragnhild Kobro (2004). Refining UML interactions.
  • Runde, Ragnhild Kobro & Stølen, Ketil (2003). What is Model Driven Architecture?. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 304.
  • Johnsen, Einar Broch; Owe, Olaf & Runde, Ragnhild Kobro (2001). The Oslo School on Formalization of Distributed Systems.
  • Runde, Ragnhild Kobro (2000). Towards intuitive specifications with ready relations.
  • Runde, Ragnhild Kobro (2000). Utprøving og forbedring av en formalisme for parallelle prosesser.
  • Runde, Ragnhild Kobro & Owe, Olaf (2000). Forenklet, men presis beskrivelse av objekter.

View all works in Cristin

Published Nov. 4, 2010 2:15 PM - Last modified Mar. 30, 2016 9:28 AM