E. Pascal Gribomont

Affiliations:
  • Université de Liège, Belgium


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2006
Epistemic logic.
Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

2005
Algorithms for Relevant Logic.
Proceedings of the Logic, Thought and Action, 2005

2004
Combining Non-stably Infinite, Non-first Order Theories.
Proceedings of the Selected Papers from the Workshops on Disproving, 2004

2003
Decidability of Invariant Validation for Paramaterized Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002
Using BDDs with Combinations of Theories.
Proceedings of the Logic for Programming, 2002

2000
Simplification of boolean verification conditions.
Theor. Comput. Sci., 2000

1999
System Description: Using OBDD's for the validation of Skolem verification conditions.
Proceedings of the Automated Deduction, 1999

1998
Automated Verification of Szymanski's Algorithm.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1996
Atomicity Refinement and Trace Reduction Theorems.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Preprocessing for Invariant Validation.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
CAVEAT: Technique and Tool for Computer Aided VErification And Transformation.
Proceedings of the Computer Aided Verification, 1995

1994
Reactive Variables for System Specification and Design.
Proceedings of the STACS 94, 1994

1993
Concurrency Without Toil: A Systematics Method for Parallel Program Design.
Sci. Comput. Program., 1993

Generic Systolic Arrays: A Methodology for Systolic Design.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1990
Stepwise Refinement and Concurrency: The Finite-State Case.
Sci. Comput. Program., 1990

Development of Concurrent Systems by Incremental Transformations.
Proceedings of the ESOP'90, 1990

A Programming Logic for Formal Concurent Systems.
Proceedings of the CONCUR '90, 1990

1989
Development of Concurrent Programs: An Example.
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.
Proceedings of the Mathematics of Program Construction, 1989

1988
From Synchronous to Asynchronous Communication.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

Proving Systolic Arrays.
Proceedings of the CAAP '88, 1988

1987
Design and Proof of Communicating Sequential Processes.
Proceedings of the PARLE, 1987

1985
Synthesis of Parallel Programs Invariants.
Proceedings of the Mathematical Foundations of Software Development, 1985


  Loading...