Stephan Flake

36 papers B 1C 5Journal 3Unranked 25
YearRankTypeTitle / Venue / Authors
2015 J jnl
Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität.
Softwaretechnik-Trends
Baris Güldali, Mirko Rose, Alexander Teetz, Stephan Flake, Carsten Rust
2014 C conf
Real-time billing as a service - A standard-based proof-of-concept implementation.
ETFA
Stephan Flake, Jürgen Tacken, Carsten Zoth
2012 C conf
Real-time rating and charging in federated cloud environments.
ETFA
Stephan Flake, Jürgen Tacken, Carsten Zoth
2011 — conf
Personalized And Situation-Aware Recommendations For Runners.
PACIS
Andreas Emrich, Alexandra Chapko, Marc Gräßle, Dirk Werth, Stephan Flake, Jürgen Tacken, Carsten Rust
2011 J jnl
uRun: A Framework for User-Generated Mobile Services in the Health and Fitness Domain.
Int. J. Serv. Sci. Manag. Eng. Technol.
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
2011 — conf
uService - Enabling user-driven fitness services on-the-go.
AMCIS
Alexandra Chapko, Andreas Emrich, Marc Gräßle, Tatjana Feldmann, Dirk Werth, Jürgen Tacken, Stephan Flake, Carsten Rust
2010 — conf
Anforderungen an die nutzungsabhängige Abrechnung von Logistikdiensten in der Cloud.
GI Jahrestagung (1)
Frank Bormann, Dirk Fischer, Stephan Flake, Jürgen Tacken
2010 — conf
Obtaining Revenues from User Generated Mobile Services for Sport, Fitness and Health.
GI Jahrestagung (1)
Frank Bormann, Stephan Flake, Jürgen Tacken
2010 — conf
Towards a Platform for User-Generated Mobile Services.
AINA Workshops
Jürgen Tacken, Stephan Flake, Frank Golatowski, Steffen Prüter, Carsten Rust, Alexandra Chapko, Andreas Emrich
2010 — conf
uRun - Der mobile Gesundheitscoach.
GI Jahrestagung (1)
Carsten Rust, Petra Kösters, Alexandra Chapko, Andreas Emrich, Marc Gräßle, Dirk Werth, Stephan Flake, Jürgen Tacken, Frank Golatowski, Steffen Prüter
2009 — conf
Towards a Policy and Charging Control Architecture for Online Charging.
AINA Workshops
Frank Bormann, Andre Braun, Stephan Flake, Jürgen Tacken
2008 — conf
Third-Party-Initiated Context-Aware Real-Time Charging and Billing on an Open SOA Platform.
AINA Workshops
Frank Bormann, Stephan Flake, Jürgen Tacken, Carsten Zoth
2007 — conf
Convergent Online Charging for Context-Aware Mobile Services.
AINA Workshops (1)
Frank Bormann, Stephan Flake, Jürgen Tacken
2006 — conf
A Service Creation Environment for interactive, menu-driven Mobile Services.
AINA (2)
Jürgen Tacken, Thorben Janssen, Stephan Flake, Dirk Fischer
2005 — conf
Mobile Digital Rights Management: Security Requirements and Copy Detection Mechanisms.
DEXA Workshops
Miguel Soriano, Stephan Flake, Jürgen Tacken, Frank Bormann, Joan Tomàs
2004 — conf
An ASM Definition of the Dynamic OCL 2.0 Semantics.
UML
Stephan Flake, Wolfgang Müller
2004 C conf
Enhancing the Message Concept of the Object Constraint Language.
SEKE
Stephan Flake
2004 B conf
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL.
SEFM
Stephan Flake, Wolfgang Müller
2004 — conf
Specification and Formal Verification of Temporal Properties of Production Automation Systems.
SoftSpez Final Report
Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf
2004 — conf
Towards the Completion of the Formal Semantics of OCL 2.0.
ACSC
Stephan Flake
2003 — conf
Expressing Property Specification Patterns with OCL.
Software Engineering Research and Practice
Stephan Flake, Wolfgang Müller
2003 — conf
Formal Semantics of OCL Messages.
OCL 2.0 @ UML
Stephan Flake, Wolfgang Müller
2003 J jnl
Formal semantics of static and temporal state-oriented OCL constraints.
Softw. Syst. Model.
Stephan Flake, Wolfgang Müller
2003 — conf
OclType - A Type or Metatype ?
OCL 2.0 @ UML
Stephan Flake
2003 C conf
Semantics of State-Oriented Expressions in the Object Constraint Language.
SEKE
Stephan Flake, Wolfgang Müller
2003 — conf
Towards the compositional verification of real-time UML designs.
ESEC / SIGSOFT FSE
Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake
2003 — —
UML-based specification of state oriented real time properties.
Stephan Flake
2002 — conf
A UML Profile for Real-Time Constraints with the OCL.
UML
Stephan Flake, Wolfgang Müller
2002 — ch.
An OCL Extension for Real-Time Constraints.
Object Modeling with the OCL
Stephan Flake, Wolfgang Müller
2002 — conf
Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP).
Modelle im E-Business
Wilhelm Dangelmaier, C. Darnedde, Stephan Flake, W. Müller, Ulrich Pape
2002 — conf
Real-Time Constraints with the OCL (position paper).
Symposium on Object-Oriented Real-Time Distributed Computing
Stephan Flake
2002 — conf
Specification of Real-Time Properties for UML Models.
HICSS
Stephan Flake, Wolfgang Müller
2001 C conf
Customer-Oriented Systems Design through Virtual Prototypes.
WETICE
Stephan Flake, Christian Geiger, Wolfgang Müller, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf
2000 — conf
Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung.
SimVis
Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper
2000 — conf
Structured English for Model Checking Specification.
MBMV
Stephan Flake, Wolfgang Müller, Jürgen Ruf
1999 — conf
CASA - Structured Design of a Specification Language for Intelligent Agents.
ASIAN
Stephan Flake, Christian Geiger