Ragnhild Kobro Runde

Førsteamanuensis - PROG Programmering
Bilde av Ragnhild Kobro Runde
English version of this page
Telefon +47 22840144
Mobiltelefon +47 94436221 +47-94436221
Rom 10162
Brukernavn
Besøksadresse Gaustadalléen 23B 0373 Oslo
Postadresse Postboks 1080 0316 Oslo

Utdanningsleder ved Institutt for Informatikk.

Publikasjoner

  • Rørnes, Kristin Marie; Runde, Ragnhild Kobro & Jensen, Siri Moe (2019). Students’ mental models of references in Python. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
  • Refsdal, Atle; Runde, Ragnhild Kobro & Stølen, Ketil (2016). Mandatory and Potential Choice: Comparing Event-B and STAIRS. I Petre, Luigia & Sekerinski, Emil (Red.), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. ISSN 978-1-4987-0158-7. s. 15–27. doi: 10.1201/b20053-4. Fulltekst i vitenarkiv
  • 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. ISSN 0022-0000. 81(7), s. 1221–1251. doi: 10.1016/j.jcss.2015.03.003. Fulltekst i vitenarkiv
  • Andresen, Kjetil; Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2015). Combined Modelling and Programming Support for Composite States and Extensible State Machines. I Hammoudi, Slimane; Ferreira Pires, Luis; Desfray, Philippe & Filipe, Joaquim (Red.), 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. ISSN 978-989-758-083-3. s. 231–238. doi: 10.5220/0005237302310238.
  • 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.
  • Li, Yan; Runde, Ragnhild Kobro & Stølen, Ketil (2013). Towards a pattern language for security risk analysis of web applications. I Köppe, Christian (Red.), PLoP 2013 Conference Proceedings, 20th Conference on pattern languages and programs. Hillside. ISSN 978-1-941652-00-8.
  • Grønmo, Roy; Runde, Ragnhild Kobro & Møller-Pedersen, Birger (2013). Confluence of aspects for sequence diagrams. Software and Systems Modeling (SoSyM). ISSN 1619-1366. 12(4), s. 789–824. doi: 10.1007/s10270-011-0212-1.
  • 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. Fulltekst i vitenarkiv
  • Rossebø, Judith Ellen Yarranton & Runde, Ragnhild Kobro (2011). How to Model Dynamic Service Composition Using UML 2.x and Composition Policies. I Ahson, Syed A. & Ilyas, Mohammad (Red.), Service Delivery Platforms: Developing and Deploying Converged Multimedia Services. CRC Press. ISSN 978-1-4398-0089-8. s. 87–122. doi: 10.1007/978-3-540-87875-9_37.
  • 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. I Aalberg, Trond (Red.), Norsk informatikkonferanse NIK 2009. Tapir Akademisk Forlag. ISSN 978-82-519-2491-7. 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 (LNCS). 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 (LNCS). ISSN 0302-9743. 4364, s. 131–142.
  • Refsdal, Atle; Runde, Ragnhild Kobro & Stølen, Ketil (2006). Underspecification, inherent nondeterminism and probability in sequence diagrams. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 4037, s. 138–155.
  • Runde, Ragnhild Kobro; Haugen, Øystein & Stølen, Ketil (2006). The pragmatics of STAIRS. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 4111, s. 88–114.
  • Halvorsen, Oddleif; Runde, Ragnhild Kobro & Haugen, Øystein (2006). Time Exceptions in Sequence Diagrams. I Gerard, Sebastien; Graf, S; Haugen, Øystein; Ober, I & Selic, Bran (Red.), MARTES 2006 at MoDELS 2006 - International workshop on Modeling and Analysis of Real-Time and Embedded Systems. Department of Informatics. ISSN 82-7368-299-4. s. 81–100.
  • 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.
  • 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 (LNCS). ISSN 0302-9743. 3466, s. 1–25.
  • Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro & Stølen, Ketil (2005). STAIRS towards formal design with sequence diagrams. Software and Systems Modeling (SoSyM). ISSN 1619-1366. 4(4), s. 355–367.
  • Runde, Ragnhild Kobro; Haugen, Øystein & Stølen, Ketil (2005). How to transform UML neg into a useful construct. I Coward, Eivind (Red.), Norsk informatikkonferanse NIK'2005. Tapir Akademisk Forlag. ISSN 82-519-2081-7. s. 55–66.

Se alle arbeider i Cristin

Se alle arbeider i Cristin

  • Mørken, Knut Martin; Runde, Ragnhild Kobro & Skramstad, Tone (2017). Det nasjonale kvalifikasjonsrammeverket og utdanningsutvikling.
  • Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2016). State Pattern supporting both composite States and extension/specialization of State Machines.
  • 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.
  • 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.
  • 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 (2005). UML neg - nyttig eller ubrukelig?
  • Runde, Ragnhild Kobro (2005). UpSTAIRS with Sequence Diagrams.
  • Runde, Ragnhild Kobro (2004). Refining UML interactions.
  • Johnsen, Einar Broch; Owe, Olaf & Runde, Ragnhild Kobro (2001). The Oslo School on Formalization of Distributed Systems.
  • Runde, Ragnhild Kobro & Owe, Olaf (2000). Forenklet, men presis beskrivelse av objekter.
  • Runde, Ragnhild Kobro (2000). Towards intuitive specifications with ready relations.
  • Erdogan, Gencer; Li, Yan; Runde, Ragnhild Kobro; Seehusen, Fredrik & Stølen, Ketil (2012). Conceptual Framework for the DIAMONDS Project . SINTEF. ISSN 9788214052886. Fulltekst i vitenarkiv
  • Refsdal, Atle; Runde, Ragnhild Kobro & Stølen, Ketil (2011). Stepwise refinement of sequence diagrams with soft real-time requirements . SINTEF. ISSN 9788214049855. Fulltekst i vitenarkiv
  • Runde, Ragnhild Kobro (2007). STAIRS - Understanding and Developing Specifications Expressed as UML Interaction Diagrams. Unipub forlag. ISSN 1501-7710.
  • 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. Universitetet i Oslo. ISSN 82-7368-304-4.
  • Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro & Stølen, Ketil (2004). Why timed sequence diagrams require three-event semantics. Department of Informatics, University of Oslo. ISSN 82-7368-261-7.
  • Runde, Ragnhild Kobro & Stølen, Ketil (2003). What is Model Driven Architecture? Universitetet i Oslo. ISSN 82-7368-256-0.
  • Runde, Ragnhild Kobro (2000). Utprøving og forbedring av en formalisme for parallelle prosesser. IFI, UiO.

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:15 - Sist endret 3. aug. 2018 17:00

Forskergrupper