Stephan Flake

According to our database, Stephan Flake authored at least 36 papers between 1999 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

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

2014

Real-time billing as a service - A standard-based proof-of-concept implementation.

Stephan Flake, Jürgen Tacken, Carsten Zoth

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2012

Real-time rating and charging in federated cloud environments.

Stephan Flake, Jürgen Tacken, Carsten Zoth

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

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

Personalized And Situation-Aware Recommendations For Runners.

Andreas Emrich, Alexandra Chapko, Marc Gräßle, Dirk Werth, Stephan Flake, Jürgen Tacken, Carsten Rust

Proceedings of the Pacific Asia Conference on Information Systems, 2011

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

Proceedings of the A Renaissance of Information Technology for Sustainability and Global Competitiveness. 17th Americas Conference on Information Systems, 2011

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

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Obtaining Revenues from User Generated Mobile Services for Sport, Fitness and Health.

Frank Bormann, Stephan Flake, Jürgen Tacken

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Anforderungen an die nutzungsabhängige Abrechnung von Logistikdiensten in der Cloud.

Frank Bormann, Dirk Fischer, Stephan Flake, Jürgen Tacken

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Towards a Platform for User-Generated Mobile Services.

Jürgen Tacken, Stephan Flake, Frank Golatowski, Steffen Prüter, Carsten Rust, Alexandra Chapko, Andreas Emrich

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

2009

Towards a Policy and Charging Control Architecture for Online Charging.

Frank Bormann, Andre Braun, Stephan Flake, Jürgen Tacken

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Third-Party-Initiated Context-Aware Real-Time Charging and Billing on an Open SOA Platform.

Frank Bormann, Stephan Flake, Jürgen Tacken, Carsten Zoth

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

Convergent Online Charging for Context-Aware Mobile Services.

Frank Bormann, Stephan Flake, Jürgen Tacken

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

A Service Creation Environment for interactive, menu-driven Mobile Services.

Jürgen Tacken, Thorben Janssen, Stephan Flake, Dirk Fischer

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Mobile Digital Rights Management: Security Requirements and Copy Detection Mechanisms.

Miguel Soriano, Stephan Flake, Jürgen Tacken, Frank Bormann, Joan Tomàs

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

2004

An ASM Definition of the Dynamic OCL 2.0 Semantics.

Stephan Flake, Wolfgang Müller

Proceedings of the «UML» 2004, 2004

Enhancing the Message Concept of the Object Constraint Language.

Stephan Flake

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Past- and Future-Oriented Time-Bounded Temporal Properties with OCL.

Stephan Flake, Wolfgang Müller

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Specification and Formal Verification of Temporal Properties of Production Automation Systems.

Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Towards the Completion of the Formal Semantics of OCL 2.0.

Stephan Flake

Proceedings of the Computer Science 2004, 2004

2003

UML-based specification of state oriented real time properties.

Stephan Flake

PhD thesis, 2003

Formal semantics of static and temporal state-oriented OCL constraints.

Stephan Flake, Wolfgang Müller

Softw. Syst. Model., 2003

Formal Semantics of OCL Messages.

Stephan Flake, Wolfgang Müller

Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003

OclType - A Type or Metatype ?

Stephan Flake

Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003

Towards the compositional verification of real-time UML designs.

Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Expressing Property Specification Patterns with OCL.

Stephan Flake, Wolfgang Müller

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Semantics of State-Oriented Expressions in the Object Constraint Language.

Stephan Flake, Wolfgang Müller

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002

A UML Profile for Real-Time Constraints with the OCL.

Stephan Flake, Wolfgang Müller

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

An OCL Extension for Real-Time Constraints.

Stephan Flake, Wolfgang Müller

Proceedings of the Object Modeling with the OCL, 2002

Real-Time Constraints with the OCL (position paper).

Stephan Flake

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Specification of Real-Time Properties for UML Models.

Stephan Flake, Wolfgang Müller

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP).

Wilhelm Dangelmaier, C. Darnedde, Stephan Flake, W. Müller, Ulrich Pape

Proceedings of the Modelle im E-Business, 2002

2001

Customer-Oriented Systems Design through Virtual Prototypes.

Stephan Flake, Christian Geiger, Wolfgang Müller, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf

Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

2000

Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung.

Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper

Proceedings of the Simulation und Visualisierung 2000 (SimVis 2000), 2000

Structured English for Model Checking Specification.

Stephan Flake, Wolfgang Müller, Jürgen Ruf

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

1999

CASA - Structured Design of a Specification Language for Intelligent Agents.

Stephan Flake, Christian Geiger

Proceedings of the Advances in Computing Science, 1999