Ragnhild Kobro Runde
Førsteamanuensis
-
PROG Programmering

English version of this page
E-post
ragnhilk@ifi.uio.no
Telefon
+47 22840144
Mobiltelefon
+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, 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 Fulltekst i vitenarkiv. Vis sammendrag
- 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. ISSN 0022-0000. 81(7), s 1221- 1251 . doi: 10.1016/j.jcss.2015.03.003 Fulltekst i vitenarkiv. Vis sammendrag
- 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 Vis sammendrag
- 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 Vis sammendrag
- 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. Vis sammendrag
- 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. Vis sammendrag
- 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 (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
- 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 (LNCS). 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 (LNCS). 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 and Systems Modeling (SoSyM). 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 (LNCS). 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
- 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.
- 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.
- Erdogan, Gencer; Li, Yan; Runde, Ragnhild Kobro; Seehusen, Fredrik & Stølen, Ketil (2012). Conceptual Framework for the DIAMONDS Project. SINTEF Rapport. A22798. Fulltekst i vitenarkiv. Vis sammendrag
- Refsdal, Atle; Runde, Ragnhild Kobro & Stølen, Ketil (2011). Stepwise refinement of sequence diagrams with soft real-time requirements. SINTEF Rapport. A19749. Fulltekst i vitenarkiv. Vis sammendrag
- 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. Vis sammendrag
- 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.
Publisert 4. nov. 2010 14:15
- Sist endret 3. aug. 2018 17:00