Stephan Flake

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 1

Top Venues

ETFA

Softwaretechnik-Trends

University of Paderborn (PHD)

Education History

University of Paderborn

PHD

Publications

Baris Güldali, Mirko Rose, Alexander Teetz, Stephan Flake, Carsten Rust
Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität. Softwaretechnik-Trends 35 (1) (2015)
Stephan Flake, Jürgen Tacken, Carsten Zoth
Real-time billing as a service - A standard-based proof-of-concept implementation. ETFA (2014)
Stephan Flake, Jürgen Tacken, Carsten Zoth
Real-time rating and charging in federated cloud environments. ETFA (2012)
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. Int. J. Serv. Sci. Manag. Eng. Technol. 2 (4) (2011)
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)
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)
Frank Bormann, Dirk Fischer, Stephan Flake, Jürgen Tacken
Anforderungen an die nutzungsabhängige Abrechnung von Logistikdiensten in der Cloud. GI Jahrestagung (1) (2010)
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)
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)
Frank Bormann, Stephan Flake, Jürgen Tacken
Obtaining Revenues from User Generated Mobile Services for Sport, Fitness and Health. GI Jahrestagung (1) (2010)
Frank Bormann, Andre Braun, Stephan Flake, Jürgen Tacken
Towards a Policy and Charging Control Architecture for Online Charging. AINA Workshops (2009)
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)
Frank Bormann, Stephan Flake, Jürgen Tacken
Convergent Online Charging for Context-Aware Mobile Services. AINA Workshops (1) (2007)
Jürgen Tacken, Thorben Janssen, Stephan Flake, Dirk Fischer
A Service Creation Environment for interactive, menu-driven Mobile Services. AINA (2) (2006)
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)
Stephan Flake, Wolfgang Müller
An ASM Definition of the Dynamic OCL 2.0 Semantics. UML (2004)
Stephan Flake
OclType - A Type or Metatype ? Electron. Notes Theor. Comput. Sci. 102 (2004)
Stephan Flake, Wolfgang Müller
Formal Semantics of OCL Messages. Electron. Notes Theor. Comput. Sci. 102 (2004)
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)
Stephan Flake, Wolfgang Müller
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. SEFM (2004)
Stephan Flake
Towards the Completion of the Formal Semantics of OCL 2.0. ACSC (2004)
Stephan Flake
Enhancing the Message Concept of the Object Constraint Language. SEKE (2004)
Stephan Flake, Wolfgang Müller
Expressing Property Specification Patterns with OCL. Software Engineering Research and Practice (2003)
Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake
Towards the compositional verification of real-time UML designs. ESEC / SIGSOFT FSE (2003)
Stephan Flake, Wolfgang Müller
Formal semantics of static and temporal state-oriented OCL constraints. Softw. Syst. Model. 2 (3) (2003)
Stephan Flake, Wolfgang Müller
Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE (2003)
Stephan Flake
Real-Time Constraints with the OCL (position paper). Symposium on Object-Oriented Real-Time Distributed Computing (2002)
Stephan Flake, Wolfgang Müller
A UML Profile for Real-Time Constraints with the OCL. UML (2002)
Stephan Flake, Wolfgang Müller
An OCL Extension for Real-Time Constraints. Object Modeling with the OCL (2002)
Stephan Flake, Wolfgang Müller
Specification of Real-Time Properties for UML Models. HICSS (2002)
Wilhelm Dangelmaier, C. Darnedde, Stephan Flake, W. Müller, Ulrich Pape
Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP). Modelle im E-Business (2002)
Stephan Flake, Christian Geiger, Wolfgang Müller, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf
Customer-Oriented Systems Design through Virtual Prototypes. WETICE (2001)
Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper
Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. SimVis (2000)
Stephan Flake, Wolfgang Müller, Jürgen Ruf
Structured English for Model Checking Specification. MBMV (2000)
Stephan Flake, Christian Geiger
CASA - Structured Design of a Specification Language for Intelligent Agents. ASIAN (1999)

Stephan Flake.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephan Flake