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