Compilation of LOTOS Abstract Data Types. - Hubert Garavel (FORTE, 1989)

Compilation et vérification de programmes LOTOS. - Hubert Garavel (1989)

Compilation and verification of LOTOS specifications. - Hubert Garavel; Joseph Sifakis (PSTV, 1990)

A Toolbox for the Verification of LOTOS Programs. - Jean-Claude Fernandez; Hubert Garavel; Laurent Mounier; Anne Rasse; Carlos Rodríguez; Joseph Sifakis (ICSE, 1992)

VESAR: A Pragmatic Approach to Formal Specification and Verification. - Bernard Algayres; Veronigue Coelho; Laurent Doldi; Hubert Garavel; Yves Lejeune; Carlos Rodríguez (Comput. Networks ISDN Syst., 1993)

On the introduction of gate typing in E-LOTOS. - Hubert Garavel (PSTV, 1995)

CADP - A Protocol Validation and Verification Toolbox. - Jean-Claude Fernandez; Hubert Garavel; Alain Kerbrat; Laurent Mounier; Radu Mateescu 001; Mihaela Sighireanu (CAV, 1996)

Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. - Ghassan Chehaibar; Hubert Garavel; Laurent Mounier; Nadia Tawbi; Ferruccio Zulian (FORTE, 1996)

On the Introduction of Exceptions in E-LOTOS. - Hubert Garavel; Mihaela Sighireanu (FORTE, 1996)

Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. - Hubert Garavel; Laurent Mounier (Sci. Comput. Program., 1997)

OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing. - Hubert Garavel (TACAS, 1998)

A Graphical Parallel Composition Operator for Process Algebras. - Hubert Garavel; Mihaela Sighireanu (FORTE, 1999)

Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. - Manuel Aguilar Cornejo; Hubert Garavel; Radu Mateescu 001; Noel De Palma (DAIS, 2001)

SVL: A Scripting Language for Compositional Verification. - Hubert Garavel; Frédéric Lang (FORTE, 2001)

Parallel State Space Construction for Model-Checking. - Hubert Garavel; Radu Mateescu 001; Irina M. Smarandache (SPIN, 2001)

System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. - Hubert Garavel; César Viho; Massimo Zendri (Int. J. Softw. Tools Technol. Transf., 2001)

Compiler Construction Using LOTOS NT. - Hubert Garavel; Frédéric Lang; Radu Mateescu 001 (CC, 2002)

On Combining Functional Verification and Performance Evaluation Using CADP. - Hubert Garavel; Holger Hermanns (FME, 2002)

NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. - Hubert Garavel; Frédéric Lang (FORTE, 2002)

Foreword. - Rance Cleaveland; Hubert Garavel (FMICS, 2002)

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. - Frederic Tronel; Frédéric Lang; Hubert Garavel (FMOODS, 2003)

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. - Hubert Garavel; Stefania Gnesi; Ina Schieferdecker (Sci. Comput. Program., 2003)

ArchWare: Architecting Evolvable Software. - Flávio Oquendo; Brian Warboys; Ronald Morrison; Régis Dindeleux; Ferdinando Gallo; Hubert Garavel; Carmen Occhipinti (EWSA, 2004)

Model Checking Genetic Regulatory Networks Using GNA and CADP. - Grégory Batt; Damien Bergamini; Hidde de Jong; Hubert Garavel; Radu Mateescu 001 (SPIN, 2004)

SEQ.OPEN: A Tool for Efficient Trace-Based Verification. - Hubert Garavel; Radu Mateescu 001 (SPIN, 2004)

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. - Hubert Garavel; Radu Mateescu 001; Damien Bergamini; Adrian Curic; Nicolas Descoubes; Christophe Joubert; Irina Smarandache-Sturm; Gilles Stragier (TACAS, 2006)

Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. - Hubert Garavel (LIX, 2006)

Why you should definitely read this special section. - Hubert Garavel; John Hatcliff (Int. J. Softw. Tools Technol. Transf., 2006)

TACAS 2003 Special Issue - Preface. - Hubert Garavel; John Hatcliff (Theor. Comput. Sci., 2006)

State space reduction for process algebra specifications. - Hubert Garavel; Wendelin Serwe (Theor. Comput. Sci., 2006)

CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. - Hubert Garavel; Radu Mateescu 001; Frédéric Lang; Wendelin Serwe (CAV, 2007)

Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. - Nicolas Coste; Hubert Garavel; Holger Hermanns; Richard Hersemeule; Yvain Thonnart; Meriem Zidouni (DATE, 2008)

Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. - Bernard Berthomieu; Hubert Garavel; Frédéric Lang; François Vernadat 001 (ERCIM News, 2008)

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. - Jan Stöcker; Frédéric Lang; Hubert Garavel (IFM, 2009)

Verification of an industrial SystemC/TLM model using LOTOS and CADP. - Hubert Garavel; Claude Helmstetter; Olivier Ponsini; Wendelin Serwe (MEMOCODE, 2009)

Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. - Hubert Garavel; Damien Thivolle (SPIN, 2009)

On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. - Hubert Garavel; Gwen Salaün; Wendelin Serwe (Sci. Comput. Program., 2009)

Ten Years of Performance Evaluation for Concurrent Systems Using CADP. - Nicolas Coste; Hubert Garavel; Holger Hermanns; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (ISoLA (2), 2010)

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. - Hubert Garavel; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (TACAS, 2011)

Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. - Hubert Garavel; Radu Mateescu 001; Wendelin Serwe (PASM/PDMC, 2012)

CADP 2011: a toolbox for the construction and analysis of distributed processes. - Hubert Garavel; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (Int. J. Softw. Tools Technol. Transf., 2013)

A Model-Based Certification Framework for the EnergyBus Standard. - Alexander Graf-Brill; Holger Hermanns; Hubert Garavel (FORTE, 2014)

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets. - Hubert Garavel (Petri Nets, 2015)

Compositional verification of asynchronous concurrent systems using CADP. - Hubert Garavel; Frédéric Lang; Radu Mateescu 001 (Acta Informatica, 2015)

Revisiting sequential composition in process calculi. - Hubert Garavel (J. Log. Algebraic Methods Program., 2015)

On the Most Suitable Axiomatization of Signed Integers. - Hubert Garavel (WADT, 2016)

MCC'2015 - The Fifth Model Checking Contest. - Fabrice Kordon; Hubert Garavel; Lom-Messan Hillah; Emmanuel Paviot-Adet; Loïg Jezequel; César Rodríguez; Francis Hulin-Hubard (Trans. Petri Nets Other Model. Concurr., 2016)

From LOTOS to LNT. - Hubert Garavel; Frédéric Lang; Wendelin Serwe (ModelEd, TestEd, TrustEd, 2017)

A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. - Hubert Garavel; Lina Marsso (MARS@ETAPS, 2017)

The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. - Hubert Garavel; Wendelin Serwe (MARS@ETAPS, 2017)

Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. - Aymane Bouzafour; Marc Renaudin; Hubert Garavel; Radu Mateescu 001; Wendelin Serwe (ASYNC, 2018)

Reflections on Bernhard Steffen's Physics of Software Tools. - Hubert Garavel; Radu Mateescu 001 (Models, Mindsets, Meta, 2018)

Compositional Verification in Action. - Hubert Garavel; Frédéric Lang; Laurent Mounier (FMICS, 2018)

Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition. - Hubert Garavel; Mohammad-Ali Tabikh; Imad-Seddik Arrada (WRLA@ETAPS, 2018)

Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. - Hubert Garavel; Lina Marsso (MARS/VPT@ETAPS, 2018)

MCC'2017 - The Seventh Model Checking Contest. - 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; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

TOOLympics 2019: An Overview of Competitions in Formal Methods. - Ezio Bartocci; Dirk Beyer 001; Paul E. Black; Grigory Fedyukovich; Hubert Garavel; Arnd Hartmanns; Marieke Huisman; Fabrice Kordon; Julian Nagele; Mihaela Sighireanu; Bernhard Steffen; Martin Suda 001; et al. (TACAS (3), 2019)

The Rewrite Engines Competitions: A RECtrospective. - Francisco Durán 001; Hubert Garavel (TACAS (3), 2019)

Nested-unit Petri nets. - Hubert Garavel (J. Log. Algebraic Methods Program., 2019)

Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. - Pierre Bouvier; Hubert Garavel; Hernán Ponce de León (Petri Nets, 2020)

The 2020 Expert Survey on Formal Methods. - Hubert Garavel; Maurice H. ter Beek; Jaco van de Pol (FMICS, 2020)

The VLSAT-1 Benchmark Suite. - Pierre Bouvier; Hubert Garavel (CoRR, 2020)

Efficient Algorithms for Three Reachability Problems in Safe Petri Nets. - Pierre Bouvier; Hubert Garavel (Petri Nets, 2021)

Proposal for Adding Useful Features to Petri-Net Model Checkers. - Hubert Garavel (CoRR, 2021)

The VLSAT-2 Benchmark Suite. - Pierre Bouvier; Hubert Garavel (CoRR, 2021)

Is CADP an Applicable Formal Method? - Hubert Garavel; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (AppFM@FM, 2021)

Equivalence Checking 40 Years After: A Review of Bisimulation Tools. - Hubert Garavel; Frédéric Lang (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

A Toolchain to Compute Concurrent Places of Petri Nets. - Nicolas Amat; Pierre Bouvier; Hubert Garavel (Trans. Petri Nets Other Model. Concurr., 2023)

Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. - Pierre Bouvier; Hubert Garavel (Petri Nets, 2024)

Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe. - Hubert Garavel; Holger Hermanns; David Parker 001 (Principles of Verification (2), 2024)

Four Formal Models of IEEE 1394 Link Layer. - Hubert Garavel; Bas Luttik (MARS@ETAPS, 2024)

Formal Methods in Industry. - Maurice H. ter Beek; Rod Chapman; Rance Cleaveland; Hubert Garavel; Rong Gu; Ivo ter Horst; Jeroen J. A. Keiren; Thierry Lecomte; Michael Leuschel; Kristin Yvonne Rozier; Augusto Sampaio 001; Cristina Seceleanu; et al. (Formal Aspects Comput., 2025)