Search the dblp DataBase
Guy Tremblay :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Guy Tremblay Formal Methods: Mathematics, Computer Science, or Software Engineering? [Citation Graph (0, 0)][DBLP ] CSEE&T, 2000, pp:273-282 [Conf ] Hafedh Mili , Mohand Frendi , Guitta Bou Jaoude , Louis Martin , Guy Tremblay Classifying Business Processes for Domain Engineering. [Citation Graph (0, 0)][DBLP ] ICTAI, 2006, pp:397-406 [Conf ] Charles Wallace , Guy Tremblay , José Nelson Amaral On the Tamability of the Location Consistency Memory Model. [Citation Graph (0, 0)][DBLP ] PDPTA, 2002, pp:1542-1550 [Conf ] Guy Tremblay An undergraduate course in formal methods: "description is our business". [Citation Graph (0, 0)][DBLP ] SIGCSE, 1998, pp:166-170 [Conf ] Guy Tremblay Exercises for teaching logic in a formal methods course: formalizing ERDs. [Citation Graph (0, 0)][DBLP ] SIGCSE, 1999, pp:100-104 [Conf ] Guy Tremblay Lenient evaluation is neither strict nor lazy. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 2000, v:26, n:1, pp:43-66 [Journal ] Guy Tremblay , Bruno Malenfant Lenient evaluation and parallelism. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 2000, v:26, n:1, pp:27-41 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Concurrency and Computation: Practice and Experience, 2003, v:15, n:9, pp:821-844 [Journal ] Charles Wallace , Guy Tremblay , José Nelson Amaral An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol. [Citation Graph (0, 0)][DBLP ] J. UCS, 2001, v:7, n:11, pp:1088-1112 [Journal ] Guy Tremblay Évolution d'un langage pour la programmation parallèle multicontexte : Threaded-C. [Citation Graph (0, 0)][DBLP ] Technique et Science Informatiques, 2002, v:21, n:5, pp:605-634 [Journal ] Nicolas Desnos , Marianne Huchard , Christelle Urtado , Sylvain Vauttier , Guy Tremblay Automated and Unanticipated Flexible Component Substitution. [Citation Graph (0, 0)][DBLP ] CBSE, 2007, pp:33-48 [Conf ] Guy Tremblay , Bruno Malenfant , Aziz Salah , Pablo Zentilli Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus. [Citation Graph (0, 0)][DBLP ] ITiCSE, 2007, pp:176-180 [Conf ] Guy Tremblay , Louise Laforest , Aziz Salah Extending a marking tool with simple support for testing. [Citation Graph (0, 0)][DBLP ] ITiCSE, 2007, pp:313- [Conf ] Search in 0.001secs, Finished in 0.002secs