2003 |
20 | EE | Pascal Fontaine,
E. Pascal Gribomont:
Decidability of Invariant Validation for Paramaterized Systems.
TACAS 2003: 97-112 |
2002 |
19 | EE | Pascal Fontaine,
E. Pascal Gribomont:
Using BDDs with Combinations of Theories.
LPAR 2002: 190-201 |
2000 |
18 | EE | E. Pascal Gribomont:
Simplification of boolean verification conditions.
Theor. Comput. Sci. 239(1): 165-185 (2000) |
1999 |
17 | EE | E. Pascal Gribomont,
Nachaat Salloum:
System Description: Using OBDD's for the validation of Skolem verification conditions.
CADE 1999: 222-226 |
1998 |
16 | EE | 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 |