Ragnhild Kobro Runde

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

Publications

  • Cutts, Quintin; Kallia, Maria; Anderson, Ruth; Crick, Tom; Devlin, Marie & Farghally, Mohammad [Show all 11 contributors for this article] (2023). Arguments for and Approaches to Computing Education in Undergraduate Computer Science Programmes. In Laakso, Mikko-Jussi; Monga, Mattia; Simon, - & Sheard, Judy (Ed.), ITiCSE-WGR '23: Proceedings of the 2023 Working Group Reports on Innovation and Technology in Computer Science Education. Association for Computing Machinery (ACM). ISSN 979-8-4007-0405-5. p. 160–195. doi: https:/doi.org/10.1145/3623762.3633494.
  • Cutts, Quintin; Kallia, Maria; Anderson, Ruth; Crick, Tom; Devlin, Marie & Farghally, Mohammad [Show all 11 contributors for this article] (2023). Considering Computing Education in Undergraduate Computer Science Programmes. In Laakso, Mikko-Jussi; Monga, Mattia; Simon, - & Sheard, Judy (Ed.), ITiCSE 2023: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery (ACM). ISSN 979-8-4007-0139-9. p. 567–568. doi: https:/doi.org/10.1145/3587103.3594210.
  • Runde, Ragnhild Kobro; Cutts, Quintin & Skaarseth, Lars Kristian (2023). Exploring Scratch to Python Transfer in Norwegian Lower Secondary Schools. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
  • Radišić, Jelena; Nortvedt, Guri A. & Runde, Ragnhild Kobro (2022). Relationships Between Mathematics Self-Belief: Exposure to ICT in School and Achievement on PISA 2012 Paper and Computer-Based Mathematics Assessment. In Martin, Christie; Miller, Bridget T & Polly, Drew (Ed.), Technology Integration and Transformation in STEM Classrooms. IGI Global. ISSN 9781668459201. Full text in Research Archive
  • 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. In Petre, Luigia & Sekerinski, Emil (Ed.), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. ISSN 978-1-4987-0158-7. p. 15–27. doi: 10.1201/b20053-4. Full text in Research Archive
  • Andresen, Kjetil; Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2015). Combined Modelling and Programming Support for Composite States and Extensible State Machines. In Hammoudi, Slimane; Ferreira Pires, Luis; Desfray, Philippe & Filipe, Joaquim (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. ISSN 978-989-758-083-3. p. 231–238. doi: 10.5220/0005237302310238.
  • 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), p. 1221–1251. doi: 10.1016/j.jcss.2015.03.003. Full text in Research Archive
  • 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), p. 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. In Köppe, Christian (Eds.), 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), p. 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), p. 159–187. doi: 10.1007/s00165-011-0192-5. Full text in Research Archive
  • Rossebø, Judith Ellen Yarranton & Runde, Ragnhild Kobro (2011). How to Model Dynamic Service Composition Using UML 2.x and Composition Policies. In Ahson, Syed A. & Ilyas, Mohammad (Ed.), Service Delivery Platforms: Developing and Deploying Converged Multimedia Services. CRC Press. ISSN 978-1-4398-0089-8. p. 87–122. doi: 10.1007/978-3-540-87875-9_37.
  • Rossebø, Judith Ellen Yarranton & Runde, Ragnhild Kobro (2009). Methodology for Model-Based Dynamic Composition of Services. In Aalberg, Trond (Eds.), Norsk informatikkonferanse NIK 2009. Tapir Akademisk Forlag. ISSN 978-82-519-2491-7. p. 1–12.
  • 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, p. 154–173.
  • 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, p. 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, p. 131–142.
  • Halvorsen, Oddleif; Runde, Ragnhild Kobro & Haugen, Øystein (2006). Time Exceptions in Sequence Diagrams. In Gerard, Sebastien; Graf, S; Haugen, Øystein; Ober, I & Selic, Bran (Ed.), 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. p. 81–100.
  • Runde, Ragnhild Kobro; Haugen, Øystein & Stølen, Ketil (2006). The pragmatics of STAIRS. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 4111, p. 88–114.
  • 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, p. 138–155.
  • Runde, Ragnhild Kobro; Haugen, Øystein & Stølen, Ketil (2005). How to transform UML neg into a useful construct. In Coward, Eivind (Eds.), Norsk informatikkonferanse NIK'2005. Tapir Akademisk Forlag. ISSN 82-519-2081-7. p. 55–66.
  • 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, p. 1–25.
  • 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), p. 157–188.
  • 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), p. 355–367.

View all works in Cristin

View all works in 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), p. 1–2.
  • Runde, Ragnhild Kobro & Aagedal, Jan Øyvind (2009). Guidelines for Developing Sequence Diagram Specifications, Exemplified for IPTV. Telektronikk. ISSN 0085-7130. 105(1), p. 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), p. 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 (2000). Towards intuitive specifications with ready relations.
  • Runde, Ragnhild Kobro & Owe, Olaf (2000). Forenklet, men presis beskrivelse av objekter.
  • Erdogan, Gencer; Li, Yan; Runde, Ragnhild Kobro; Seehusen, Fredrik & Stølen, Ketil (2012). Conceptual Framework for the DIAMONDS Project . SINTEF. ISSN 9788214052886. Full text in Research Archive
  • Refsdal, Atle; Runde, Ragnhild Kobro & Stølen, Ketil (2011). Stepwise refinement of sequence diagrams with soft real-time requirements . SINTEF. ISSN 9788214049855. Full text in Research Archive
  • 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.
  • Runde, Ragnhild Kobro (2007). STAIRS - Understanding and Developing Specifications Expressed as UML Interaction Diagrams. Unipub forlag. ISSN 1501-7710.
  • 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.

View all works in Cristin

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