 | 2011 |
|---|
| 32 |       | Alexandra Chapko,
Andreas Emrich,
Marc Gräßle,
Tatjana Feldmann,
Dirk Werth,
Jürgen Tacken,
Stephan Flake,
Carsten Rust:
uService - Enabling user-driven fitness services on-the-go.
AMCIS 2011 |
| 31 | | Andreas Emrich,
Alexandra Chapko,
Marc Gräßle,
Dirk Werth,
Stephan Flake,
Jürgen Tacken,
Carsten Rust:
Personalized And Situation-Aware Recommendations For Runners.
PACIS 2011: 58 |
| 30 | | Alexandra Chapko,
Andreas Emrich,
Stephan Flake,
Frank Golatowski,
Marc Gräßle,
Andreas Kohlos,
Nico Laum,
Christian Lerche,
Carsten Rust,
Jürgen Tacken,
Dirk Werth,
Carsten Zoth:
uRun: A Framework for User-Generated Mobile Services in the Health and Fitness Domain.
IJSSMET 2(4): 79-97 (2011) |
| 2010 |
|---|
| 29 | | Jürgen Tacken,
Stephan Flake,
Frank Golatowski,
Steffen Prüter,
Carsten Rust,
Alexandra Chapko,
Andreas Emrich:
Towards a Platform for User-Generated Mobile Services.
AINA Workshops 2010: 532-538 |
| 28 | | Frank Bormann,
Stephan Flake,
Jürgen Tacken:
Obtaining Revenues from User Generated Mobile Services for Sport, Fitness and Health.
GI Jahrestagung (1) 2010: 21-26 |
| 27 | | Frank Bormann,
Dirk Fischer,
Stephan Flake,
Jürgen Tacken:
Anforderungen an die nutzungsabhängige Abrechnung von Logistikdiensten in der Cloud.
GI Jahrestagung (1) 2010: 317-322 |
| 26 | | Carsten Rust,
Petra Kösters,
Alexandra Chapko,
Andreas Emrich,
Marc Gräßle,
Dirk Werth,
Stephan Flake,
Jürgen Tacken,
Frank Golatowski,
Steffen Prüter:
uRun - Der mobile Gesundheitscoach.
GI Jahrestagung (1) 2010: 9-14 |
| 2009 |
|---|
| 25 | | Frank Bormann,
Andre Braun,
Stephan Flake,
Jürgen Tacken:
Towards a Policy and Charging Control Architecture for Online Charging.
AINA Workshops 2009: 524-530 |
| 2008 |
|---|
| 24 | | 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 |
|---|
| 23 | | Frank Bormann,
Stephan Flake,
Jürgen Tacken:
Convergent Online Charging for Context-Aware Mobile Services.
AINA Workshops (1) 2007: 983-988 |
| 2006 |
|---|
| 22 | | 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 |
|---|
| 21 | | Miguel Soriano,
Stephan Flake,
Jürgen Tacken,
Frank Bormann,
Joan Tomàs:
Mobile Digital Rights Management: Security Requirements and Copy Detection Mechanisms.
DEXA Workshops 2005: 251-256 |
| 2004 |
|---|
| 20 | | Stephan Flake:
Towards the Completion of the Formal Semantics of OCL 2.0.
ACSC 2004: 73-82 |
| 19 | | Stephan Flake,
Wolfgang Müller:
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL.
SEFM 2004: 154-163 |
| 18 |  | Stephan Flake:
Enhancing the Message Concept of the Object Constraint Language.
SEKE 2004: 161-166 |
| 17 | | 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 |
| 16 | | Stephan Flake,
Wolfgang Müller:
An ASM Definition of the Dynamic OCL 2.0 Semantics.
UML 2004: 226-240 |
| 15 | | Stephan Flake:
OclType - A Type or Metatype ?
Electr. Notes Theor. Comput. Sci. 102: 63-75 (2004) |
| 14 | | Stephan Flake,
Wolfgang Müller:
Formal Semantics of OCL Messages.
Electr. Notes Theor. Comput. Sci. 102: 77-97 (2004) |
| 2003 |
|---|
| 13 | | Holger Giese,
Matthias Tichy,
Sven Burmester,
Stephan Flake:
Towards the compositional verification of real-time UML designs.
ESEC / SIGSOFT FSE 2003: 38-47 |
| 12 | | Stephan Flake,
Wolfgang Müller:
Semantics of State-Oriented Expressions in the Object Constraint Language.
SEKE 2003: 142-149 |
| 11 | | Stephan Flake,
Wolfgang Müller:
Expressing Property Specification Patterns with OCL.
Software Engineering Research and Practice 2003: 595-603 |
| 10 | | Stephan Flake,
Wolfgang Müller:
Formal semantics of static and temporal state-oriented OCL constraints.
Software and System Modeling 2(3): 164-186 (2003) |
| 9 | | Stephan Flake:
UML-based specification of state oriented real time properties.
University of Paderborn 2003: 1-224 |
| 2002 |
|---|
| 8 | | 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 | | Stephan Flake,
Wolfgang Müller:
An OCL Extension for Real-Time Constraints.
Object Modeling with the OCL 2002: 150-171 |
| 5 | | Stephan Flake:
Real-Time Constraints with the OCL (position paper).
Symposium on Object-Oriented Real-Time Distributed Computing 2002: 425- |
| 4 | | Stephan Flake,
Wolfgang Müller:
A UML Profile for Real-Time Constraints with the OCL.
UML 2002: 179-195 |
| 2001 |
|---|
| 3 | | 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 | | Stephan Flake,
Christian Geiger:
CASA - Structured Design of a Specification Language for Intelligent Agents.
ASIAN 1999: 373-374 |
Data released under the ODC-BY 1.0 license — See also our legal information page