E. Pascal Gribomont - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2006

Epistemic logicPaul Gochet, E. Pascal Gribomont. In Dov M. Gabbay, John Woods, editors, Logic and the Modalities in the Twentieth Century. Volume 7 of Handbook of the History of Logic, pages 99-195, Elsevier, 2006. [doi]

2005

Combining Non-stably Infinite, Non-first Order TheoriesPascal Fontaine, E. Pascal Gribomont. ENTCS, 125(3):37-51, 2005. [doi]

Algorithms for Relevant LogicPaul Gochet, E. Pascal Gribomont, Didier Rossetto. In Daniel Vanderveken, editor, Logic, Thought and Action. Volume 2 of Logic, Epistemology, and the Unity of Science, pages 479-496, Springer, 2005. [doi]

2003

Decidability of Invariant Validation for Paramaterized SystemsPascal Fontaine, E. Pascal Gribomont. TACAS 2003: 97-112 [doi]

2002

Using BDDs with Combinations of TheoriesPascal Fontaine, E. Pascal Gribomont. lpar 2002: 190-201 [doi]

2000

Simplification of boolean verification conditionsE. Pascal Gribomont. TCS, 239(1):165-185, 2000. [doi]

1999

System Description: Using OBDD s for the validation of Skolem verification conditionsE. Pascal Gribomont, Nachaat Salloum. cade 1999: 222-226 [doi]

1998

Automated Verification of Szymanski s AlgorithmE. Pascal Gribomont, Guy Zenner. TACAS 1998: 424-438 [doi]

1996

Atomicity Refinement and Trace Reduction TheoremsE. Pascal Gribomont. cav 1996: 311-322

Preprocessing for Invariant ValidationE. Pascal Gribomont. amast 1996: 256-270

1995

CAVEAT: Technique and Tool for Computer Aided VErification And TransformationE. Pascal Gribomont, Didier Rossetto. cav 1995: 70-83

1994

Reactive Variables for System Specification and DesignE. Pascal Gribomont, Jacques Hagelstein. STACS 1994: 275-286

1993

Generic Systolic Arrays: A Methodology for Systolic DesignE. Pascal Gribomont, Vincent Van Dongen. tapsoft 1993: 746-761

Concurrency Without Toil: A Systematics Method for Parallel Program DesignE. Pascal Gribomont. SCP, 21(1):1-56, 1993.

1990

A Programming Logic for Formal Concurent SystemsE. Pascal Gribomont. concur 1990: 298-313

Development of Concurrent Systems by Incremental TransformationsE. Pascal Gribomont. ESOP 1990: 161-176

Stepwise Refinement and Concurrency: The Finite-State CaseE. Pascal Gribomont. SCP, 14(2-3):185-228, 1990.

1989

Stepwise Refinement and Concurrency: A Small ExerciseE. Pascal Gribomont. mpc 1989: 219-238

Development of Concurrent Programs: An ExampleE. Pascal Gribomont. tapsoft 1989: 210-224

1988

From Synchronous to Asynchronous CommunicationE. Pascal Gribomont. facs 1990: 368-383

Proving Systolic ArraysE. Pascal Gribomont. caap 1988: 185-199

1987

Design and Proof of Communicating Sequential ProcessesE. Pascal Gribomont. parle 1987: 261-276

1985

Synthesis of Parallel Programs InvariantsE. Pascal Gribomont. tapsoft 1985: 325-338

Sign in or sign up to see more results.

runs on WebDSL