Andre Engels: Publications

Journal Articles

  1. A. Engels, S. Mauw: Why men and octopedes cannot juggle a four ball cascade. Journal of Recreational Mathematics 31:1. To appear 2002. Also available in g-zipped postscript and PDF.
  2. A.G. Engels, S. Mauw, M.A. Reniers: A Hierarchy of Communication Models for Message Sequence Charts. Science of Computer Programming. To appear 2002. See below for download.

Articles in Conference and Workshop Proceedings

  1. A. Engels, L. Feijs, S. Mauw: Test Generation for Intelligent Networks using Model Checking. In: Ed Brinksma (ed.): Tools and Algorithms for the Construction and Analysis of Systems. Third International Workshop, TACAS'97, Enschede, the Netherlands, April 1997, Proceedings. Lecture Notes in Computer Science 1217. Springer, Berlin et al, 1997. (40k html plus 860k pictures). Also available in gzipped postscript
  2. A. Engels, S. Mauw, M.A. Reniers: A Hierarchy of Communication Models for Message Sequence Charts. In: T. Mizuno, N. Shiratori, T. Higashino and A. Togashi (ed.): Formal Description Tecniques and Protocol Specification, Testing and Verification, Proceedings of FORTE X and PSTV XVII '97, pages 75-90, Osaka, Japan, 18-21 November 1997. Chapman & Hall. abstract
  3. A. Engels: Message Refinement. Describing Multi-Level Protocols in Message Sequence Charts. In: Y. Lahav, A. Wolisz, J. Fischer and E. Holz (editors): SAM'98. 1st Workshop on SDL and MSC. Proceedings fo the 1st Workshop of the SDL Forum Society on SDL and MSC. Berlin, Germany, 29th June - 1st July 1998. Humboldt-Universität zu Berlin, 1998. Informatikberichte #104.
  4. A. Engels, Th. Cobben: Interrupt and Disrupt in MSC. Possibilities and Problems. In: Y. Lahav, A. Wolisz, J. Fischer and E. Holz (editors): SAM'98. 1st Workshop on SDL and MSC. Proceedings fo the 1st Workshop of the SDL Forum Society on SDL and MSC. Berlin, Germany, 29th June - 1st July 1998. Humboldt-Universität zu Berlin, 1998. Informatikberichte #104.
  5. A. Engels, L. Feijs, S. Mauw: MSC and data: dynamic variables. In: R. Dssouli, G.v. Bochmann and Y. Lahav (editors): SDL'99, Proceedings of the Ninth SDL Forum, pages 105-120. Montreal, June 21-25 1999. Elsevier Science Publishers.
  6. A. Engels: Design Decisions on Data and Guards in MSC2000. In: S. Graf, C. Jard and Y. Lahav (editors): SAM2000. 2nd Workshop on SDL and MSC, pages 33-46. Col de Porte, Grenoble, June 2000.

Theses

  1. A. Engels: Volledigheid en correctheid van MLCM. Master's thesis, Rijksuniversiteit Groningen, 1996. In Dutch.
  2. A.G. Engels: Languages for Analysis and Testing of Event Sequences. PhD thesis, Eindhoven University of Technology, May 2001. PS - PDF

Technical Reports

  1. A. Engels, S. Mauw, M.A. Reniers: A Hierarchy of Communication Models for Message Sequence Charts. Computing Science Report CSR 97-11, Department of Computing Science, Eindhoven University of Technology, August 1997.
  2. A. Engels, S. Mauw: Why men and octopedes cannot juggle a four ball cascade. Computing Science Report CSR 99-14, Department of Computing Science, Eindhoven University of Technology, September 1999.
  3. P.J.L. Cuijpers, M.A. Reniers, A.G. Engels: Beyond Zeno Behaviour. Computing Science Report CSR 01-04, Department of Computing Science, Eindhoven University of Technology, April 2001.

Other work

  1. Th. Cobben, A. Engels: Disrupt and interrupt in MSC. ITU internal document TD-L17, 1997.
  2. A. Engels, S. Mauw: Why men and octopedes cannot juggle a four ball cascade. In: M. Bruné, A. van Deursen, J. Heering (eds.): Dat is dus heel interessant. Liber Amicorum voor Paul Klint.

Unpublished

  1. A. Engels, L. Feijs, R. Vermeulen: Automated Analysis of Log Files in Telephony System Testing. Rejected by The Computer Journal.
  2. A. Engels, S. Mauw, M.A. Reniers: A Hierarchy of Communication Models for Message Sequence Charts. Submitted to Science of Computer Programming.