An undergraduate course in formal methods: "description is our business". - Guy Tremblay (SIGCSE, 1998)

Exercises for teaching logic in a formal methods course: formalizing ERDs. - Guy Tremblay (SIGCSE, 1999)

Lenient evaluation is neither strict nor lazy. - Guy Tremblay (Comput. Lang., 2000)

Lenient evaluation and parallelism. - Guy Tremblay; Bruno Malenfant (Comput. Lang., 2000)

Formal methods: mathematics, computer science or software engineering? - Guy Tremblay (IEEE Trans. Educ., 2000)

An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol. - Charles Wallace 001; Guy Tremblay; José Nelson Amaral (J. Univers. Comput. Sci., 2001)

On the Tamability of the Location Consistency Memory Model. - Charles Wallace 001; Guy Tremblay; José Nelson Amaral (PDPTA, 2002)

Évolution d'un langage pour la programmation parallèle multicontexte : Threaded-C. - Guy Tremblay (Tech. Sci. Informatiques, 2002)

Implementation of the EARTH programming model on SMP clusters: a multi-threaded language and runtime system. - Guy Tremblay; C. J. Morrone; José Nelson Amaral; Guang R. Gao (Concurr. Comput. Pract. Exp., 2003)

Business Process Modeling for Light-Weight Inter-Entreprise System Integration. - Hafedh Mili; François Bédard; Guitta Bou Jaoude; Guy Tremblay (ENTER, 2004)

Classifying Business Processes for Domain Engineering. - Hafedh Mili; Mohand Frendi; Guitta Bou Jaoude; Louis Martin; Guy Tremblay (ICTAI, 2006)

Automated and Unanticipated Flexible Component Substitution. - Nicolas Desnos; Marianne Huchard; Christelle Urtado; Sylvain Vauttier; Guy Tremblay (CBSE, 2007)

Extending a marking tool with simple support for testing. - Guy Tremblay; Louise Laforest; Aziz Salah (ITiCSE, 2007)

Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus. - Guy Tremblay; Bruno Malenfant; Aziz Salah; Pablo Zentilli (ITiCSE, 2007)

Marking musical dictations using the edit distance algorithm. - Guy Tremblay; F. Champagne (Softw. Pract. Exp., 2007)

Extending orchids for intrusion detection in 802.11 wireless networks. - Romdhane Ben Younes; Guy Tremblay; Guy Bégin (NOTERE, 2008)

Search-based many-to-one component substitution. - Nicolas Desnos; Marianne Huchard; Guy Tremblay; Christelle Urtado; Sylvain Vauttier (J. Softw. Maintenance Res. Pract., 2008)

Oto, a generic and extensible tool for marking programming assignments. - Guy Tremblay; F. Guérin; A. Pons; Aziz Salah (Softw. Pract. Exp., 2008)

Business process modeling languages: Sorting through the alphabet soup. - Hafedh Mili; Guy Tremblay; Guitta Bou Jaoude; Eric Lefebvre; Lamia Elabed; Ghizlane El-Boussaidi (ACM Comput. Surv., 2010)

A Cellular Automata Breccia Simulator (CABS) and its application to rounding in hydrothermal breccias. - Martin Lalonde; Guy Tremblay; Michel Jébrak (Comput. Geosci., 2010)

A marking language for the oto assignment marking tool. - Guy Tremblay; Paul Lessard (ITiCSE, 2011)

Interface Expressions Monitoring for BPEL Processes. - Wassim Jendoubi; Guy Tremblay; Aziz Salah (WEBIST, 2011)

Agile Principles as Software Engineering Principles: An Analysis. - Normand Séguin; Guy Tremblay; Houda Bagane (XP, 2012)

Detection of SOA Patterns. - Anthony Demange; Naouel Moha; Guy Tremblay (ICSOC, 2013)

A possibilistic approach to intrusion detection under imperfect logging protocol. - Romdhane Ben Younes; Guy Tremblay (SIN, 2013)

Specification and Detection of SOA Antipatterns in Web Services. - Francis Palma; Naouel Moha; Guy Tremblay; Yann-Gaël Guéhéneuc (ECSA, 2014)

Are RESTful APIs Well-Designed? Detection of their Linguistic (Anti)Patterns. - Francis Palma; Javier Gonzalez-Huerta; Naouel Moha; Yann-Gaël Guéhéneuc; Guy Tremblay (ICSOC, 2015)

PiCo: A Novel Approach to Stream Data Analytics. - Claudia Misale; Maurizio Drocco; Guy Tremblay; Marco Aldinucci (Euro-Par Workshops, 2017)

A Formal Semantics for Data Analytics Pipelines. - Maurizio Drocco; Claudia Misale; Guy Tremblay; Marco Aldinucci (CoRR, 2017)

Semantic Analysis of RESTful APIs for the Detection of Linguistic Patterns and Antipatterns. - Francis Palma; Javier Gonzalez-Huerta; Mohamed Founi; Naouel Moha; Guy Tremblay; Yann-Gaël Guéhéneuc (Int. J. Cooperative Inf. Syst., 2017)

A Comparison of Big Data Frameworks on a Layered Dataflow Model. - Claudia Misale; Maurizio Drocco; Marco Aldinucci; Guy Tremblay (Parallel Process. Lett., 2017)

Using Natural Language Processing for Documentation Assist. - Alexandre Terrasa; Jean Privat; Guy Tremblay (AAAI Workshops, 2018)

PiCo: High-performance data analytics pipelines in modern C++. - Claudia Misale; Maurizio Drocco; Guy Tremblay; Alberto Riccardo Martinelli; Marco Aldinucci (Future Gener. Comput. Syst., 2018)

Languages for Big Data analysis. - Marco Aldinucci; Maurizio Drocco; Claudia Misale; Guy Tremblay (Encyclopedia of Big Data Technologies, 2019)