| 2008 |
|---|
| 23 | EE | Frank Bormann,
Stephan Flake,
Jürgen Tacken,
Carsten Zoth:
Third-Party-Initiated Context-Aware Real-Time Charging and Billing on an Open SOA Platform.
AINA Workshops 2008: 1375-1380 |
| 2007 |
|---|
| 22 | EE | Frank Bormann,
Stephan Flake,
Jürgen Tacken:
Convergent Online Charging for Context-Aware Mobile Services.
AINA Workshops (1) 2007: 983-988 |
| 2006 |
|---|
| 21 | EE | Jürgen Tacken,
Thorben Janssen,
Stephan Flake,
Dirk Fischer:
A Service Creation Environment for interactive, menu-driven Mobile Services.
AINA (2) 2006: 524-528 |
| 2005 |
|---|
| 20 | EE | Miguel Soriano,
Stephan Flake,
Jürgen Tacken,
Frank Bormann,
Joan Tomas:
Mobile Digital Rights Management: Security Requirements and Copy Detection Mechanisms.
DEXA Workshops 2005: 251-256 |
| 2004 |
|---|
| 19 | EE | Stephan Flake:
Towards the Completion of the Formal Semantics of OCL 2.0.
ACSC 2004: 73-82 |
| 18 | EE | Stephan Flake,
Wolfgang Müller:
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL.
SEFM 2004: 154-163 |
| 17 | | Stephan Flake:
Enhancing the Message Concept of the Object Constraint Language.
SEKE 2004: 161-166 |
| 16 | EE | Stephan Flake,
Wolfgang Müller,
Ulrich Pape,
Jürgen Ruf:
Specification and Formal Verification of Temporal Properties of Production Automation Systems.
SoftSpez Final Report 2004: 206-226 |
| 15 | EE | Stephan Flake,
Wolfgang Müller:
An ASM Definition of the Dynamic OCL 2.0 Semantics.
UML 2004: 226-240 |
| 14 | EE | Stephan Flake:
OclType - A Type or Metatype ?
Electr. Notes Theor. Comput. Sci. 102: 63-75 (2004) |
| 13 | EE | Stephan Flake,
Wolfgang Müller:
Formal Semantics of OCL Messages.
Electr. Notes Theor. Comput. Sci. 102: 77-97 (2004) |
| 2003 |
|---|
| 12 | EE | Holger Giese,
Matthias Tichy,
Sven Burmester,
Stephan Flake:
Towards the compositional verification of real-time UML designs.
ESEC / SIGSOFT FSE 2003: 38-47 |
| 11 | | Stephan Flake,
Wolfgang Müller:
Semantics of State-Oriented Expressions in the Object Constraint Language.
SEKE 2003: 142-149 |
| 10 | | Stephan Flake,
Wolfgang Müller:
Expressing Property Specification Patterns with OCL.
Software Engineering Research and Practice 2003: 595-603 |
| 9 | EE | Stephan Flake,
Wolfgang Müller:
Formal semantics of static and temporal state-oriented OCL constraints.
Software and System Modeling 2(3): 164-186 (2003) |
| 2002 |
|---|
| 8 | EE | Stephan Flake,
Wolfgang Müller:
Specification of Real-Time Properties for UML Models.
HICSS 2002: 277 |
| 7 | | Wilhelm Dangelmaier,
C. Darnedde,
Stephan Flake,
W. Müller,
Ulrich Pape:
Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP).
Modelle im E-Business 2002: 829- |
| 6 | EE | Stephan Flake,
Wolfgang Müller:
An OCL Extension for Real-Time Constraints.
Object Modeling with the OCL 2002: 150-171 |
| 5 | EE | Stephan Flake:
Real-Time Constraints with the OCL (position paper).
Symposium on Object-Oriented Real-Time Distributed Computing 2002: 425- |
| 4 | EE | Stephan Flake,
Wolfgang Müller:
A UML Profile for Real-Time Constraints with the OCL.
UML 2002: 179-195 |
| 2001 |
|---|
| 3 | EE | Stephan Flake,
Christian Geiger,
Wolfgang Müller,
Volker Paelke,
Waldemar Rosenbach,
Jürgen Ruf:
Customer-Oriented Systems Design through Virtual Prototypes.
WETICE 2001: 263-268 |
| 2000 |
|---|
| 2 | | Arnulf Braatz,
Stephan Flake,
Wolfgang Müller,
Engelbert Westkämper:
Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung.
SimVis 2000: 319-332 |
| 1999 |
|---|
| 1 | EE | Stephan Flake,
Christian Geiger:
CASA - Structured Design of a Specification Language for Intelligent Agents.
ASIAN 1999: 373-374 |
