Hubert Garavel

Statistics

Publications

Citations

1.3K

H-Index

Active since

1989

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria de l'Université Grenoble Alpes

Université Grenoble Alpes

Centre National de la Recherche Scientifique

Laboratoire d'Informatique de Grenoble

Hubert Garavel is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationSystem SoftwareSystems EngineeringProgram AnalysisSoftware AnalysisComputer Engineering

Publications per year

1989–2024

Publications

CADP 2011: a toolbox for the construction and analysis of distributed processes

Hubert Garavel, Frédéric Lang, Radu Mateescu et al. · International Journal on Software Tools for Technology Transfer · 2012 · 271 citations · Full text

Cluster Computing, Engineering, Software Engineering +18

An overview of CADP 2001

Hubert Garavel, Frédéric Lang, Radu Mateescu · 2001 · 151 citations · Full text

Engineering, Industrial Engineering, Digital Manufacturing +28

Parallel state space construction for model-checking

Hubert Garavel, Radu Mateescu, Irina Smarandache · International workshop on Model Checking Software · 2001 · 126 citations

Engineering, Automated Reasoning, Verification +7

Fiacre: an Intermediate Language for Model Verification in the TOPCASED Environment

Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 107 citations · Full text

Compilation and verification of LOTOS specifications

Hubert Garavel, Joseph Sifakis · 1990 · 98 citations

Formal Specification, Engineering, Hardware Verification Language +12

1–5 of 27