Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from VLDB 2026 / reviewers in the wild / expert

E. Pascal Gribomont

dblp:06/1278 · DBLP profile ↗
← Back
13ranked-venue papers
11as first author
0since 2021 · last 2003
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 8 · 7 first-authorSoftware engineering, systems software and programming languages · 7 · 6 first-authorArtificial intelligence and machine learning · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Program verification · 59% Compilers and program optimization · 32% Program analysis · 10%

Topics — the 3 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Compilers and program optimization › parallel program optimization › synchronization optimization
atomicity refinement		 0.011996
Atomicity Refinement and Trace Reduction Theorems · CAV 1996
Program verification › refinement
refinement proof		 0.011996
Atomicity Refinement and Trace Reduction Theorems · CAV 1996
Program analysis › dynamic analysis › trace analysis
trace reduction		 0.011996
Atomicity Refinement and Trace Reduction Theorems · CAV 1996
YearPublicationVenuePosition
2003 Decidability of Invariant Validation for Paramaterized Systems
Pascal Fontaine, E. Pascal Gribomont
 TACAS2
2002 Using BDDs with Combinations of Theories
Pascal Fontaine, E. Pascal Gribomont
 LPAR2
2000 Simplification of boolean verification conditions
E. Pascal Gribomont
 Theor. Comput. Sci.1
1999 System Description: Using OBDD's for the validation of Skolem verification conditions
E. Pascal Gribomont, Nachaat Salloum
 CADE1
1998 Automated Verification of Szymanski's Algorithm
E. Pascal Gribomont, Guy Zenner
 TACAS1
1996 Atomicity Refinement and Trace Reduction Theorems
E. Pascal Gribomont
 CAV1
1995 CAVEAT: Technique and Tool for Computer Aided VErification And Transformation
E. Pascal Gribomont, Didier Rossetto
 CAV1
1994 Reactive Variables for System Specification and Design
E. Pascal Gribomont, Jacques Hagelstein
 STACS1
1993 Concurrency Without Toil: A Systematics Method for Parallel Program Design
E. Pascal Gribomont
 Sci. Comput. Program.1
1990 A Programming Logic for Formal Concurent Systems
E. Pascal Gribomont
 CONCUR1
1990 Development of Concurrent Systems by Incremental Transformations
E. Pascal Gribomont
 ESOP1
1990 Stepwise Refinement and Concurrency: The Finite-State Case
E. Pascal Gribomont
 Sci. Comput. Program.1
1989 Stepwise Refinement and Concurrency: A Small Exercise
E. Pascal Gribomont
 MPC1