| Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromonilität. | 0 | 0.34 | 2015 |
| Real-time billing as a service — A standard-based proof-of-concept implementation | 0 | 0.34 | 2014 |
| Real-Time Rating And Charging In Federated Cloud Environments | 3 | 0.54 | 2012 |
| uRun: A Framework for User-Generated Mobile Services in the Health and Fitness Domain. | 0 | 0.34 | 2011 |
| Personalized And Situation-Aware Recommendations For Runners. | 0 | 0.34 | 2011 |
| uService - Enabling user-driven fitness services on-the-go. | 0 | 0.34 | 2011 |
| Anforderungen an die nutzungsabhängige Abrechnung von Logistikdiensten in der Cloud | 0 | 0.34 | 2010 |
| uRun - Der mobile Gesundheitscoach | 1 | 0.36 | 2010 |
| Obtaining Revenues from User Generated Mobile Services for Sport, Fitness and Health | 1 | 0.36 | 2010 |
| Towards a Platform for User-Generated Mobile Services | 5 | 0.63 | 2010 |
| Towards a Policy and Charging Control Architecture for Online Charging | 2 | 0.38 | 2009 |
| Third-Party-Initiated Context-Aware Real-Time Charging and Billing on an Open SOA Platform | 6 | 0.54 | 2008 |
| Convergent Online Charging for Context-Aware Mobile Services | 5 | 0.92 | 2007 |
| A service creation environment for interactive, menu-driven mobile services | 2 | 0.49 | 2006 |
| Mobile Digital Rights Management: Security Requirements and Copy Detection Mechanisms | 2 | 0.45 | 2005 |
| An ASM Definition of the Dynamic OCL 2.0 Semantics | 3 | 0.42 | 2004 |
| OclType -- A Type or Metatype ? | 2 | 0.43 | 2004 |
| Formal Semantics of OCL Messages | 2 | 0.40 | 2004 |
| Towards the completion of the formal semantics of OCL 2.0 | 6 | 0.69 | 2004 |
| Past- and Future-Oriented Time-Bounded Temporal Properties with OCL | 8 | 0.65 | 2004 |
| Enhancing the Message Concept of the Object Constraint Language | 7 | 0.66 | 2004 |
| Semantics of State-Oriented Expressions in the Object Constraint Language | 3 | 0.67 | 2003 |
| Formal semantics of static and temporal state-oriented OCL constraints | 19 | 1.08 | 2003 |
| Expressing Property Specification Patterns with OCL | 4 | 0.44 | 2003 |
| Towards the compositional verification of real-time UML designs | 89 | 3.79 | 2003 |
| Real-Time Constraints with the OCL (position paper) | 0 | 0.34 | 2002 |
| Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP) | 0 | 0.34 | 2002 |
| An OCL Extension for Real-Time Constraints | 34 | 2.18 | 2002 |
| A UML Profile for Real-Time Constraints with the OCL | 21 | 1.68 | 2002 |
| Customer-Oriented Systems Design through Virtual Prototypes | 1 | 0.39 | 2001 |
| Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung | 2 | 0.48 | 2000 |
| Structured English for Model Checking Specification | 12 | 1.08 | 2000 |
| CASA - Structured Design of a Specification Language for Intelligent Agents | 1 | 0.39 | 1999 |
