E. Pascal Gribomont

Publication Activity (10 Years)

Years Active: 1985-2005
Publications (10 Years): 0

Publications

Pascal Fontaine, E. Pascal Gribomont
Combining Non-stably Infinite, Non-first Order Theories. Electron. Notes Theor. Comput. Sci. 125 (3) (2005)
Pascal Fontaine, E. Pascal Gribomont
Decidability of Invariant Validation for Paramaterized Systems. TACAS (2003)
Pascal Fontaine, E. Pascal Gribomont
Using BDDs with Combinations of Theories. LPAR (2002)
E. Pascal Gribomont
Simplification of boolean verification conditions. Theor. Comput. Sci. 239 (1) (2000)
E. Pascal Gribomont, Nachaat Salloum
System Description: Using OBDD's for the validation of Skolem verification conditions. CADE (1999)
E. Pascal Gribomont, Guy Zenner
Automated Verification of Szymanski's Algorithm. TACAS (1998)
E. Pascal Gribomont
Preprocessing for Invariant Validation. AMAST (1996)
E. Pascal Gribomont
Atomicity Refinement and Trace Reduction Theorems. CAV (1996)
E. Pascal Gribomont, Didier Rossetto
CAVEAT: Technique and Tool for Computer Aided VErification And Transformation. CAV (1995)
E. Pascal Gribomont, Jacques Hagelstein
Reactive Variables for System Specification and Design. STACS (1994)
E. Pascal Gribomont, Vincent Van Dongen
Generic Systolic Arrays: A Methodology for Systolic Design. TAPSOFT (1993)
E. Pascal Gribomont
Concurrency Without Toil: A Systematics Method for Parallel Program Design. Sci. Comput. Program. 21 (1) (1993)
E. Pascal Gribomont
Development of Concurrent Systems by Incremental Transformations. ESOP (1990)
E. Pascal Gribomont
Stepwise Refinement and Concurrency: The Finite-State Case. Sci. Comput. Program. 14 (2-3) (1990)
E. Pascal Gribomont
A Programming Logic for Formal Concurent Systems. CONCUR (1990)
E. Pascal Gribomont
Stepwise Refinement and Concurrency: A Small Exercise. MPC (1989)
E. Pascal Gribomont
Development of Concurrent Programs: An Example. TAPSOFT, Vol.2 (1989)
E. Pascal Gribomont
Proving Systolic Arrays. CAAP (1988)
E. Pascal Gribomont
From Synchronous to Asynchronous Communication. Specification and Verification of Concurrent Systems (1988)
E. Pascal Gribomont
Design and Proof of Communicating Sequential Processes. PARLE (2) (1987)
E. Pascal Gribomont
Synthesis of Parallel Programs Invariants. TAPSOFT, Vol.2 (1985)