CASA - Structured Design of a Specification Language for Intelligent Agents. - Stephan Flake; Christian Geiger 001 (ASIAN, 1999)

Structured English for Model Checking Specification. - Stephan Flake; Wolfgang Müller 003; Jürgen Ruf (MBMV, 2000)

Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. - Arnulf Braatz; Stephan Flake; Wolfgang Müller 003; Engelbert Westkämper (SimVis, 2000)

Customer-Oriented Systems Design through Virtual Prototypes. - Stephan Flake; Christian Geiger 001; Wolfgang Müller 003; Volker Paelke; Waldemar Rosenbach; Jürgen Ruf (WETICE, 2001)

Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP). - Wilhelm Dangelmaier; C. Darnedde; Stephan Flake; W. Müller; Ulrich Pape (Modelle im E-Business, 2002)

Specification of Real-Time Properties for UML Models. - Stephan Flake; Wolfgang Müller 003 (HICSS, 2002)

Real-Time Constraints with the OCL (position paper). - Stephan Flake (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

An OCL Extension for Real-Time Constraints. - Stephan Flake; Wolfgang Müller 003 (Object Modeling with the OCL, 2002)

A UML Profile for Real-Time Constraints with the OCL. - Stephan Flake; Wolfgang Müller 003 (UML, 2002)

Semantics of State-Oriented Expressions in the Object Constraint Language. - Stephan Flake; Wolfgang Müller 003 (SEKE, 2003)

Expressing Property Specification Patterns with OCL. - Stephan Flake; Wolfgang Müller 003 (Software Engineering Research and Practice, 2003)

Towards the compositional verification of real-time UML designs. - Holger Giese; Matthias Tichy; Sven Burmester; Stephan Flake (ESEC / SIGSOFT FSE, 2003)

OclType - A Type or Metatype ? - Stephan Flake (OCL 2.0 @ UML, 2003)

Formal Semantics of OCL Messages. - Stephan Flake; Wolfgang Müller 003 (OCL 2.0 @ UML, 2003)

Formal semantics of static and temporal state-oriented OCL constraints. - Stephan Flake; Wolfgang Müller 003 (Softw. Syst. Model., 2003)

UML-based specification of state oriented real time properties. - Stephan Flake (2003)

Towards the Completion of the Formal Semantics of OCL 2.0. - Stephan Flake (ACSC, 2004)

Specification and Formal Verification of Temporal Properties of Production Automation Systems. - Stephan Flake; Wolfgang Müller 003; Ulrich Pape; Jürgen Ruf (SoftSpez Final Report, 2004)

Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. - Stephan Flake; Wolfgang Müller 003 (SEFM, 2004)

Enhancing the Message Concept of the Object Constraint Language. - Stephan Flake (SEKE, 2004)

An ASM Definition of the Dynamic OCL 2.0 Semantics. - Stephan Flake; Wolfgang Müller 003 (UML, 2004)

Mobile Digital Rights Management: Security Requirements and Copy Detection Mechanisms. - Miguel Soriano; Stephan Flake; Jürgen Tacken; Frank Bormann; Joan Tomàs (DEXA Workshops, 2005)

A Service Creation Environment for interactive, menu-driven Mobile Services. - Jürgen Tacken; Thorben Janssen; Stephan Flake; Dirk Fischer (AINA (2), 2006)

Convergent Online Charging for Context-Aware Mobile Services. - Frank Bormann; Stephan Flake; Jürgen Tacken (AINA Workshops (1), 2007)

Third-Party-Initiated Context-Aware Real-Time Charging and Billing on an Open SOA Platform. - Frank Bormann; Stephan Flake; Jürgen Tacken; Carsten Zoth (AINA Workshops, 2008)

Towards a Policy and Charging Control Architecture for Online Charging. - Frank Bormann; Andre Braun; Stephan Flake; Jürgen Tacken (AINA Workshops, 2009)

Towards a Platform for User-Generated Mobile Services. - Jürgen Tacken; Stephan Flake; Frank Golatowski; Steffen Prüter; Carsten Rust; Alexandra Chapko; Andreas Emrich (AINA Workshops, 2010)

Anforderungen an die nutzungsabhängige Abrechnung von Logistikdiensten in der Cloud. - Frank Bormann; Dirk Fischer; Stephan Flake; Jürgen Tacken (GI Jahrestagung (1), 2010)

Obtaining Revenues from User Generated Mobile Services for Sport, Fitness and Health. - Frank Bormann; Stephan Flake; Jürgen Tacken (GI Jahrestagung (1), 2010)

uRun - Der mobile Gesundheitscoach. - Carsten Rust; Petra Kösters; Alexandra Chapko; Andreas Emrich; Marc Gräßle; Dirk Werth; Stephan Flake; Jürgen Tacken; Frank Golatowski; Steffen Prüter (GI Jahrestagung (1), 2010)

uService - Enabling user-driven fitness services on-the-go. - Alexandra Chapko; Andreas Emrich; Marc Gräßle; Tatjana Feldmann; Dirk Werth; Jürgen Tacken; Stephan Flake; Carsten Rust (AMCIS, 2011)

Personalized And Situation-Aware Recommendations For Runners. - Andreas Emrich; Alexandra Chapko; Marc Gräßle; Dirk Werth; Stephan Flake; Jürgen Tacken; Carsten Rust (PACIS, 2011)

uRun: A Framework for User-Generated Mobile Services in the Health and Fitness Domain. - 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 (Int. J. Serv. Sci. Manag. Eng. Technol., 2011)

Real-time rating and charging in federated cloud environments. - Stephan Flake; Jürgen Tacken; Carsten Zoth (ETFA, 2012)

Real-time billing as a service - A standard-based proof-of-concept implementation. - Stephan Flake; Jürgen Tacken; Carsten Zoth (ETFA, 2014)

Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität. - Baris Güldali; Mirko Rose; Alexander Teetz; Stephan Flake; Carsten Rust (Softwaretechnik-Trends, 2015)