| 2008 |
|---|
| 15 | EE | Nicolas Desnos,
Marianne Huchard,
Guy Tremblay,
Christelle Urtado,
Sylvain Vauttier:
Search-based many-to-one component substitution.
Journal of Software Maintenance 20(5): 321-344 (2008) |
| 14 | EE | Guy Tremblay,
F. Guérin,
A. Pons,
Aziz Salah:
Oto, a generic and extensible tool for marking programming assignments.
Softw., Pract. Exper. 38(3): 307-333 (2008) |
| 2007 |
|---|
| 13 | EE | Nicolas Desnos,
Marianne Huchard,
Christelle Urtado,
Sylvain Vauttier,
Guy Tremblay:
Automated and Unanticipated Flexible Component Substitution.
CBSE 2007: 33-48 |
| 12 | EE | Guy Tremblay,
Bruno Malenfant,
Aziz Salah,
Pablo Zentilli:
Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus.
ITiCSE 2007: 176-180 |
| 11 | EE | Guy Tremblay,
Louise Laforest,
Aziz Salah:
Extending a marking tool with simple support for testing.
ITiCSE 2007: 313 |
| 2006 |
|---|
| 10 | EE | Hafedh Mili,
Mohand Frendi,
Guitta Bou Jaoude,
Louis Martin,
Guy Tremblay:
Classifying Business Processes for Domain Engineering.
ICTAI 2006: 397-406 |
| 2003 |
|---|
| 9 | EE | Guy Tremblay,
C. J. Morrone,
José Nelson Amaral,
Guang R. Gao:
Implementation of the EARTH programming model on SMP clusters: a multi-threaded language and runtime system.
Concurrency and Computation: Practice and Experience 15(9): 821-844 (2003) |
| 2002 |
|---|
| 8 | | Charles Wallace,
Guy Tremblay,
José Nelson Amaral:
On the Tamability of the Location Consistency Memory Model.
PDPTA 2002: 1542-1550 |
| 7 | EE | Guy Tremblay:
Évolution d'un langage pour la programmation parallèle multicontexte : Threaded-C.
Technique et Science Informatiques 21(5): 605-634 (2002) |
| 2001 |
|---|
| 6 | EE | Charles Wallace,
Guy Tremblay,
José Nelson Amaral:
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol.
J. UCS 7(11): 1088-1112 (2001) |
| 2000 |
|---|
| 5 | EE | Guy Tremblay:
Formal Methods: Mathematics, Computer Science, or Software Engineering?
CSEE&T 2000: 273-282 |
| 4 | | Guy Tremblay,
Bruno Malenfant:
Lenient evaluation and parallelism.
Comput. Lang. 26(1): 27-41 (2000) |
| 3 | | Guy Tremblay:
Lenient evaluation is neither strict nor lazy.
Comput. Lang. 26(1): 43-66 (2000) |
| 1999 |
|---|
| 2 | EE | Guy Tremblay:
Exercises for teaching logic in a formal methods course: formalizing ERDs.
SIGCSE 1999: 100-104 |
| 1998 |
|---|
| 1 | EE | Guy Tremblay:
An undergraduate course in formal methods: "description is our business".
SIGCSE 1998: 166-170 |
