E. Pascal Gribomont
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
1989–2003
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | TACAS | Decidability of Invariant Validation for Paramaterized Systems. | Pascal Fontaine, E. Pascal Gribomont |
| 2002 | LPAR | Using BDDs with Combinations of Theories. | Pascal Fontaine, E. Pascal Gribomont |
| 1999 | CADE | System Description: Using OBDD's for the validation of Skolem verification conditions. | E. Pascal Gribomont, Nachaat Salloum |
| 1998 | TACAS | Automated Verification of Szymanski's Algorithm. | E. Pascal Gribomont, Guy Zenner |
| 1996 | CAV | Atomicity Refinement and Trace Reduction Theorems. | E. Pascal Gribomont |
| 1995 | CAV | CAVEAT: Technique and Tool for Computer Aided VErification And Transformation. | E. Pascal Gribomont, Didier Rossetto |
| 1994 | STACS | Reactive Variables for System Specification and Design. | E. Pascal Gribomont, Jacques Hagelstein |
| 1990 | CONCUR | A Programming Logic for Formal Concurent Systems. | E. Pascal Gribomont |
| 1990 | ESOP | Development of Concurrent Systems by Incremental Transformations. | E. Pascal Gribomont |
| 1989 | MPC | Stepwise Refinement and Concurrency: A Small Exercise. | E. Pascal Gribomont |