The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Guy Tremblay: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Guy Tremblay
    Formal Methods: Mathematics, Computer Science, or Software Engineering? [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2000, pp:273-282 [Conf]
  2. 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]
  3. 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]
  4. Guy Tremblay
    An undergraduate course in formal methods: "description is our business". [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1998, pp:166-170 [Conf]
  5. Guy Tremblay
    Exercises for teaching logic in a formal methods course: formalizing ERDs. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1999, pp:100-104 [Conf]
  6. 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]
  7. Guy Tremblay, Bruno Malenfant
    Lenient evaluation and parallelism. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2000, v:26, n:1, pp:27-41 [Journal]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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.027secs, Finished in 0.027secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002