Startseite > Publikationen > Publikationen

Publikationen von Stephan Flake


Unsere Publikationen aus dem Jahr 2004:



Flake, Stephan; Müller, Wolfgang: Past- and Future-Oriented Time-Bound Tempral Properties with OCL. In: Tagungsband der SEFMŽ04, Beijing, China, Los Alamitos, USA, 4. Nov. 2004, IEEE CS Press (Details)

Flake, Stephan; Müller, Wolfgang: An ASM Definition of the Dynamic OCL 2.0 Semantics. In: UML 2004, Lisbon, Portugal, Lecture Notes in Computer Science, 1. Okt. 2004, Springer Verlag (Details)

Flake, Stephan: Enhancing the Message Concept of the Object Constraint Language. In: Sixteenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2004), Banff, Canada, 20. - 24. Jun. 2004, Knowledge Systems Institute, Skokie, USA (Details)

Flake, Stephan; Pape, Ulrich; Ruf, J.; Müller, Wolfgang: Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, Lecture Notes in Computer Science, Band 3147 Springer Verlag, 28. Mai 2004 (Details)

Flake, Stephan: Towards the Completion of the Formal Semantics of OCL 2.0. In: 27th Conference on Australasian Computer Science (ACSC 2004), Dunedin, New Zealand,, ACM International Conference Proceeding Series, Australian Computer Science Communications, Band 26(1) , S. 73-82, Jan. 2004, Australian Computer Science Society, Sydney, Australia (Details)


Unsere Publikationen aus dem Jahr 2003:



Flake, Stephan: Modeling and Verification of Manufacturing Systems: A Domain-Specific Formalization of UML.. In: 7th IASTED International Conference on Software Engineering and Applications (SEA 2003), S. 580-586, Los Angeles, CA, USA, 1. Nov. 2003, ACTA Press, Calgary, Canada (Details)

Flake, Stephan; Müller, Wolfgang: Formal Semantics of Static and Temporal State-Oriented OCL Constraints.. Software and System Modeling (SoSyM), Springer, 2(3): S. 164-186, Okt. 2003 (Details)

Flake, Stephan: Temporal OCL Extensions for Specification of Real-Time Constraints (Position Paper). In: UML 2003 Workshop "Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS'03)", Okt. 2003 (Details)

Flake, Stephan: OclType - A Type or Metatype?. In: UML 2003 Workshop "OCL 2.0 - Industry Standard or Scientific Playground?", Electronic Notes in Theoretical Computer Science, 1. Okt. 2003, Elsevier, Amsterdam, The Netherlands (Details)

Flake, Stephan: OclType - A Type or Metatype?. In: UML 2003 Workshop OCL 2.0 Industry Standard or Scientific Playground?, Electronic Notes in Theoretical Computer Science, 1. Okt. 2003, Elsevier, Amsterdam, The Netherlands (Details)

Burmester, Sven; Flake, Stephan; Giese, Holger; Schäfer, Wilhelm; Tichy, Matthias: Towards the Compositional Verification of Real-Time UML Designs.. In: Proceedings of the 9th European Software Engineering Conference (ESEC 2003), S. 38-47, Helsinki, Finland, Sep. 2003, ACM Press, New York, NY, USA (Details)

Flake, Stephan; Müller, Wolfgang: Semantics of State-Oriented Expressions in the Object Constraint Language.. In: 15th International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), S. 142-149, San Francisco Bay, USA, 1. Jul. 2003, IEEE Computer Society Press (Details)

Giese, Holger; Flake, Stephan; Schäfer, Wilhelm; Tichy, Matthias; Burmester, Sven; Schilling, Daniela: Towards the Compositional Verification of Real-Time UML Designs. tr-ri-03-241, Jul. 2003 (Details)

Flake, Stephan; Müller, Wolfgang: Expressing Property Specification Patterns with OCL. In: The 2003 International Conference on Software Engineering Research and Practice (SERP'03), Las Vegas, Nevada, USA, S. 595-601, Jun. 2003, CSREA Press, Las Vegas, NV, USA (Details)

Flake, Stephan; Müller, Wolfgang: Formal Semantics of OCL Messages. In: UML 2003 Workshop "OCL 2.0 - Industry standard or scientific playground?", Electronic Notes in Theoretical Computer Science, 2003, Elsevier, Amsterdam, The Netherlands (Details)


Unsere Publikationen aus dem Jahr 2002:



Flake, Stephan; Müller, Wolfgang: A UML Profile for Real-Time Constraints with the OCL. In: UML 2002 - The Unified Modeling Language, LNCS, Nr. 2460 , Dresden, Germany, 30. Sep. - 4. Okt. 2002, Springer Verlag (Details)

Dangelmaier, Wilhelm; Darnedde, C.; Flake, Stephan; Müller, Wolfgang; Pape, Ulrich; Zabel, Henning: Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. In: 4. Paderborner Frühlingstagung, Paderborn, Germany, Apr. 2002, ALB-HNI-Verlagsschriftenreihe (Details)

Darnedde, C.; Flake, Stephan; Müller, Wolfgang; Pape, Ulrich: Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. In: Proceedings 4. Paderborner Frühjahrstagung 2002, ALB-HNI-Verlagsschriftenreihe, 2002 (Details)

Flake, Stephan; Müller, Wolfgang: Temporale Erweiterungen der OCL - Überblick und Aussichten. In: 2nd Workshop Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen, Halle (Saale), Germany, Apr. 2002 (Details)

Flake, Stephan: Real-Time Constraints with the OCL. In: 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC2002), Crystal City, VA, USA, Apr. 2002 IEEE (Details)

Flake, Stephan; Müller, Wolfgang: An OCL Extension for Real-Time Constraints. In: Object Modeling with the OCL, LNCS, Nr. 2263 , Heidelberg, Germany, Feb. 2002, Springer Verlag (Details)

Flake, Stephan; Müller, Wolfgang: Specification of Real-Time Properties for UML Models. In: Proceedings of the Hawai'i International Conference on System Sciences (HICSS-35), Hawaii, USA, Jan. 2002 IEEE (Details)


Unsere Publikationen aus dem Jahr 2001:



Flake, Stephan; Müller, Wolfgang: Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. In: DFG-Workshop Ablaufmodellierungen in ingenieurwissenschaftlichen Anwendungen, Berlin, 2001 (Details)

Flake, Stephan; Müller, Wolfgang: An OCL Extension for Real-Time Constraints. In: Clark, T.; J.Warmer, J (Hrsg.) Object Modelling with the OCL, LNCS, Band 2263 Springer-Verlag, 2001 (Details)

Flake, Stephan; Geiger, Christian; Küster, J.M.: Towards UML-based Analysis and Design of Multi-Agent Systems. In: Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai, United Arab Emirates, 2001 (Details)

Flake, Stephan; Geiger, Christian; Müller, Wolfgang; Paelke, Volker; Rosenbach, W.; Ruf, J.: Customer-Oriented Systems Design through Virtual Prototypes. In: Proceedings of 10th Int. IEEE Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'01), Cambridge, MA, USA, 2001 (Details)

Flake, Stephan; Müller, Wolfgang; Pape, Ulrich; Ruf, J.: Analyzing Time Constraints in Flexible Manufacturing Systems. In: International NAISO Symposium on Information Science Innovations in Intelligent Automated Manufacturing (IAM'2001), 2001 (Details)


Unsere Publikationen aus dem Jahr 2000:



Flake, Stephan: Eliminating Qualifier and Association Class Ambiguities from OCL. In: Workshop UML 2.0: The Future of the UML Object Constraint Language (OCL), York, UK, Okt. 2000 (Details)

Flake, Stephan; Müller, Wolfgang; Pape, Ulrich; Ruf, J.: Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. In: Proceedings of GI-Fachtagung Modellierung betrieblicher Informationssysteme (MobIS), Siegen, Germany, 2000 (Details)

Braatz, A.; Flake, Stephan; Müller, Wolfgang; Westkämper, E.: Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. In: Simulation und Visualisierung 2000, Magdeburg, Germany, 2000 (Details)

Flake, Stephan; Geiger, Christian: Agents with Complex Plans: Design and Implementation of CASA. In: Proceedings of EMCSR 2000, 2nd International Symposium: From Agent Theory to Agent Implementation, Vienna, Austria, 2000 (Details)

Flake, Stephan; Müller, Wolfgang; Ruf, J.: Structured English for Model Checking Specification. In: GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen in Frankfurt, Berlin, 2000, VDE Verlag (Details)

Flake, Stephan: Eliminating Qualifier and Association Class Ambiguities from OCL. In: Workshop UML 2.0: The Future of the UML Object Constraint Language (OCL), York, UK, 2000 (Details)


Unsere Publikationen aus dem Jahr 1999:



Flake, Stephan; Geiger, Christian; Lehrenfeld, Georg; Müller, Wolfgang; Paelke, Volker: Agent-Based Modelling for Holonic Manufacturing Systems with Fuzzy Control. In: NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society, New York, 1999 (Details)

Flake, Stephan; Geiger, Christian; Lehrenfeld, Georg; Müller, Wolfgang; Paelke, Volker: Agent-Based Modelling for Holonic Manufacturing Systems with Fuzzy Control. In: NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society, New York, 1999 (Details)

Flake, Stephan; Geiger, Christian: CASA - Structured Design of a Specification Language for Intelligent Agents. In: Asian Computing Science Conference, ASIAN'99, Phuket, Thailand, 1999 (Details)

Dücker, Marita; Flake, Stephan; Geiger, Christian; Müller, Wolfgang; Paelke, Volker; Reimann, Christian; Rosenbach, W.; Zimmermann, D.; Zelder, S.: Wissensbasierte Konzepte und Visuelle Interaktive Systeme. In: KI99 Proceedings Workshop, Bonn, 1999 (Details)