E. Pascal Gribomont

According to our database, E. Pascal Gribomont authored at least 23 papers between 1985 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Epistemic logic.

Paul Gochet, E. Pascal Gribomont

Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

2005

Algorithms for Relevant Logic.

Paul Gochet, E. Pascal Gribomont, Didier Rossetto

Proceedings of the Logic, Thought and Action, 2005

2004

Combining Non-stably Infinite, Non-first Order Theories.

Pascal Fontaine, E. Pascal Gribomont

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

2003

Decidability of Invariant Validation for Paramaterized Systems.

Pascal Fontaine, E. Pascal Gribomont

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

Using BDDs with Combinations of Theories.

Pascal Fontaine, E. Pascal Gribomont

Proceedings of the Logic for Programming, 2002

2000

Simplification of boolean verification conditions.

E. Pascal Gribomont

Theor. Comput. Sci., 2000

1999

System Description: Using OBDD's for the validation of Skolem verification conditions.

E. Pascal Gribomont, Nachaat Salloum

Proceedings of the Automated Deduction, 1999

1998

Automated Verification of Szymanski's Algorithm.

E. Pascal Gribomont, Guy Zenner

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1996

Atomicity Refinement and Trace Reduction Theorems.

E. Pascal Gribomont

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Preprocessing for Invariant Validation.

E. Pascal Gribomont

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

CAVEAT: Technique and Tool for Computer Aided VErification And Transformation.

E. Pascal Gribomont, Didier Rossetto

Proceedings of the Computer Aided Verification, 1995

1994

Reactive Variables for System Specification and Design.

E. Pascal Gribomont, Jacques Hagelstein

Proceedings of the STACS 94, 1994

1993

Concurrency Without Toil: A Systematics Method for Parallel Program Design.

E. Pascal Gribomont

Sci. Comput. Program., 1993

Generic Systolic Arrays: A Methodology for Systolic Design.

E. Pascal Gribomont, Vincent Van Dongen

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1990

Stepwise Refinement and Concurrency: The Finite-State Case.

E. Pascal Gribomont

Sci. Comput. Program., 1990

Development of Concurrent Systems by Incremental Transformations.

E. Pascal Gribomont

Proceedings of the ESOP'90, 1990

A Programming Logic for Formal Concurent Systems.

E. Pascal Gribomont

Proceedings of the CONCUR '90, 1990

1989

Development of Concurrent Programs: An Example.

E. Pascal Gribomont

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Stepwise Refinement and Concurrency: A Small Exercise.

E. Pascal Gribomont

Proceedings of the Mathematics of Program Construction, 1989

1988

From Synchronous to Asynchronous Communication.

E. Pascal Gribomont

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

Proving Systolic Arrays.

E. Pascal Gribomont

Proceedings of the CAAP '88, 1988

1987

Design and Proof of Communicating Sequential Processes.

E. Pascal Gribomont

Proceedings of the PARLE, 1987

1985

Synthesis of Parallel Programs Invariants.

E. Pascal Gribomont

Proceedings of the Mathematical Foundations of Software Development, 1985