The SARDAS Dissemination

PhD theses

• Judith E. Y. Rossebø. Dynamic composition of services – A model-based approach. PhD-thesis, Faculty of Information Technology, Mathematics and Electrical Engineering, Norwegian University of Science and Technology, 2009.
• Mass Soldal Lund. Operational analysis of sequence diagram specifications. PhD-thesis, Faculty of Mathematics and Natural Sciences, University of Oslo, 2008.
• Atle Refsdal. Specifying computer systems with probabilistic sequence diagrams. PhD-thesis, Faculty of Matematics and Natural Sciences, University of Oslo, 2008.
• Ragnhild Kobro Runde. STAIRS - Understanding and developing specifications expressed as UML interaction diagrams. Dr Scient-thesis, Faculty of Matematics and Natural Sciences, University of Oslo, 2007.

Special issues

• Ketil Stølen, Ragnhild Kobro Runde (Eds.). Model-driven security – Integrating availability in system development. Telektronikk, Issue 1, Telenor Group, 2009.

Papers in periodicals

• Atle Refsdal, Ketil Stølen. Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis. In Science of Computer Programming, volume 74, pages 34-42, 2008.
• Judith E. Y. Rossebø, Rolv Bræk. A policy-driven approach to dynamic composition of authentication and authorization patterns and services. Journal of Computers, 1(8):13-26, Academy Publisher, December 2006.
• Judith E. Y. Rossebø, Paul Sibjen, Security issues in voice over IP, Teletronikk,102(1), 2006.
• Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen. STAIRS towards formal design with sequence diagrams. Journal of Software and Systems Modeling, 4(4):355-367, 2005.
• Ragnhild Kobro Runde, Øystein Haugen, and Ketil Stølen. Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing, 12(2):157-188, Summer 2005.

Papers at major international conferences

• Judith E. Y. Rossebø, Arlene Pearce, Terje Jensen. On understanding availability of services based on IP multimedia subsystem. In Proc. 18th International Teletraffic Congress Specialist seminar on Quality of Experience, 2008.
• Judith E. Y. Rossebø, Ragnhild Kobra Runde. Specifying service composition using UML 2.x and composition policies. In Proc. 11th International Conference on Model Driven Engineering Languages and Systems (MODELS'08), LNCS 5301, pages 520-536, Springer, 2008.
• Daniel Amyot, Hanane Becha, Rolv Bræk, Judith E.Y. Rossebø. Next generation software engineering. In ITU-T Kalaidescope Academic Conference - Innovations in Next Generation Networks, pages 195-208, 2008.
• Judith E. Y. Rossebø, Rolv Bræk, Using composition policies to manage composition of AA-patterns and services. Third International Conference on Availability, Reliability and Security (ARES'08), pages 597-603, IEEE Computer Society, 2008.
• Judith E. Y. Rossebø, Scott Cadzow, Paul Sijben. eTVRA, a threat, vulnerability and risk assessment tool and method for eEurope. In Second International Conference on Availability, Reliability and Security (ARES'07), IEEE Computer, 2007.
• Mass Soldal Lund, Ketil Stølen. A fully operational semantics for UML 2.0 Sequence diagrams with potential and mandatory choice. In 14th International Symposium on Formal Methods (FM'06), number 4085 in Lecture Notes in Computer Science, pages 380-395, Springer, 2006.
• Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen. Underspecification, inherent nondeterminism and probability in sequence diagrams. 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06). Number 4037 in Lecture Notes in Computer Science, pages 138-155, Springer, 2006.
• Judith E. Y. Rossebø, Rolv Bræk. Towards a framework of authentication and authorization patterns for ensuring availability in service composition. In The First International Conference on Availability, Reliability and Security (ARES'06), The International Dependability Conference - Bridging Theory and Practice, pages 206-215, IEEE Computer Society, 2006.
• Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen. The pragmatics of STAIRS. In Formal Methods for Components and Objects (FMCO'05), number 4111 of Lecture Notes in Computer Science, pages 88-114, Springer, 2006.
• Atle Refsdal, Knut Eilif Husa, Ketil Stølen. Specification and refinement of soft real-time requirements using sequence diagrams. In proceedings of Third International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'05), number 3829 in Lecture Notes of Computer Science, pages 32-48, Springer-Verlag, 2005.
• Øystein Haugen, Ketil Stølen. STAIRS – Steps to analyze interactions with refinement semantics. In Proc. Sixth International Conference on UML (UML'03), LNCS 2863, pages 388-402, Springer, 2003.
• Mass Soldal Lund. Testing decomposition of component specifications based on a rule for formal verification. In Proc. Third International Conference on Quality Software (QSIC'03), pages 154-160, IEEE Computer Society, 2003.
• Judith Rossebø, John Ronan, Kristian Walsh. Authentication issues in multi-service residential access networks. In Proc. Sixth IFIP/IEEE International Conference on Management of Multimedia Networks and Services (MMNS'03), LNCS 2839, pages 381-395, Springer, 2003.

Papers in books and collections

• Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen. Why timed sequence diagrams require three-event semantic. In Scenarios: Models, transformations and tools. International Workshop, Dagstuhl Castle, Germany, September 2003. Revised selected papers. Number 3466 in Lecture Notes of Computer Science, pages 1-25, Springer-Verlag, 2005.

Papers at minor workshops and minor conferences

• Atle Refsdal, Ketil Stølen. Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis. In 3rd International Workshop on Security and Trust Management (STM'07), Electronic Notes in Theoretical Computer Science, 197(2):15-29, 2008.
• Oddleif Halvorsen, Ragnhild Kobro Runde, Øystein Haugen: Time exceptions in sequence diagrams. Models in Software Engineering, MoDELS workshops, number 4364 in Lecture Notes in Computer Science, pages 131-142, Springer 2007.
• Oddleif Halvorsen, Ragnhild Kobro Runde, Øystein Haugen. Time exceptions in sequence diagrams. In Proceedings MARTES 2006 at MoDELS 2006 - International workshop on Modeling and Analysis of Real-Time and Embedded Systems, pages 81-100, Research Report 343, Department of Informatics, University of Oslo, 2006.
• Mass Soldal Lund, Ketil Stølen. Deriving tests from UML 2.0 sequence diagrams with neg and assert. In 1st International Workshop on Automation of Software Test (AST'06), pages 22-28, ACM Press, 2006.
• Judith E. Y. Rossebø, Mass Soldal Lund, Knut Eilif Husa, Atle Refsdal. A conceptual model for service availability. In Quality of Protection: Security Measurements and Metrics (QoP'05), Volume 23 of Advances in Information Security, pages 107-118, Springer 2006.
• Gerhard Skagestein, Are Vegard Haug, Einar Nødtvedt, Judith E. Y. Rossebø, How to create trust in electronic voting over an untrusted platform. In proc. of the Second International Electronic Voting Workshop 2006, Bregenz/Austria, p. 107-116, Krimmer, R. (Ed.): Electronic Voting 2006, GI Lecture Notes in Informatics, P-86, Bonn, 2006.
• Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen. How to transform UML neg into a useful construct. Proc. Norsk Informatikkonferanse (NIK'05), pages 55-66, Tapir, 2005.
• Knut Eilif Husa, Atle Refsdal. Specification and refinement by probabilistic sequence diagrams. In Proc. 1st International Workshop on Probabilistic Analysis Techniques for Real-time and Embedded Systems (PARTES'04), 2004.
• John Ronan, Stephen Davy, Judith Rossebø. An analysis of IPsec deployment performance issues in high and low power devices. In Proc. 17th Nordic Teletraffic Seminar (NTS'17), 2004.
• Mass Soldal Lund, Folker den Braber, Ketil Stølen. A component-oriented approach to security risk assessment. In Proc. 1st International Workshop on QoS in CBSE 2003 (QoSCBSE'03), organised in conjunction with Ada-Europe 2003, pages 99-110, Cépaduès-Éditions, 2003.
• Arnor Solberg, Knut Eilif Husa, Jan Øyvind Aagedal, Espen Abrahamsen. QoS-aware MDA. In Proc. Model Driven Architecture in the Specification, Implementation and Validation of Object-oriented Embedded Systems (SIVOES-MDA'03) arranged in conjunction with UML'2003.

Invited presentations and presentations at events without proceedings

• Mass Soldal Lund. Model-based analysis using the Escalator tool. Presentation at seminar "Model-based system analysis", organized by SINTEF ICT and Department of Informatics, University of Oslo, Oslo, Norway, May 21, 2008.
• Atle Refsdal. Trust analysis. Presentation at seminar "Model-based system analysis", organized by SINTEF ICT and Department of Informatics, University of Oslo, Oslo, Norway, May 21, 2008.
• Ketil Stølen. Relating computer systems to sequence diagrams with underspecification and inherent nondeterminism. Presentation at Dagstuhl-seminar 07451: Model-Based Engineering of Embedded Real-Time Systems, Schloss Dagstuhl, Germany, November 5, 2007.
• Ketil Stølen. Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism (and probabilistic choice). Presentation at IFIP WG2.3-meeting, Sydney, Australia, January 10, 2007.
• Ketil Stølen. STAIRS towards formal design with sequence diagrams. Presentation at IFIP WG2.3-meeting, Brugge, 13 March, 2006.
• Øystein Haugen. STAIRS - Steps to analyze interactions with refinement semantics. Presentation at ECMDA 2005 Workshop: A Formal Semantics for UML, Nuremberg, Germany, November 7, 2005.
• Øystein Haugen, Ragnhild Kobro Runde, Ketil Stølen. UpSTAIRS with sequence diagrams. Presentation at Fourth International Symposium on Formal Methods for Components and Objects (FMCO'05), Amsterdam, Netherlands, November 1-4, 2005.
• Ketil Stølen. STAIRS towards formal design with sequence diagrams. University of Bergen, Department of Informatics, February 3, 2005.
• Mass Soldal Lund. Model-based availability analysis using testing. Presentation at IKT-2010 seminar 2004, Lillestrøm, September 20, 2004.
• Mass Soldal Lund. Testing applied to analysis of model relations. Presentation at "Perspectives of Model-Based Testing", Dagstuhl Seminar 04371, 2004.
• Ketil Stølen. STAIRS – Steps to analyze sequence diagrams with refinement semantics. Invited presentation at Åbo Akademi, Centre for Reliable Software Technology, Turku, May 28, 2004.
• Ketil Stølen. STAIRS – Steps to analyze sequence diagrams with refinement semantics. Invited presentation at University of Trento, Department of Computer Science and Telecommunications, Trento, May 17, 2004.
• Ketil Stølen. STAIRS – Steps to analyze sequence diagrams with refinement semantics. Invited presentation at NTNU, Deparment of Telematics, Tronheim, September 8, 2004.
• Knut Eilif Husa. Modellbasert tilgjenegelighetsanalyse – utfordringer i SARDAS prosjektet. Presentation at "Abelia Innovasjons Fagkonferanse", Klækken, November 27, 2003.

Abstracts in proceedings

• Mass Soldal Lund. Towards operational availability analysis with UML sequence diagrams. NOrdic workshop and doctoral symposium on DEpendability and Security (NODES'07). Åbo Akademi Reports on Computer Science & Mathematics, Ser. B, No 37, 2007.
• Mass Soldal Lund, Ketil Stølen. Extendable and modifiable operational semantics for UML 2.0 sequence diagrams. Extended abstract in Presentation abstracts of 17th Nordic Workshop on Programming Theory (NWPT'05), pages 86-88, DIKU, 2005.
• Ragnhild Kobro Runde. Refining UML interactions. Extended abstract in Proceedings of the 16th Nordic Workshop on Programming Theory (NWPT'04), pages 36-38, Technical report 2004-041, Department of Information Technology, Uppsala University, 2004.

Posters and demonstrations

• Judith E. Y. Rossebø, Scott Cadzow, Paul Sijben. eTVRA, a threat, vulnerability and risk assessment tool for eEurope. Demonstration at 4th International Conference on Trust Management (iTrust'06), Pisa, Italy, May 16-19, 2006. Published in Proc. iTrust'06, number 3986 og Lecture Notes in Computer Science, pages 467-471, Springer, 2006.

Technical reports

• Judith E. Y. Rossebø, Rolv Bræk, Ragnhild Kobro Runde. Methodology for dynamic composition of AA-patterns and services. Avantel technical report 2, 2009.
• Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen. Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice. Part 2. Research report 347, Department of Informatics, University of Oslo, April 2008.
• Mass Soldal Lund, Ketil Stølen. Fully general operational semantics for UML sequence diagrams with potential and mandatory choice. Research report 330, Department of Informatics, University of Oslo, 2007.
• Atle Refsdal, Knut Eilif Husa, Ketil Stølen. Specification and refinement of real-time requirements using sequence diagrams. Technical report 323, Department of Informatics, University of Oslo, April 2007.
• Judith E. Y. Rossebø, Rolv Bræk. Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. Research Report 332, Department of Informatics, University of Oslo, 2007.
• Ragnhild Kobro Runde. STAIRS case study: The BuddySync system. Research report 345, Department of Informatics, University of Oslo, 2007.
• Ragnhild Kobro Runde, Øystein Haugen, and Ketil Stølen. Refining UML interactions with underspecification and nondeterminism. Research report 325, Deparment of Informatics, University of Oslo, 2007.
• Ragnhild Kobro Runde, Atle Refsdal, Ketil Stølen. Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice. Part 1. Research report 346, Department of Informatics, University of Oslo, January 2007.
• Oddleif Halvorsen, Ragnhild Kobro Runde, Øystein Haugen. Time Exceptions in Sequence Diagrams. Research Report 344, Department of Informatics, University of Oslo, 2006.
• Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen. Underspecification, inherent nondeterminism and probability in sequence diagrams. Research report 335, Deparment of Informatics, University of Oslo, 2006.
• Judith E. Y. Rossebø, Mass Soldal Lund, Knut Eilif Husa, Atle Refsdal. A conceptual model for service availability. Research report 337, Department of Informatics, University of Oslo, October 2006.
• Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen. Why timed sequence diagrams require three-event semantics. Research report 309, Department of Informatics, University of Oslo, 2006.
• Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen, How to transform UML neg into a useful construct. Reseach report 326, Department of Informatics, University of Oslo, 2005.
• Øystein Haugen, Ketil Stølen. STAIRS – Steps to analyze interactions with refinement semantics. Research report 306, Department of Informatics, University of Oslo, June 2003.
• Ragnhild Kobro Runde, Ketil Stølen. What is model driven architecture? Research report 304, Department of Informatics, University of Oslo, March 2003.

Press coverage

• Håper på færre blindveier. Article by Bjarne Røsjø. Forskning.no, April 28, CET 05:00, 2009.
• Spiller seg til sikkerhet. Ukeavisen Telecom, March 13, page 10, 2003.
• Sikkerhet for viktig for industrien alene. Ukeavisen Telecom, March 13, page 10, 2003.
• Spiller på 40 bits strenger. Ukeavisen Telecom, March 6, 2003.

Public presentations organized by the project

• Model-based system analysis. Public seminar at SINTEF in OSLO presenting the main achievements of the SARDAS-project. May 21, 2008.
• Thomas Weigert. The semantics of MSC. Invited talk at SINTEF, Oslo, June 29, 2005.
• Ina Schieferdecker. Concepts of online auditing systems. Invited talk at SINTEF, Oslo, December 11, 2003.
• Jacqueline Floch. Towards dynamic service composition: design and validation using roles. Invited talk at the University of Oslo, December 9, 2003.
• Manfred Broy. Services and layered architectures – specification and multi-view modelling of software systems. Invited talk at the University of Oslo, October 14, 2003.
• Ina Schieferdecker. The UML testing profile. Invited talk at the University of Oslo, May 6, 2003.

Created: May 13, 2003. Last updated: May 31, 2010.