 | 2009 |
|---|
| 8 |       | Frank Alexander Kraemer,
Peter Herrmann:
Automated Encapsulation of UML Activities for Incremental Development and Verification.
MoDELS 2009: 571-585 |
| 7 | | Frank Alexander Kraemer,
Vidar Slåtten,
Peter Herrmann:
Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example.
SDL Forum 2009: 1-18 |
| 6 | | Frank Alexander Kraemer:
Automatic Generation of Compatible Interfaces from Partitioned UML Activities.
SDL Forum 2009: 182-199 |
| 2007 |
|---|
| 5 | | Frank Alexander Kraemer,
Rolv Bræk,
Peter Herrmann:
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
SDL Forum 2007: 166-185 |
| 4 | | Frank Alexander Kraemer,
Peter Herrmann:
Transforming Collaborative Service Specifications into Efficiently Executable State Machines.
ECEASST 6: (2007) |
| 2006 |
|---|
| 3 | | Frank Alexander Kraemer,
Peter Herrmann:
Service Specification by Composition of Collaborations--An Example.
IAT Workshops 2006: 129-133 |
| 2 | | 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 | | 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 |
