Hubert Garavel

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 28

Top Venues

Petri Nets

CoRR

MARS@ETAPS

Trans. Petri Nets Other Model. Concurr.

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Pierre Bouvier, Hubert Garavel
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. Petri Nets (2024)
Hubert Garavel, Bas Luttik
Four Formal Models of IEEE 1394 Link Layer. MARS@ETAPS (2024)
Nicolas Amat, Pierre Bouvier, Hubert Garavel
A Toolchain to Compute Concurrent Places of Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Hubert Garavel, Frédéric Lang
Equivalence Checking 40 Years After: A Review of Bisimulation Tools. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Pierre Bouvier, Hubert Garavel
Efficient Algorithms for Three Reachability Problems in Safe Petri Nets. Petri Nets (2021)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
Is CADP an Applicable Formal Method? AppFM@FM (2021)
Pierre Bouvier, Hubert Garavel
The VLSAT-2 Benchmark Suite. CoRR (2021)
Hubert Garavel
Proposal for Adding Useful Features to Petri-Net Model Checkers. CoRR (2021)
Pierre Bouvier, Hubert Garavel, Hernán Ponce de León
Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. Petri Nets (2020)
Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol
The 2020 Expert Survey on Formal Methods. FMICS (2020)
Pierre Bouvier, Hubert Garavel
The VLSAT-1 Benchmark Suite. CoRR (2020)
Hubert Garavel
Nested-unit Petri nets. J. Log. Algebraic Methods Program. 104 (2019)
Francisco Durán, Hubert Garavel
The Rewrite Engines Competitions: A RECtrospective. TACAS (3) (2019)
Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition. WRLA@ETAPS (2018)
Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe
Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. ASYNC (2018)
Hubert Garavel, Frédéric Lang, Laurent Mounier
Compositional Verification in Action. FMICS (2018)
Hubert Garavel, Radu Mateescu
Reflections on Bernhard Steffen's Physics of Software Tools. Models, Mindsets, Meta (2018)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Hubert Garavel, Lina Marsso
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. MARS/VPT@ETAPS (2018)
Hubert Garavel, Frédéric Lang, Wendelin Serwe
From LOTOS to LNT. ModelEd, TestEd, TrustEd (2017)
Hubert Garavel, Lina Marsso
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. MARS@ETAPS (2017)
Hubert Garavel, Wendelin Serwe
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. MARS@ETAPS (2017)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
MCC'2015 - The Fifth Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Hubert Garavel
On the Most Suitable Axiomatization of Signed Integers. WADT (2016)
Hubert Garavel
Revisiting sequential composition in process calculi. J. Log. Algebraic Methods Program. 84 (6) (2015)
Hubert Garavel, Frédéric Lang, Radu Mateescu
Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica 52 (4-5) (2015)
Hubert Garavel
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets. Petri Nets (2015)
Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
A Model-Based Certification Framework for the EnergyBus Standard. FORTE (2014)
Hubert Garavel, Radu Mateescu, Wendelin Serwe
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. Electron. Notes Theor. Comput. Sci. 296 (2013)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. 15 (2) (2013)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS (2011)
Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) (2010)
Hubert Garavel, Gwen Salaün, Wendelin Serwe
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Sci. Comput. Program. 74 (3) (2009)
Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe
Verification of an industrial SystemC/TLM model using LOTOS and CADP. MEMOCODE (2009)
Jan Stöcker, Frédéric Lang, Hubert Garavel
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. IFM (2009)
Hubert Garavel, Damien Thivolle
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. SPIN (2009)
Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News 2008 (75) (2008)
Hubert Garavel
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. Electron. Notes Theor. Comput. Sci. 209 (2008)
Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. DATE (2008)
Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV (2007)
Hubert Garavel, John Hatcliff
Why you should definitely read this special section. Int. J. Softw. Tools Technol. Transf. 8 (1) (2006)
Hubert Garavel, Wendelin Serwe
State space reduction for process algebra specifications. Theor. Comput. Sci. 351 (2) (2006)
Hubert Garavel, John Hatcliff
TACAS 2003 Special Issue - Preface. Theor. Comput. Sci. 354 (2) (2006)
Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. TACAS (2006)
Flávio Oquendo, Brian Warboys, Ronald Morrison, Régis Dindeleux, Ferdinando Gallo, Hubert Garavel, Carmen Occhipinti
ArchWare: Architecting Evolvable Software. EWSA (2004)
Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu
Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN (2004)
Hubert Garavel, Wendelin Serwe
State Space Reduction for Process Algebra Specifications. AMAST (2004)
Hubert Garavel, Radu Mateescu
SEQ.OPEN: A Tool for Efficient Trace-Based Verification. SPIN (2004)
Hubert Garavel, Stefania Gnesi, Ina Schieferdecker
Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers. Sci. Comput. Program. 46 (3) (2003)
Frederic Tronel, Frédéric Lang, Hubert Garavel
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. FMOODS (2003)
Hubert Garavel, Frédéric Lang
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. FORTE (2002)
Hubert Garavel, Frédéric Lang, Radu Mateescu
Compiler Construction Using LOTOS NT. CC (2002)
Rance Cleaveland, Hubert Garavel
Foreword. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
Hubert Garavel, Holger Hermanns
On Combining Functional Verification and Performance Evaluation Using CADP. FME (2002)
Hubert Garavel, César Viho, Massimo Zendri
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. Int. J. Softw. Tools Technol. Transf. 3 (3) (2001)
Hubert Garavel, Frédéric Lang
SVL: A Scripting Language for Compositional Verification. FORTE (2001)
Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. DAIS (2001)
Hubert Garavel, Radu Mateescu, Irina M. Smarandache
Parallel State Space Construction for Model-Checking. SPIN (2001)
Hubert Garavel, Mihaela Sighireanu
A Graphical Parallel Composition Operator for Process Algebras. FORTE (1999)
Hubert Garavel
OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing. TACAS (1998)
Hubert Garavel, Laurent Mounier
Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Sci. Comput. Program. 29 (1-2) (1997)
Hubert Garavel, Mihaela Sighireanu
On the Introduction of Exceptions in E-LOTOS. FORTE (1996)
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
CADP - A Protocol Validation and Verification Toolbox. CAV (1996)
Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian
Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE (1996)
Hubert Garavel
On the introduction of gate typing in E-LOTOS. PSTV (1995)
Bernard Algayres, Veronigue Coelho, Laurent Doldi, Hubert Garavel, Yves Lejeune, Carlos Rodríguez
VESAR: A Pragmatic Approach to Formal Specification and Verification. Comput. Networks ISDN Syst. 25 (7) (1993)
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis
A Toolbox for the Verification of LOTOS Programs. ICSE (1992)
Hubert Garavel, Joseph Sifakis
Compilation and verification of LOTOS specifications. PSTV (1990)
Hubert Garavel
Compilation of LOTOS Abstract Data Types. FORTE (1989)

Hubert Garavel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hubert Garavel