| |
| 2007 | ||
|---|---|---|
| 5 | EE | Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann: Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. SDL Forum 2007: 166-185 |
| 4 | EE | Frank Alexander Kraemer, Peter Herrmann: Transforming Collaborative Service Specifications into Efficiently Executable State Machines. ECEASST 6: (2007) |
| 2006 | ||
| 3 | EE | Frank Alexander Kraemer, Peter Herrmann: Service Specification by Composition of Collaborations--An Example. IAT Workshops 2006: 129-133 |
| 2 | 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 |
| 2005 | ||
| 1 | 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 |
| 1 | Rolv Bræk | [1] [2] [5] |
| 2 | Humberto Nicolás Castejón | [1] |
| 3 | Peter Herrmann | [2] [3] [4] [5] |
| 4 | Richard Torbjørn Sanders | [1] |