2008 |
22 | EE | Judith E. Y. Rossebø,
Rolv Bræk:
Using Composition Policies to Manage Authentication and Authorization Patterns and Services.
ARES 2008: 597-603 |
2007 |
21 | EE | Humberto Nicolás Castejón,
Rolv Bræk,
Gregor von Bochmann:
Realizability of Collaboration-based Service Specifications.
APSEC 2007: 73-80 |
20 | EE | Haldor Samset,
Rolv Bræk:
Dealing with Active and Stateful Services in the Service-Oriented Architecture.
ICSOC Workshops 2007: 268-281 |
19 | EE | Frank Alexander Kraemer,
Rolv Bræk,
Peter Herrmann:
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
SDL Forum 2007: 166-185 |
2006 |
18 | EE | Judith E. Y. Rossebø,
Rolv Bræk:
Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition.
ARES 2006: 206-215 |
17 | EE | Humberto Nicolás Castejón Martínez,
Rolv Bræk:
Formalizing Collaboration Goal Sequences for Service Choreography.
FORTE 2006: 275-291 |
16 | EE | Frank Alexander Kraemer,
Peter Herrmann,
Rolv Bræk:
Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.
OTM Conferences (2) 2006: 1613-1632 |
15 | EE | Humberto Nicolás Castejón,
Rolv Bræk:
A collaboration-based approach to service specification and detection of implied scenarios.
SCESM 2006: 37-43 |
14 | EE | Judith E. Y. Rossebø,
Rolv Bræk:
A Policy-driven Approach to Dynamic Composition of Authentication and Authorization Patterns and Services.
JCP 1(8): 13-26 (2006) |
2005 |
13 | EE | Richard Torbjørn Sanders,
Humberto Nicolás Castejón,
Frank Alexander Kraemer,
Rolv Bræk:
Using UML 2.0 Collaborations for Compositional Service Specification.
MoDELS 2005: 460-475 |
12 | EE | Jacqueline Floch,
Rolv Bræk:
A Compositional Approach to Service Validation.
SDL Forum 2005: 281-297 |
11 | EE | Richard Torbjørn Sanders,
Rolv Bræk,
Gregor von Bochmann,
Daniel Amyot:
Service Discovery and Component Reuse with Semantic Interfaces.
SDL Forum 2005: 85-102 |
2004 |
10 | EE | Rolv Bræk,
Jacqueline Floch:
ICT Convergence: Modeling Issues.
SAM 2004: 237-256 |
9 | EE | Richard Torbjørn Sanders,
Rolv Bræk:
Modeling Peer-to-Peer Service Goals in UML.
SEFM 2004: 144-153 |
2003 |
8 | EE | Jacqueline Floch,
Rolv Bræk:
Using Projections for the Detection of Anomalous Behaviors.
SDL Forum 2003: 251-268 |
7 | EE | Jacqueline Floch,
Rolv Bræk:
Using SDL for Modeling Behavior Composition.
SDL Forum 2003: 36-54 |
6 | EE | Rolv Bræk:
Formal Methods Research at NTNU, Department of Telematics.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
2001 |
5 | EE | Jacqueline Floch,
Richard Torbjørn Sanders,
Ulrik Johansen,
Rolv Bræk:
Using UML for Implementation Design of SDL Systems.
SDL Forum 2001: 90-106 |
2000 |
4 | | Jacqueline Floch,
Rolv Bræk:
Towards Dynamic Composition of Hybrid Communication Services.
SMARTNET 2000: 73-92 |
1999 |
3 | | Rolv Bræk:
Using Roles with Types and Objects for Service Development.
SMARTNET 1999: 265-278 |
2 | | Finn Arve Aagesen,
Bjarne E. Helvik,
Vilas Wuwongse,
Hein Meling,
Rolv Bræk,
Ulrik Johansen:
Towards a Plug and Play Architecture for Telecommunications.
SMARTNET 1999: 321-334 |
1996 |
1 | EE | Rolv Bræk:
SDL Basics.
Computer Networks and ISDN Systems 28(12): 1585-1602 (1996) |