BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gribomont:E=_Pascal

Contributed to:

TACAS 20032003
CADE 19991999
TACAS 19981998
CAV 19961996
CAV 19951995
ESOP 19901990
TAPSOFT, Vol.2: CSE 19851985
TAPSOFT, Vol.2: CCIPL 19891989
TAPSOFT CAAP/FASE 19931993

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.