Travelled to:1 × Belgium
1 × Denmark
1 × Italy
1 × Poland
1 × Portugal
1 × USA
Collaborated with:∅ P.Fontaine N.Salloum G.Zenner D.Rossetto V.V.Dongen
Talks about:system (3) transform (2) program (2) develop (2) concurr (2) systol (2) invari (2) verif (2) valid (2) methodolog (1)
Person: E. Pascal Gribomont
DBLP: Gribomont:E=_Pascal
Contributed to:
2003
19991998
19961995
1990
198519891993Wrote 9 papers:
- TACAS-2003-FontaineG #decidability #invariant #validation
- Decidability of Invariant Validation for Paramaterized Systems (PF, EPG), pp. 97–112.
- CADE-1999-GribomontS #using #validation #verification
- System Description: Using OBDD’s for the validation of Skolem verification conditions (EPG, NS), pp. 222–226.
- TACAS-1998-GribomontZ #algorithm #automation #verification
- Automated Verification of Szymanski’s Algorithm (EPG, GZ), pp. 424–438.
- CAV-1996-Gribomont #reduction #refinement #theorem
- Atomicity Refinement and Trace Reduction Theorems (EPG), pp. 311–322.
- CAV-1995-GribomontR #named #verification
- CAVEAT: Technique and Tool for Computer Aided VErification And Transformation (EPG, DR), pp. 70–83.
- ESOP-1990-Gribomont #concurrent #development #incremental
- Development of Concurrent Systems by Incremental Transformations (EPG), pp. 161–176.
- CSE-1985-Gribomont #invariant #parallel #source code #synthesis
- Synthesis of Parallel Programs Invariants (EPG), pp. 325–338.
- CCIPL-1989-Gribomont #concurrent #development #source code
- Development of Concurrent Programs: An Example (EPG), pp. 210–224.
- TAPSOFT-1993-GribomontD #array #design
- Generic Systolic Arrays: A Methodology for Systolic Design (EPG, VVD), pp. 746–761.