E. Pascal Gribomont

23 papers A* 2A 5B 3Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2006 — ch.
Epistemic logic.
Logic and the Modalities in the Twentieth Century
Paul Gochet, E. Pascal Gribomont
2005 — ch.
Algorithms for Relevant Logic.
Logic, Thought and Action
Paul Gochet, E. Pascal Gribomont, Didier Rossetto
2004 — conf
Combining Non-stably Infinite, Non-first Order Theories.
D/PDPAR@IJCAR
Pascal Fontaine, E. Pascal Gribomont
2003 A conf
Decidability of Invariant Validation for Paramaterized Systems.
TACAS
Pascal Fontaine, E. Pascal Gribomont
2002 B conf
Using BDDs with Combinations of Theories.
LPAR
Pascal Fontaine, E. Pascal Gribomont
2000 J jnl
Simplification of boolean verification conditions.
Theor. Comput. Sci.
E. Pascal Gribomont
1999 A conf
System Description: Using OBDD's for the validation of Skolem verification conditions.
CADE
E. Pascal Gribomont, Nachaat Salloum
1998 A conf
Automated Verification of Szymanski's Algorithm.
TACAS
E. Pascal Gribomont, Guy Zenner
1996 A* conf
Atomicity Refinement and Trace Reduction Theorems.
CAV
E. Pascal Gribomont
1996 — conf
Preprocessing for Invariant Validation.
AMAST
E. Pascal Gribomont
1995 A* conf
CAVEAT: Technique and Tool for Computer Aided VErification And Transformation.
CAV
E. Pascal Gribomont, Didier Rossetto
1994 A conf
Reactive Variables for System Specification and Design.
STACS
E. Pascal Gribomont, Jacques Hagelstein
1993 J jnl
Concurrency Without Toil: A Systematics Method for Parallel Program Design.
Sci. Comput. Program.
E. Pascal Gribomont
1993 — conf
Generic Systolic Arrays: A Methodology for Systolic Design.
TAPSOFT
E. Pascal Gribomont, Vincent Van Dongen
1990 B conf
A Programming Logic for Formal Concurent Systems.
CONCUR
E. Pascal Gribomont
1990 A conf
Development of Concurrent Systems by Incremental Transformations.
ESOP
E. Pascal Gribomont
1990 J jnl
Stepwise Refinement and Concurrency: The Finite-State Case.
Sci. Comput. Program.
E. Pascal Gribomont
1989 — conf
Development of Concurrent Programs: An Example.
TAPSOFT, Vol.2
E. Pascal Gribomont
1989 B conf
Stepwise Refinement and Concurrency: A Small Exercise.
MPC
E. Pascal Gribomont
1988 — conf
From Synchronous to Asynchronous Communication.
Specification and Verification of Concurrent Systems
E. Pascal Gribomont
1988 — conf
Proving Systolic Arrays.
CAAP
E. Pascal Gribomont
1987 — conf
Design and Proof of Communicating Sequential Processes.
PARLE (2)
E. Pascal Gribomont
1985 — conf
Synthesis of Parallel Programs Invariants.
TAPSOFT, Vol.2
E. Pascal Gribomont