The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stephan Flake: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stephan Flake
    Towards the Completion of the Formal Semantics of OCL 2.0. [Citation Graph (0, 0)][DBLP]
    ACSC, 2004, pp:73-82 [Conf]
  2. Jürgen Tacken, Thorben Janssen, Stephan Flake, Dirk Fischer
    A Service Creation Environment for interactive, menu-driven Mobile Services. [Citation Graph (0, 0)][DBLP]
    AINA (2), 2006, pp:524-528 [Conf]
  3. Frank Bormann, Stephan Flake, Jürgen Tacken
    Convergent Online Charging for Context-Aware Mobile Services. [Citation Graph (0, 0)][DBLP]
    AINA Workshops (1), 2007, pp:983-988 [Conf]
  4. Stephan Flake, Christian Geiger
    CASA - Structured Design of a Specification Language for Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:373-374 [Conf]
  5. Miguel Soriano, Stephan Flake, Jürgen Tacken, Frank Bormann, Joan Tomas
    Mobile Digital Rights Management: Security Requirements and Copy Detection Mechanisms. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2005, pp:251-256 [Conf]
  6. Stephan Flake, Wolfgang Müller 0003, Ulrich Pape, Jürgen Ruf
    Specification and Formal Verification of Temporal Properties of Production Automation Systems. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:206-226 [Conf]
  7. Wilhelm Dangelmaier, C. Darnedde, Stephan Flake, W. Müller, Ulrich Pape
    Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP). [Citation Graph (0, 0)][DBLP]
    Modelle im E-Business, 2002, pp:829-0 [Conf]
  8. Stephan Flake, Wolfgang Müller 0003
    Specification of Real-Time Properties for UML Models. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:277- [Conf]
  9. Stephan Flake
    Real-Time Constraints with the OCL (position paper). [Citation Graph (0, 0)][DBLP]
    Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:425-0 [Conf]
  10. Stephan Flake, Wolfgang Müller 0003
    An OCL Extension for Real-Time Constraints. [Citation Graph (0, 0)][DBLP]
    Object Modeling with the OCL, 2002, pp:150-171 [Conf]
  11. Stephan Flake, Wolfgang Müller 0003
    Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:154-163 [Conf]
  12. Stephan Flake
    Enhancing the Message Concept of the Object Constraint Language. [Citation Graph (0, 0)][DBLP]
    SEKE, 2004, pp:161-166 [Conf]
  13. Stephan Flake, Wolfgang Müller 0003
    Semantics of State-Oriented Expressions in the Object Constraint Language. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:142-149 [Conf]
  14. Stephan Flake, Wolfgang Müller 0003
    Expressing Property Specification Patterns with OCL. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:595-603 [Conf]
  15. Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake
    Towards the compositional verification of real-time UML designs. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:38-47 [Conf]
  16. Arnulf Braatz, Stephan Flake, Wolfgang Müller 0003, Engelbert Westkämper
    Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. [Citation Graph (0, 0)][DBLP]
    SimVis, 2000, pp:319-332 [Conf]
  17. Stephan Flake, Wolfgang Müller 0003
    A UML Profile for Real-Time Constraints with the OCL. [Citation Graph (0, 0)][DBLP]
    UML, 2002, pp:179-195 [Conf]
  18. Stephan Flake, Wolfgang Müller 0003
    An ASM Definition of the Dynamic OCL 2.0 Semantics. [Citation Graph (0, 0)][DBLP]
    UML, 2004, pp:226-240 [Conf]
  19. Stephan Flake, Christian Geiger, Wolfgang Müller 0003, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf
    Customer-Oriented Systems Design through Virtual Prototypes. [Citation Graph (0, 0)][DBLP]
    WETICE, 2001, pp:263-268 [Conf]
  20. Stephan Flake
    OclType - A Type or Metatype ? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:102, n:, pp:63-75 [Journal]
  21. Stephan Flake, Wolfgang Müller 0003
    Formal Semantics of OCL Messages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:102, n:, pp:77-97 [Journal]
  22. Stephan Flake, Wolfgang Müller 0003
    Formal semantics of static and temporal state-oriented OCL constraints. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2003, v:2, n:3, pp:164-186 [Journal]

  23. Third-Party-Initiated Context-Aware Real-Time Charging and Billing on an Open SOA Platform. [Citation Graph (, )][DBLP]


  24. Towards a Policy and Charging Control Architecture for Online Charging. [Citation Graph (, )][DBLP]


  25. Towards a Platform for User-Generated Mobile Services. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002