Publications of Stephan Flake

2004

S. Flake, W. Mueller.
Past- and Future-Oriented Temporal Time-Bounded Properties with OCL.
In: J.R. Cuellar and Z. Liu (eds.), 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, September 2004, pp. 154-163.
©IEEE Computer Society Press, Los Alamitos, CA, USA. ISBN 0-7695-2222-X.

S. Flake, W. Mueller.
An ASM Definition of the Dynamic OCL 2.0 Semantics.
In: T. Baar, A. Strohmeier, A. Moreira, and S.J. Mellor (eds.), UML 2004 - the Unified Modeling Language (UML 2004), Lisbon, Portugal, October 2004. Volume 3273 of Lecture Notes in Computer Science, pp. 226-240.
©Springer-Verlag, Heidelberg, Germany. ISBN 3-540-23307-5.

S. Flake, W. Mueller, U. Pape, J. Ruf.
Specification and Formal Verification of Temporal Properties of Production Automation Systems.
In: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (eds.), Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Volume 3147 of Lecture Notes in Computer Science, September 2004, pp. 206-226.
©Springer-Verlag, Heidelberg, Germany. ISBN 3-540-23135-8.

S. Flake.
Enhancing the Message Concept of the Object Constraint Language.
In Sixteenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2004), Banff, Canada, June 2004, pp. 161-166.
©Knowledge Systems Institute, Skokie, USA. ISBN 1-891706-14-4.

S. Flake.
Towards the Completion of the Formal Semantics of OCL 2.0.
In 27th Conference on Australasian Computer Science (ACSC 2004), Dunedin, New Zealand, January 2004.
ACM International Conference Proceeding Series, Australian Computer Science Communications, Volume 26, Number 1, pp. 73-82.
©Australian Computer Science Society, Sydney, Australia, 2004. ISBN 7-111-11111-1.

2003

S. Flake.
UML-Based Specification of State-Oriented Real-Time Properties.
Ph.D. Thesis. Paderborn University, Faculty of Computer Science, Electrical Engineering and Mathematics.
C-LAB Publication, Number 16, December 2003.
©Shaker Verlag, Aachen, Germany. ISBN 3-8322-2312-6.

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

S. Flake.
Temporal OCL Extensions for Specification of Real-Time Constraints. (Position Paper)
In Workshop Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS'03) at UML 2003, San Francisco, CA, USA, October 2003.

S. Flake, W. Mueller.
OclType - A Type or Metatype?
In Workshop OCL 2.0 - Industry Standard or Scientific Playground? at UML 2003, San Francisco, CA, USA, October 2003.
Electronic Notes in Theoretical Computer Science, vol. 102C, pp. 63-75.
©Elsevier, Amsterdam, The Netherlands, 2004. ISSN 1571-0661.

S. Flake, W. Mueller.
Formal Semantics of OCL Messages.
In Workshop OCL 2.0 - Industry Standard or Scientific Playground? at UML 2003, San Francisco, CA, USA, October 2003.
Electronic Notes in Theoretical Computer Science, vol. 102C, pp. 77-97.
©Elsevier, Amsterdam, The Netherlands, 2004. ISSN 1571-0661.

S. Flake, W. Mueller.
Formal Semantics of Static and Temporal State-Oriented OCL Constraints.
In Journal on Software and System Modeling (SoSyM), Volume 2, Number 3, October 2003, pp. 164-186.
©Springer-Verlag, Heidelberg, Germany.
The original publication is available online at http://link.springer.de under Digital Object Identifier 10.1007/s12270-003-0026-x.

H. Giese, M. Tichy, S. Burmester, W. Schaefer, S. Flake.
Towards the Compositional Verification of Real-Time UML Designs.
In Proceedings of the 9th European Software Engineering Conference (ESEC 2003), Helsinki, Finland, September 2003, pp. 38-47.
©ACM Press, New York, NY, USA.
The original publication is available online at http://doi.acm.org under Digital Object Identifier 940071.940078.

H. Giese, M. Tichy, S. Burmester, W. Schaefer, D. Schilling, S. Flake.
Towards the Compositional Verification of Real-Time UML Designs.
Technical Report tr-ri-03-241, University of Paderborn, Paderborn, Germany, July 2003.

S. Flake, W. Mueller.
Semantics of State-Oriented Expressions in the Object Constraint Language.
In Fifteenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), San Francisco, CA, USA, July 2003, pp. 142-149.
©Knowledge Systems Institute, Skokie, USA.

S. Flake, W. Mueller.
Expressing Property Specification Patterns with OCL.
In The 2003 International Conference on Software Engineering Research and Practice (SERP'03), Las Vegas, NV, USA, June 2003, pp. 595-601.
©CSREA Press, Las Vegas, NV, USA.

2002

S. Flake, W. Mueller.
A UML Profile for Real-Time Constraints with the OCL.
In: J.-M. Jezequel, H. Hussmann, S. Cook (eds.), UML 2002 - The Unified Modeling Language, Dresden, Germany, September/October 2002. Volume 2460 of Lecture Notes in Computer Science, pp. 179-195.
©Springer-Verlag, Heidelberg, Germany.
The original publication is available online at http://link.springer.de via openURL.

S. Flake.
A UML Profile for MFERT.
Technical Report, C-LAB Report 04/2002, Paderborn, Germany, June 2002.

S. Flake.
Real-Time Constraints with the OCL. (Position Paper)
In 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC2002), Crystal City, VA, USA, April 2002.
©IEEE Computer Society Press, Los Alamitos, CA, USA.
The original publication is available online under IEEE digital identifier 15580425.

S. Flake, W. Mueller.
Temporale Erweiterungen der OCL - Überblick und Aussichten.
2. Workshop "Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen", Halle(Saale), Germany, April 2002.
(in German)

W. Dangelmaier, C. Darnedde, S. Flake, W. Mueller, U. Pape, H. Zabel.
Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.
In 4. Paderborner Frühlingstagung 2002, ALB-HNI-Verlagsschriftenreihe, Paderborn, Germany, April 2002.
(in German)

S. Flake, W. Mueller.
An OCL Extension for Real-Time Constraints.
In T. Clark and J. Warmer (eds.), Object Modeling with the OCL, Volume 2263 of Lecture Notes in Computer Science, February 2002, pp. 150-171.
©Springer-Verlag, Heidelberg, Germany.
The original publication is available online at http://link.springer.de via openURL.

S. Flake, W. Mueller.
Specification of Real-Time Properties for UML Models.
Proceedings of the Hawai'i International Conference on System Sciences (HICSS-35), Hawaii, USA, January 2002.
©IEEE Computer Society Press, Los Alamitos, CA, USA.

2001

S. Flake, W. Mueller.
Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.
1. Workshop "Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen", Berlin, Germany, September 2001.
Foliensatz (in German)

S. Flake, W. Mueller.
Schnittstellendefinition zur 3D-Animation eines holonischen Fertigungssystems.
Technical Report, C-LAB Report 09/2001, Paderborn, Germany, August 2001.
(in German)

S. Flake, C. Geiger, W. Mueller, V. Paelke, W. Rosenbach, J. Ruf.
Customer-Oriented Systems Design through Virtual Prototypes.
10th Int. Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'01), Cambridge, MA, USA, June 2001, pp. 263-268.
©IEEE Computer Society Press, Los Alamitos, CA, USA.

S. Flake, C. Geiger, J. M. Kuester.
Towards UML-based Analysis and Design of Multi-Agent Systems.
International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS'2001), Dubai, March 2001.

S. Flake, W. Mueller, U. Pape, J. Ruf.
Analyzing Timing Constraints in Flexible Manufacturing Systems.
International NAISO Symposium on Information Science Innovations in Intelligent Automated Manufacturing (IAM'2001), Dubai, March 2001.

2000

S. Flake, C. Geiger, V. Paelke.
Agents for Realistic Usability Tests in Multi-User 3D Environments.
OzCHI 2000: Interfacing Reality in the New Millennium, Sydney, Australia, December 2000.

S. Flake.
Eliminating Qualifier and Association Class Ambiguities from OCL.
Workshop "UML 2.0: The Future of the UML Object Constraint Language (OCL)", York, England, October 2000.

S. Flake, W. Mueller, U. Pape, J. Ruf.
Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
GI-Fachtagung "Modellierung betrieblicher Informationssysteme", MobIS 2000, Siegen, Germany, October 2000.
(in German)

S. Flake, C. Geiger.
Agents with Complex Plans: Design and Implementation of CASA.
EMCSR 2000, 2nd International Symposium "From Agent Theory to Agent Implementation", Vienna, Austria, April 2000.

A. Braatz, S. Flake, W. Mueller, E. Westkaemper.
Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung.
Simulation und Visualisierung 2000, Magdeburg, Germany, March 2000.
(in German)

S. Flake, W. Mueller, J. Ruf.
Structured English for Model Checking Specification.
GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Frankfurt, February 2000.

S. Flake, W. Mueller, J. Ruf.
An Advanced Visual Capture for Model Checking Specifications.
Technical Report, C-LAB Report 05/2000, Paderborn, Germany, February 2000.

S. Flake, W. Mueller, J. Ruf.
Mapping of Structured English Sentences to CCTL Formulae.
Technical Report, C-LAB Report 04/2000, Paderborn, Germany, January 2000.

1999

S. Flake, C. Geiger.
CASA - Structured Design of a Specification Language for Intelligent Agents.
5th Asian Computing Science Conference (ASIAN'99), Phuket, Thailand, December 1999. LNCS 1742, Springer-Verlag, Heidelberg, Germany. (Click here for an extended version)

M. Duecker, S. Flake, C. Geiger, W. Mueller, V. Paelke, C. Reimann, W. Rosenbach, D. Zimmermann, S. Zelder.
Wissensbasierte Konzepte und visuelle interaktive Systeme.
KI'99 Workshop "Intelligente Virtuelle Umgebungen, 23rd German Annual Symposium on Artificial Intelligence, Bonn, Germany, September 1999.
(in German)

S. Flake, C. Geiger, G. Lehrenfeld, W. Mueller, V. Paelke.
Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.
18th International Conference of the North American Fuzzy Information Processing Society (NAFIPS'99), New York, NY, June 1999.

S. Flake.
Entwurf und prototypische Realisierung einer Spezifikationssprache für intelligente Software-Agenten.
Diploma Thesis, University of Paderborn, Paderborn, Germany, May 1999.
(in German)

visits so far

Last modified: Tue Oct 19 10:42:09 MET DST 2004