Publications, communications et séminaires, etc.

Articles parus dans des revues (avec comités de lecture):

• Search-based many-to-one component substitution. N. Desnos, M. Huchard, G. Tremblay, C. Urtado, and S. Vauttier. Journal of Software Maintenance and Evolution: Research and Practice, 20(5):321-344, Sept. 2008.
• Business process modeling languages: Sorting through the alphabet soup. H. Mili, G. Bou Jaoude, É. Lefebvre, G. Tremblay, and A. Petrenko. ACM Computing Surveys. Accepté pour publication, octobre 2007.
• Oto, a generic and extensible tool for marking programming assignments G. Tremblay, F. Guérin, A. Pons and A. Salah. Software--Practice and Experience. 38(3):307-333, March 2008.
• Marking musical dictations using the edit distance algorithm, G. Tremblay and F. Champagne. Software--Practice and Experience, 37(2):207--230, Feb. 2007.
• Implementation of the EARTH programming model on SMP clusters: a multi-threaded language and runtime system G. Tremblay, C.J. Morrone, J.N. Amaral, and G.R. Gao. Concurrency and Computation: Practice and Experience, 15(9):821--844, August 2003.
• Évolution d'un langage pour la programmation parallèle multi-contextes : Threaded-C, G. Tremblay. Technique et Science Informatiques, RSTI série TSI, vol. 21, no. 5, pp. 605-634, 2002. Numéro spécial "Parallélisme et systèmes distribués".
• An abstract state machine specification and verification of the location consistency memory model and cache protocol, C. Wallace, G. Tremblay, and J.N. Amaral. Journal of Universal Computer Science, 7(11), pp. 1089-1113, 2001. Special Issue on Abstract State Machines 2001: New Developments and Applications.
• Lenient evaluation is neither strict nor lazy, G. Tremblay, Computer Languages, 26(1), pp. 43-66, June 2001.
• Lenient evaluation and parallelism, G. Tremblay and B. Malenfant, Computer Languages, 26(1), pp. 27-41, June 2001.
• Formal Methods: Mathematics, Computer Science, or Software Engineering?, G. Tremblay, IEEE Transactions on Education, 43(4), pp. 377-382, Nov. 2000.

Articles dans des compte-rendus de conférences (avec comités de lecture):

• Checking conformity of WS-BPEL processes with respect to interface protocols, A. Salah, G. Tremblay, and A. Chami. In A. Obaid, editor, Proceedings of the 9th Annual International Conference on New Technologies of Distributed Systems (NOTERE'09), pages 289--299, Montréal, QC, Canada, June 2009.
• Extending Orchids for intrusion detection in 802.11 wireless networks, R. Ben Younes, G. Tremblay and G. Bégin, In D. Benslimane and A. Ouksel, editors, Proceedings of the 8th International Conference on New Technologies in Distributed Systems (NOTERE 2008), volume 1, pages 40-51, Lyon, France, June 2008. ACM Edition.
• Towards adaptability support in collaborative business processes, I. Khriss, E. Lévesque, G. Tremblay and A. Jacques. 2008 International MCETECH Conference on e-Technologies, pages 34-45, IEEE Computer Society, Montréal, Canada, Jan. 2008.
• Behavioral interface conformance checking for WS-BPEL processes, A. Salah, G. Tremblay and A. Chami. 2008 International MCETECH Conference on e-Technologies, pages 253-256, IEEE Computer Society, Montréal, Canada, Jan. 2008.
• Automated and unanticipated flexible component substitution, N. Desnos, M. Huchard, C. Urtado, S. Vauttier, and G. Tremblay. In The 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2007), pages 33-48, Springer-Verlag, LNCS-4608, Medford, MA, July 2007.
• Introducing students to professional software construction: A "Software construction and maintenance" course and its maintenance corpus, G. Tremblay, B. Malenfant, A. Salah, and P. Zentilli. In Proceedings of the 12th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE), pages 176-180. Dundee, Scotland, June 2007. ACM.
• Extending a marking tool with simple support for testing (Poster), G. Tremblay, L. Laforest and A. Salah. In Proceedings of the 12th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE), page 313. Dundee, Scotland, June 2007. ACM.
• Towards a methodology for designing compensation processes in long-running business transactions, H. Mili, R. Godin, G. Tremblay, and W. Dorfeuille. In L. Logrippo, H. Mili, and A. Salah, editors, Proceedings of the 2006 Montreal Conference on eTechnologies, pages 137-146, Montréal, QC, Canada, May 2006.
• A generic and extensible tool for marking programming assignments, G. Tremblay, F. Guérin and A. Pons. In T.C. Mongomerie and J.R. Parker, editors, The IASTED International Conference on Education and Technology (ICET 2005), pages 55--60, Calgary, AB, Canada, July 2005. ACTA Press.
• Towards specifying contracts and protocols for Web services, G. Tremblay and J. Chae. In H. Mili and F. Khendek, editors, MCeTech Montreal Conference on eTechnologies, pages 73-85, Montréal, QC, Canada, Jan. 2005.
• Web service composition as a function cover problem, A.-É. Caillot, G. Tremblay, B. Ben Tamrout, A. Obaid, and H. Mcheick. In H. Mili and F. Khendek, editors, MCeTech Montreal Conference on eTechnologies, pages 61-71, Montréal, QC, Canada, Jan. 2005.
• Business process modeling for light-weight inter-enterprise system integration, H. Mili, F. Bédard, G. Bou Jaoude, and G. Tremblay. In A. Frew, editor, Information and Communication Technologies in Tourism (ENTER 2004), pages 380-390, Cairo, Egypt, January 2004. International Federation for IT and Travel & Tourism (IFITT), Springer.
• Semi-automatic marking of Java programs using JUnit, G. Tremblay and É. Labonté. International Conference on Education and Information Systems: Technologies and Applications (EISTA '03), pages 42--47, Orlando, FL, July 2003.
• Automatic marking of musical dictations by applying the edit distance algorithm on a symbolic music representation, G. Tremblay and F. Champagne. Musical Application Using XML (MAX2002), pp. 11-17, Milan, Italy. IEEE Computer Society Technical Commitee on Computer Generated Music. Sept. 2002.
• On the tamability of the location consistency memory model, C. Wallace, G. Tremblay, and J.N. Amaral. In International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA '02), pp. 1542-1547, Las Vegas, NE, June 2002.
• A multi-threaded runtime system for a multi-processor/multi-node cluster, C.J. Morrone, J.N. Amaral, G. Tremblay, and G.R. Gao. In R.D. Kent and T.W. Sands, editors, High Performance Computing Systems and Applications (HPCS '2001), pp. 229-242. Kluwer Academic Publishers, Norwell, MA, 2003.
• Évolution d'un langage pour la programmation parallèle multi-contextes : Threaded-C, G. Tremblay. Dans C. Cérin and G. Utard, editors, RENPAR '13, pp. 133-138. ASTI '2001, Paris, France, Avril 2001.
• Specification and verification of the LC cache protocol (Extended abstract), C. Wallace, G. Tremblay, and J.N. Amaral, Formal Methods and Tools for Computer Science (EUROCAST 2001), Universidad Las Palmas de Gran Canaria, Canary Islands, pp. 275-278, Feb. 2001.
• Formal Methods: Mathematics, Computer Science, or Software Engineering?, G. Tremblay, Thirteenth Conference on Software Engineering Education and Training, IEEE Computer Society, pp. 273-282, March 2000.
• Exercices for teaching logic in a formal methods course: Formalizing ERDs, G. Tremblay, ACM SIGCSE '99 Technical Symposium, pp. 100-104, March 1999.
• An Undergraduate Course in Formal Methods: ``Description is our business'', G. Tremblay, ACM SIGCSE '98 Technical Symposium, pp. 166-170, Feb. 1998.
• Reusability and Interoperability in SNMP-based Network Management: From Concepts to Applications, O. Cherkaoui, S. Znaty and G. Tremblay. Presented at ICT97 (International Conference on Telecommunications), Melbourne, Australia, April 1997.
• Langages fonctionnels non-stricts: De la paresse et de l'indulgence, G. Tremblay, dans JFLA 97 -- Journées Francophones des Langages Applicatifs, M. Gengler et C. Queinnec (eds.), Rapport INRIA #16 (Collection Didactique), pp. 189-208, janvier 1997.
• Compilation de langages paresseux par analyse de stricticité arrière: Utilité et limites, G. Tremblay, dans JFLA 96 -- Journées Francophones des Langages Applicatifs, G. Lapalme et C. Queinnec (eds.), Rapport INRIA #15 (Collection Didactique), pp. 225-244, janvier 1996.
• The impact of laziness on parallelism and the limits of strictness analysis, G. Tremblay and G.R. Gao, In Proceedings High Performance Functional Computing, A.P. Wim Bohm and John T. Feo, editors, Lawrence Livermore National Laboratory CONF-9504126, pp. 119-133, April 1995.

Livres ou chapitres de livre

• Software design: An overview. G. Tremblay and A. Pons. In R.H. Thayer, editor, Software Engineering, Vol. 1: The Development Process (3rd edition), pages 195-208. IEEE Computer Society Press, Los Alamitos, CA, 2005.
• Modélisation et spécification formelle des logiciels (édition revue et augmentée), G. Tremblay, Loze-Dion Éditeurs, Inc., 635 pages, 2004.
• Software Design, G. Tremblay (Associate Editor). In A. Abran, J.W. Moore, P. Bourque, and R. Dupuis, editors, Guide to the Software Engineering Body of Knowledge (2004 Version), chapter 3, pp. 3.1-3.12. IEEE Computer Society Press, Los Alamitos, CA, 2004.
• Software design, G. Tremblay. In A. Abran, J.W. Moore, P. Bourque, and R. Dupuis, editors, Guide to the Software Engineering Body of Knowledge (Japanese translation), chapter 3, pages 53-78. IEEE Computer Society Press and Ohmsha, Ltd., Japan, 2003.
• Software Design, G. Tremblay. In A. Abran, J.W. Moore, P. Bourque, and R. Dupuis, editors, Guide to the Software Engineering Body of Knowledge (Trial Version), chapter 3, pp. 35-51. IEEE Computer Society Press, Los Alamitos, CA, 2001.
• Modélisation et spécification formelle des logiciels, G. Tremblay, Loze-Dion Éditeurs, Inc., 2000.

Communications (sans compte-rendu)

• Oto, un outil extensible d'aide à la correction de programmes, F. Guérin et G. Tremblay, 73ième Congrès de l'ACFAS, Session ``Informatique et génie logiciel'', Université du Québec à Chicoutimi, Chicoutimi, Mai 2005.
• Accreditation of Software Engineering Programs by the CSAC, G. Tremblay, Canadian Undergraduate Software Engineering Conference, Montréal, Qué., January 2003.
• Application de l'algorithme de distance d'édition à des segments musicaux, F. Champagne et G. Tremblay, 70ième Congrès de l'ACFAS, Session ``Informatique et génie logiciel'', Université Laval, Québec, Mai 2002.
• Système d'aide à la correction de programmes Java, É. Labonté et G. Tremblay, 70ième Congrès de l'ACFAS, Session ``Informatique et génie logiciel'', Université Laval, Québec, Mai 2002.
• Sémantique parallèle d'un langage fonctionnel indulgent, B. Malenfant et G. Tremblay, 66ième Congrès de l'ACFAS, Session ``Programmation parallèle et génie logiciel'', Université Laval, Québec, Mai 1998.

Rapports techniques

• Adding semantics to Web service descriptions. H. Mili, G. Tremblay, R. Bentamrout, and A.-É. Caillot. Rapport technique LATECE, Dépt. d'Informatique, UQAM, Octobre 2004.
• Business process modeling languages: Sorting through the alphabet soup. H. Mili, G. Bou Jaoude, É. Lefebvre, G. Tremblay, and A. Petrenko. Rapport de recherche, Dépt. d'Informatique, UQAM, Jan. 2004.
• The location consistency memory model and cache protocol: Specification and verification. C. Wallace, G. Tremblay, and J.N. Amaral. Technical Report 01-01, Computer Science Department, Michigan Technological University, Houghton, MI, June 2001.
• Threaded-C Language Reference Manual (Release 2.0), G. Tremblay, K.B. Theobald, C.J. Morrone, M.D. Butala, J.N. Amaral, G.R. Gao, CAPSL Technical Memo 39, July 2000.
• Threaded-C Release 2.0: Motivation, Description, and Rationale, G. Tremblay, CAPSL Technical Note 09, June 2000.
• On choosing a good notation for a formal methods course: Making the concepts explicit, G. Tremblay, Rapport de recherche du département d'informatique No. 99-07, UQAM, décembre 1999.
• Guide to the software engineering body of knowledge --- A Straw Man version. P. Bourque, R. Dupuis, A. Abran, J.W. Moore, L. Tripp, J. Shyne, B. Pflug, M. Maya, and G. Tremblay. Technical report, UQAM, September 1998.
• Langages fonctionnels: Modélisation formelle des différents modes d'évaluation., G. Tremblay, Rapport de recherche du département d'informatique, UQAM, octobre 1996.

Notes internes de recherche

• Ports primitifs et composites : Une description formelle (exécutable) des propriétés de cohérence et complétude, G. Tremblay, N. Desnos, C. Urtado, S. Vauttier et M. Huchard. Note interne de recherche, Mai 2007.
• Oto, un outil d'aide à la correction de programmes : Guide pratique pour la conception et la correction de travaux de laboratoires, G. Tremblay et L. Laforest. Note interne de recherche, Dép. d'informatique, UQAM, Novembre 2006.
• Oto, un outil d'aide à la correction de programmes : Guide d'utilisation à l'intention des enseignants et des auxiliaires d'enseignement, F. Guérin et G. Tremblay. Note interne de recherche, Dép. d'informatique, UQAM, Mai-Octobre 2006.
• Oto, un outil d'aide à la correction de programmes : Guide d'utilisation destiné aux étudiants, G. Tremblay, M. Takim et A. Salah. Note interne de recherche, Dép. d'informatique, UQAM, Septembre 2006.
• Oto : Un outil générique et évolutif d'aide à la correction de programmes -- Langage de scriptage, F. Guérin et G. Tremblay, juin 2004.
• Oto : Un outil générique et évolutif d'aide à la correction de programmes -- Cas d'utilisation, G. Tremblay et F. Guérin, juin 2004.
• A VDM-style specification of the lattice building algorithm, G. Tremblay, avril 2001.
• Sémantique parallèle d'un langage fonctionnel indulgent, G. Tremblay et B. Malenfant, septembre 1998.
• Compilation de pH pour une machine parallèle multi-contextes, G. Tremblay, juillet 1997.

Séminaires:

• Services Web : De l'orchestration à la chorégraphie, G. Tremblay, Séminaire Latece, UQAM, 12 septembre 2007.
• Services Web : De l'orchestration à la chorégraphie, G. Tremblay, LIRMM, Montpellier, France, 16 mars 2007.
• Une introduction aux services Web, G. Tremblay, LIRMM, Montpellier, France, 2 février 2007.
• Oto, un outil générique et extensible pour corriger les travaux de programmation, G. Tremblay et F. Guérin, Département d'informatique, UQAM, 1 février 2006.
• Oto, un outil générique et extensible pour corriger les travaux de programmation, G. Tremblay et F. Guérin, École Supérieure d'Ingénierie Léonard de Vinci (ESILV), Paris, France, 14 décembre 2005.
• Une introduction à la vérification de modèles, G. Tremblay, Séminaire du doctorat en informatique cognitive, dépt. d'informatique, UQAM, 16 octobre 2003.
• Application de la distance d'édition à la correction de dictées musicales, F. Champagne et G. Tremblay, Séminaire du dépt. d'informatique, UQAM, 3 octobre 2003.
• OCETJ : un outil d'aide à la correction de programmes Java basé sur JUnit ... et ses implications pour nos cours de base, É. Labonté et G. Tremblay, Séminaire du dépt. d'informatique, UQAM, 2 mai 2003.
• Une introduction aux méthodes formelles, Présentation dans le cadre du cours MGL7260, Dépt. d'informatique, UQAM, 31 mars 2003.
• An introduction to model checking, Dept. of Computing Science, University of Alberta, Edmonton, CA, 3 juillet 2002.
• Une introduction aux méthodes formelles, Présentation dans le cadre du cours MGL7260, Dépt. d'informatique, UQAM, 20 mars 2002.
• Software Design (Guide to the SWEBOK), Cours MIG8500, Dépt. d'informatique, UQAM, 4 février 2002.
• Évolution d'un langage pour la programmation parallèle multi-contextes: Threaded-C, Séminaire du dépt. d'informatique, UQAM, 14 sept. 2001.
• Parallel Programming Models: Where does Threaded-C stand?, Dept. of ECE, University of Delaware, August 16, 2001.
• An introduction to formal methods, Michigan Technological University, February 9, 2001.
• Une introduction aux méthodes formelles, Présentation à l'ÉTS (cours MGL801), 8 novembre 2000.
• Threaded-C: Where is it coming from? Where is it going?, CAPSL Seminar, Dept. of ECE, University of Delaware, February 25, 2000
• Méthodes formelles: Mathématiques, Informatique, ou Génie logiciel?:
  • Institut Francophone d'Informatique, Vietnam, Hanoi, 25 novembre 1999.
  • Département d'informatique, UQAM, 11 septembre 1998.
• Langages fonctionnels non-stricts: De la paresse et de l'indulgence, Séminaire à l'INRIA Rocquencourt, Domaine de Voluceau, France, 16 juillet 1997.
• Machines parallèles à mémoire distribuée: Protocoles de cohérence de caches et modèles de consistence mémoire, Séminaire de télé-informatique, département d'informatique, UQAM, 21 octobre 1996.
• Programmation parallèle et langages fonctionnels: De la paresse à l'indulgence, Séminaire du département d'informatique, UQAM, 15 mars 1996.
• Mise en oeuvre parallèle des langages fonctionnels paresseux: Une approche basée sur la propagation abstraite des demandes, Séminaire du DIRO, Univ. de Montréal, 21 novembre 1995.