Ragnhild Kobro Runde
Associate Professor
-
Computing Education
Norwegian version of this page
Email
ragnhilk@ifi.uio.no
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 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 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 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), p. 627–642. doi: 10.1007/s10009-014-0330-5. Show summary
-
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. Show summary
-
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. 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), p. 159–187. doi: 10.1007/s00165-011-0192-5. Full text in Research Archive Show summary
-
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.
-
Bjørndalen, John Markus; Bongo, Lars Ailo; Haugland, Dag; Hjelmås, Erik; Løkketangen, Arne & Møller-Pedersen, Birger [Show all 10 contributors for this article] (2011). Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag. ISBN 978-82-519-2843-4. 262 p.
-
Bjørndalen, John Markus; Haugland, Dag; Hjelmås, Erik; Løkketangen, Arne; Møller-Pedersen, Birger & Prinz, Andreas [Show all 9 contributors for this article] (2009). Norsk informatikkonferanse : NIK 2009 : Institutt for datateknikk og informasjonsvitenskap, NTNU, 23.-25. november 2009. Tapir Akademisk Forlag. ISBN 978-82-519-2491-7. 170 p.
-
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 Show summary
-
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 Show summary
-
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. Show summary
-
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.
Published
Nov. 4, 2010 2:15 PM
- Last modified
Mar. 30, 2016 9:28 AM