Rolv Bræk

Publication Activity (10 Years)

Years Active: 1996-2016
Publications (10 Years): 1

Top Topics

Heuristic Methods

Significant Improvement

Top Venues

Softw. Syst. Model.

MODELSWARD (Revised Selected Papers)

Publications

Urooj Fatima, Rolv Bræk
Modular Solutions to Common Design Problems Using Activities and the Interface-Modular Method. SAM (2016)
Urooj Fatima, Rolv Bræk
A Modular Method for Global System Behaviour Specification. MODELSWARD (2015)
Urooj Fatima, Rolv Bræk
The Interface-Modular Method for Global System Behaviour Specification. MODELSWARD (Revised Selected Papers) (2015)
Rolv Bræk
On Properties of Modeling Approaches. CMA@MoDELS (2013)
Humberto Nicolás Castejón Martínez, Gregor von Bochmann, Rolv Bræk
On the realizability of collaborative services. Softw. Syst. Model. 12 (3) (2013)
Urooj Fatima, Rolv Bræk
Modelling multiplicity in choreography models. MoDRE (2013)
Urooj Fatima, Rolv Bræk
On Deriving Detailed Component Design from High-Level Service Specification. SAM (2012)
Surya Bahadur Kathayat, Hien Nam Le, Rolv Bræk
A Model-Driven Framework for Component-Based Development. SDL Forum (2011)
Frank Alexander Kraemer, Surya Bahadur Kathayat, Rolv Bræk
Unified Modeling of Service Logic with User Interfaces. Int. J. Cooperative Inf. Syst. 20 (2) (2011)
Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Bræk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jézéquel, Jörg Kienzle, Jacques Klein, Jean-Baptiste Lézoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup
Comparing Six Modeling Approaches. MoDELS (Workshops) (2011)
Surya Bahadur Kathayat, Rolv Bræk
Modeling collaborative learning services - A case study. CTS (2011)
Josip Zoric, Rolv Bræk
Scenario based techno-business analysis of service platforms and their service portfolios. Telecommun. Syst. 46 (2) (2011)
Surya Bahadur Kathayat, Rolv Bræk
Analyzing realizability of choreographies using initiating and responding flows. MoDeVVa@MoDELS (2011)
Urooj Fatima, Rolv Bræk, Humberto Nicolás Castejón Martínez
Session Initiation as a Service. SDL Forum (2011)
Surya Bahadur Kathayat, Rolv Bræk
From Flow-Global Choreography to Component Types. SAM (2010)
Frank Alexander Kraemer, Haldor Samset, Rolv Bræk
An Automated Method for Web Service Orchestration Based on Reusable Building Blocks. ICWS (2009)
Judith E. Y. Rossebø, Rolv Bræk
Using Composition Policies to Manage Authentication and Authorization Patterns and Services. ARES (2008)
Haldor Samset, Rolv Bræk
Dynamic Service Discovery Using Active Lookup and Registration. SERVICES I (2008)
Haldor Samset, Rolv Bræk
Dealing with Active and Stateful Services in the Service-Oriented Architecture. ICSOC Workshops (2007)
Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. SDL Forum (2007)
Humberto Nicolás Castejón Martínez, Rolv Bræk, Gregor von Bochmann
Realizability of Collaboration-based Service Specifications. APSEC (2007)
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)
Judith E. Y. Rossebø, Rolv Bræk
A Policy-driven Approach to Dynamic Composition of Authentication and Authorization Patterns and Services. J. Comput. 1 (8) (2006)
Judith E. Y. Rossebø, Rolv Bræk
Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. ARES (2006)
Humberto Nicolás Castejón Martínez, Rolv Bræk
A collaboration-based approach to service specification and detection of implied scenarios. SCESM (2006)
Humberto Nicolás Castejón Martínez, Rolv Bræk
Formalizing Collaboration Goal Sequences for Service Choreography. FORTE (2006)
Richard Torbjørn Sanders, Humberto Nicolás Castejón Martínez, Frank Alexander Kraemer, Rolv Bræk
Using UML 2.0 Collaborations for Compositional Service Specification. MoDELS (2005)
Jacqueline Floch, Rolv Bræk
A Compositional Approach to Service Validation. SDL Forum (2005)
Humberto Nicolás Castejón Martínez, Rolv Bræk
Dynamic Role Binding in a Service Oriented Architecture. INTELLCOMM (2005)
Richard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot
Service Discovery and Component Reuse with Semantic Interfaces. SDL Forum (2005)
Rolv Bræk, Jacqueline Floch
ICT Convergence: Modeling Issues. SAM (2004)
Richard Torbjørn Sanders, Rolv Bræk
Modeling Peer-to-Peer Service Goals in UML. SEFM (2004)
Rolv Bræk
Formal Methods Research at NTNU, Department of Telematics. Electron. Notes Theor. Comput. Sci. 80 (2003)
Jacqueline Floch, Rolv Bræk
Using SDL for Modeling Behavior Composition. SDL Forum (2003)
Jacqueline Floch, Rolv Bræk
Using Projections for the Detection of Anomalous Behaviors. SDL Forum (2003)
Jacqueline Floch, Richard Torbjørn Sanders, Ulrik Johansen, Rolv Bræk
Using UML for Implementation Design of SDL Systems. SDL Forum (2001)
Jacqueline Floch, Rolv Bræk
Towards Dynamic Composition of Hybrid Communication Services. SMARTNET (2000)
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)
Rolv Bræk
Using Roles with Types and Objects for Service Development. SMARTNET (1999)
Rolv Bræk
SDL Basics. Comput. Networks ISDN Syst. 28 (12) (1996)