Synthesis of Parallel Programs Invariants. - E. Pascal Gribomont (TAPSOFT, Vol.2, 1985)

Design and Proof of Communicating Sequential Processes. - E. Pascal Gribomont (PARLE (2), 1987)

Proving Systolic Arrays. - E. Pascal Gribomont (CAAP, 1988)

From Synchronous to Asynchronous Communication. - E. Pascal Gribomont (Specification and Verification of Concurrent Systems, 1988)

Stepwise Refinement and Concurrency: A Small Exercise. - E. Pascal Gribomont (MPC, 1989)

Development of Concurrent Programs: An Example. - E. Pascal Gribomont (TAPSOFT, Vol.2, 1989)

A Programming Logic for Formal Concurent Systems. - E. Pascal Gribomont (CONCUR, 1990)

Development of Concurrent Systems by Incremental Transformations. - E. Pascal Gribomont (ESOP, 1990)

Stepwise Refinement and Concurrency: The Finite-State Case. - E. Pascal Gribomont (Sci. Comput. Program., 1990)

Generic Systolic Arrays: A Methodology for Systolic Design. - E. Pascal Gribomont; Vincent Van Dongen (TAPSOFT, 1993)

Concurrency Without Toil: A Systematics Method for Parallel Program Design. - E. Pascal Gribomont (Sci. Comput. Program., 1993)

Reactive Variables for System Specification and Design. - E. Pascal Gribomont; Jacques Hagelstein (STACS, 1994)

CAVEAT: Technique and Tool for Computer Aided VErification And Transformation. - E. Pascal Gribomont; Didier Rossetto (CAV, 1995)

Preprocessing for Invariant Validation. - E. Pascal Gribomont (AMAST, 1996)

Atomicity Refinement and Trace Reduction Theorems. - E. Pascal Gribomont (CAV, 1996)

Automated Verification of Szymanski's Algorithm. - E. Pascal Gribomont; Guy Zenner (TACAS, 1998)

System Description: Using OBDD's for the validation of Skolem verification conditions. - E. Pascal Gribomont; Nachaat Salloum (CADE, 1999)

Simplification of boolean verification conditions. - E. Pascal Gribomont (Theor. Comput. Sci., 2000)

Using BDDs with Combinations of Theories. - Pascal Fontaine; E. Pascal Gribomont (LPAR, 2002)

Decidability of Invariant Validation for Paramaterized Systems. - Pascal Fontaine; E. Pascal Gribomont (TACAS, 2003)

Combining Non-stably Infinite, Non-first Order Theories. - Pascal Fontaine; E. Pascal Gribomont (D/PDPAR@IJCAR, 2004)

Algorithms for Relevant Logic. - Paul Gochet; E. Pascal Gribomont; Didier Rossetto (Logic, Thought and Action, 2005)

Epistemic logic. - Paul Gochet; E. Pascal Gribomont (Logic and the Modalities in the Twentieth Century, 2006)