Thesis and Reports

Master's Thesis: Formalization of Timethreads Using LOTOS

• Introduction (HTML)
• Complete PDF version (1.8 Mb)

Journal Publications

Without Examination Committee

• Éditorial: Problèmes (ré)partis ?, L'Expertise informatique, volume 4 no 1, APIIQ, automne 1998.

• Éditorial: Multimédia virtuel, L'Expertise informatique, volume 3 no 2, APIIQ, printemps 1998.

• Éditorial: L'ère des ressources informationnelles, L'Expertise informatique, volume 3 no 1, APIIQ, été 1997.

• Éditorial: Une voie réservée sur les inforoutes, L'Expertise informatique, volume 2 no 2, APIIQ, hiver 1997.

• Éditorial: Réflexions sur le génie logiciel et l'avenir de notre profession, L'Expertise informatique, volume 2 no 1, APIIQ, été 1996.

Conference and Workshop Publications

With Examination Committee

• D. Amyot and R. Andrade (1999), Description of Wireless Intelligent Network Services with Use Case Maps. In: 17th Brazilian Symposium on Computer Networks (SBRC'99), Salvador, Brazil, May 1999. PDF (347K)

• D. Amyot, L. Logrippo, R.J.A. Buhr, and T. Gray (1999), Use Case Maps for the Capture and Validation of Distributed Systems Requirements. In: Fourth International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 1999. PDF (237K), PostScript (.gz) (165K)

• R.J.A. Buhr, D. Amyot, M. Elammari, D. Quesnel, T. Gray, and S. Mankovski (1998), Feature-Interaction Visualization and Resolution in an Agent Environment. In: Kimbler, K. and W. Bouma (eds.), Fifth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'98), IOS Press, Amsterdam, Netherlands, pp. 135-149. PDF (234K), PostScript (.gz) (182K)

• R.J.A. Buhr, D. Amyot, M. Elammari, D. Quesnel, T. Gray, and S. Mankovski (1998), High Level, Multi-Agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example. In: H.S. Nwana and D.T. Ndumu (Eds), Third Conference on Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM’98), London, UK, pp. 255-276. PDF (103K), PostScript (369K)

• D. Amyot, L. Logrippo, and R.J.A. Buhr (1997), Spécification et conception de systèmes communicants : une approche rigoureuse basée sur des scénarios d’usage. In: Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'97), Hermes, Paris, pp. 159-174. PDF (192K), HTML (99 KB)

• D. Amyot, F. Bordeleau, R.J.A. Buhr, and L. Logrippo (1995), Formal support for design techniques: a Timethreads-LOTOS approach. In: FORTE VIII, 8th International Conference on Formal Description Techniques, Chapman & Hall, pp. 57-72. PDF, HTML (98 KB)

Without Examination Committee

• D. Amyot, R. Andrade, L. Logrippo, J. Sincennes, and Z. Yi (1999), Formal Methods for Mobility Standards. In: IEEE 1999 Emerging Technology Symposium on Wireless Communications & Systems, Dallas (TX), USA, April 1999. PDF (141K)

• D. Amyot, N. Hart, L. Logrippo, and P. Forhan (1998), Formal Specification and Validation using a Scenario-Based Approach: The GPRS Group-Call Example. In: ObjecTime Workshop on Research in OO Real-Time Modeling, Ottawa, Canada, January 1998. PDF (158K)

Technical Reports

• Use Case Maps for the Design and the Validation of Interaction-Free Telephony Features
  CITO report #1430 (November 1998)
• Group Communication Server: A Scenario-Based Design Exercise
  TRIO report #1388 (July 1998)
  
• From Timethreads to LOTOS: A First Pass
  (398712 Feb 26 1994 tt_1pass.ps.Z)
  TR-SCE-93-38, Dept. of Systems and Computer Engineering,
  Carleton University, Ottawa, Canada (December 1993)
• LOTOS Interpretation of Timethreads: A Method and a Case Study
  (287303 Feb 26 1994 casestud.ps.Z)
  TR-SCE-93-35, Dept. of Systems and Computer Engineering,
  Carleton University, Ottawa, Canada (December 1993)

Other Reports

• Structural Coverage of LOTOS Specifications Through Probe Insertion
  D. Amyot and L. Logrippo, University of Ottawa, March 1998
  PDF (62 KB), PostScript (.gz, 64 KB).
• LOTOS Generation from Timethread Maps: A Language and a Tool
  Daniel Amyot, University of Ottawa, September 1994.
  A report on the making of TMDL-to-LOTOS compiler
  PDF (520 KB) Take a look also at the TMDL page for more informations
• Telepresence: A Case Stuy of a Timethread-LOTOS Approach to Multimedia System Design
  (420369 Feb 26 1994 telepres.ps.Z)
  Object-oriented design of real-time and distributed systems, course project.
  Carleton University, Ottawa, Canada (December 1993)