Publikationen

Veröffentlichungen des TĂŒbinger NeuroTeams in chronologischer Ordnung:


Veröffentlichungen von 2004

  • S. Flake, W. Mueller. An ASM Definition of the Dynamic OCL 2.0 Semantics. (accepted for Springer LNCS publication at the UML 2004 Conference, Lisbon, October 2004)
  • S. Flake, W. Mueller. Past- and Future-Oriented Temporal Time-Bounded Properties with OCL. (accepted for IEEE publication at the SEFM 2004 Conference, Beijing, China, September 2004)
  • S. Flake, W. Mueller, U. Pape, J. Ruf. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Final Documenation of the DFG Priority Programme SoftSpec "Integration of Software Specification Techniques for Applications in Engineering", volume 3147 of Lecture Notes in Computer Science, Springer, 2004.
  • J. Ruf, T. Kropf, R. Weiss. Modeling and Formal Verification of Production Automation Systems. In: Final Documenation of the DFG Priority Programme SoftSpec "Integration of Software Specification Techniques for Applications in Engineering", volume 3147 of Lecture Notes in Computer Science, Springer, 2004.
  • S. Flake. Enhancing the Message Concept of the Object Constraint Language. In 16th International Conference on Software Engineering and Knowledge Engineering (SEKE 2004), Banff, Canada, June 20-24, 2004, pp. 161-166. Knowledge Systems Institute, Skokie, IL, USA.
  • P.M. Peranandam, R.J. Weiss, J. Ruf, T. Kropf. Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. In D. Stoffel, W. Kunz, editors, 7. GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Kaiserslautern, Germany, February 2004, pp. 260-269. Shaker Verlag, Aachen, Germany, 2004
  • 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.


Veröffentlichungen von 2003

  • S. Flake. UML-Based Specification of State-Oriented Real-Time Properties. PhD Thesis. UniversitĂ€t Paderborn, FakultĂ€t fĂŒr Elektrotechnik, Mathematik und Informatik, December 2003. C-LAB Publication, Number 16. Shaker Verlag, Aachen, Germany, 2003.
  • 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.
  • S. Flake, W. Mueller. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. In Journal on Software and System Modeling (SoSyM), 2(3), pages 164-186, Springer, October 2003.
  • H. Giese, M. Tichy, S. Burmester, W. Schaefer, S. Flake. Towards the Compositional Verification of Real-Time UML Designs. In European Software Engineering Conference (ESEC 2003), Helsinki, Finland. September 2003.
  • J. Ruf, T. Kropf. Symbolic Verification and Analysis of Discrete Timed Systems. In Journal on Formal Methods in System Design, 23(1): 67-108, July 2003. Kluwer Academic Publishers, 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, USA. July 2003.
  • 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, Nevada, USA. June 2003.
  • J. Ruf, T. Kropf. Bounded Property Checking with Symbolic Simulation. In Proceedings of GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, February 2003, Bremen, Germany.