The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

E. Pascal Gribomont: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. E. Pascal Gribomont
    Preprocessing for Invariant Validation. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:256-270 [Conf]
  2. E. Pascal Gribomont
    Proving Systolic Arrays. [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:185-199 [Conf]
  3. E. Pascal Gribomont, Nachaat Salloum
    System Description: Using OBDD's for the validation of Skolem verification conditions. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:222-226 [Conf]
  4. E. Pascal Gribomont
    Atomicity Refinement and Trace Reduction Theorems. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:311-322 [Conf]
  5. E. Pascal Gribomont, Didier Rossetto
    CAVEAT: Technique and Tool for Computer Aided VErification And Transformation. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:70-83 [Conf]
  6. E. Pascal Gribomont
    A Programming Logic for Formal Concurent Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:298-313 [Conf]
  7. E. Pascal Gribomont
    Development of Concurrent Systems by Incremental Transformations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:161-176 [Conf]
  8. E. Pascal Gribomont
    From Synchronous to Asynchronous Communication. [Citation Graph (0, 0)][DBLP]
    Specification and Verification of Concurrent Systems, 1988, pp:368-383 [Conf]
  9. Pascal Fontaine, E. Pascal Gribomont
    Using BDDs with Combinations of Theories. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:190-201 [Conf]
  10. E. Pascal Gribomont
    Stepwise Refinement and Concurrency: A Small Exercise. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:219-238 [Conf]
  11. E. Pascal Gribomont
    Design and Proof of Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:261-276 [Conf]
  12. E. Pascal Gribomont, Jacques Hagelstein
    Reactive Variables for System Specification and Design. [Citation Graph (0, 0)][DBLP]
    STACS, 1994, pp:275-286 [Conf]
  13. Pascal Fontaine, E. Pascal Gribomont
    Decidability of Invariant Validation for Paramaterized Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:97-112 [Conf]
  14. E. Pascal Gribomont, Guy Zenner
    Automated Verification of Szymanski's Algorithm. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:424-438 [Conf]
  15. E. Pascal Gribomont
    Synthesis of Parallel Programs Invariants. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:325-338 [Conf]
  16. E. Pascal Gribomont
    Development of Concurrent Programs: An Example. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:210-224 [Conf]
  17. E. Pascal Gribomont, Vincent Van Dongen
    Generic Systolic Arrays: A Methodology for Systolic Design. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:746-761 [Conf]
  18. E. Pascal Gribomont
    Stepwise Refinement and Concurrency: The Finite-State Case. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1990, v:14, n:2-3, pp:185-228 [Journal]
  19. E. Pascal Gribomont
    Concurrency Without Toil: A Systematics Method for Parallel Program Design. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:21, n:1, pp:1-56 [Journal]
  20. E. Pascal Gribomont
    Simplification of boolean verification conditions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:239, n:1, pp:165-185 [Journal]

Search in 0.003secs, Finished in 0.004secs
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