Hubert Garavel

According to our database, Hubert Garavel authored at least 70 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Four Formal Models of IEEE 1394 Link Layer.

Hubert Garavel, Bas Luttik

Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024

Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets.

Pierre Bouvier, Hubert Garavel

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

A Toolchain to Compute Concurrent Places of Petri Nets.

Nicolas Amat, Pierre Bouvier, Hubert Garavel

Trans. Petri Nets Other Model. Concurr., 2023

2022

Equivalence Checking 40 Years After: A Review of Bisimulation Tools.

Hubert Garavel, Frédéric Lang

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Is CADP an Applicable Formal Method?

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

The VLSAT-2 Benchmark Suite.

Pierre Bouvier, Hubert Garavel

CoRR, 2021

Proposal for Adding Useful Features to Petri-Net Model Checkers.

Hubert Garavel

CoRR, 2021

Efficient Algorithms for Three Reachability Problems in Safe Petri Nets.

Pierre Bouvier, Hubert Garavel

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

The VLSAT-1 Benchmark Suite.

Pierre Bouvier, Hubert Garavel

CoRR, 2020

The 2020 Expert Survey on Formal Methods.

Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account.

Pierre Bouvier, Hubert Garavel, Hernán Ponce de León

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Nested-unit Petri nets.

Hubert Garavel

J. Log. Algebraic Methods Program., 2019

The Rewrite Engines Competitions: A RECtrospective.

Francisco Durán, Hubert Garavel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018

Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm.

Hubert Garavel, Lina Marsso

Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 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

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Compositional Verification in Action.

Hubert Garavel, Frédéric Lang, Laurent Mounier

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Reflections on Bernhard Steffen's Physics of Software Tools.

Hubert Garavel, Radu Mateescu

Proceedings of the Models, Mindsets, 2018

Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits.

Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe

Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018

2017

The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark.

Hubert Garavel, Wendelin Serwe

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm.

Hubert Garavel, Lina Marsso

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

From LOTOS to LNT.

Hubert Garavel, Frédéric Lang, Wendelin Serwe

Proceedings of the ModelEd, TestEd, TrustEd, 2017

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

On the Most Suitable Axiomatization of Signed Integers.

Hubert Garavel

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

2015

Revisiting sequential composition in process calculi.

Hubert Garavel

J. Log. Algebraic Methods Program., 2015

Compositional verification of asynchronous concurrent systems using CADP.

Hubert Garavel, Frédéric Lang, Radu Mateescu

Acta Informatica, 2015

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.

Hubert Garavel

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

A Model-Based Certification Framework for the EnergyBus Standard.

Alexander Graf-Brill, Holger Hermanns, Hubert Garavel

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

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

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Int. J. Softw. Tools Technol. Transf., 2013

2012

Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids.

Hubert Garavel, Radu Mateescu, Wendelin Serwe

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

2011

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010

Ten Years of Performance Evaluation for Concurrent Systems Using CADP.

Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

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

Verification of GALS Systems by Combining Synchronous Languages and Process Calculi.

Hubert Garavel, Damien Thivolle

Proceedings of the Model Checking Software, 2009

Verification of an industrial SystemC/TLM model using LOTOS and CADP.

Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.

Jan Stöcker, Frédéric Lang, Hubert Garavel

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.

Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat

ERCIM News, 2008

Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures.

Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni

Proceedings of the Design, Automation and Test in Europe, 2008

2007

CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.

Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

State space reduction for process algebra specifications.

Hubert Garavel, Wendelin Serwe

Theor. Comput. Sci., 2006

TACAS 2003 Special Issue - Preface.

Hubert Garavel, John Hatcliff

Theor. Comput. Sci., 2006

Why you should definitely read this special section.

Hubert Garavel, John Hatcliff

Int. J. Softw. Tools Technol. Transf., 2006

Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular.

Hubert Garavel

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.

Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2004

SEQ.OPEN: A Tool for Efficient Trace-Based Verification.

Hubert Garavel, Radu Mateescu

Proceedings of the Model Checking Software, 2004

Model Checking Genetic Regulatory Networks Using GNA and CADP.

Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu

Proceedings of the Model Checking Software, 2004

ArchWare: Architecting Evolvable Software.

Flávio Oquendo, Brian Warboys, Ronald Morrison, Régis Dindeleux, Ferdinando Gallo, Hubert Garavel, Carmen Occhipinti

Proceedings of the Software Architecture, First European Workshop, 2004

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

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.

Frederic Tronel, Frédéric Lang, Hubert Garavel

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002

Foreword.

Rance Cleaveland, Hubert Garavel

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

NTIF: A General Symbolic Model for Communicating Sequential Processes with Data.

Hubert Garavel, Frédéric Lang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

On Combining Functional Verification and Performance Evaluation Using CADP.

Hubert Garavel, Holger Hermanns

Proceedings of the FME 2002: Formal Methods, 2002

Compiler Construction Using LOTOS NT.

Hubert Garavel, Frédéric Lang, Radu Mateescu

Proceedings of the Compiler Construction, 11th International Conference, 2002

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

Parallel State Space Construction for Model-Checking.

Hubert Garavel, Radu Mateescu, Irina M. Smarandache

Proceedings of the Model Checking Software, 2001

SVL: A Scripting Language for Compositional Verification.

Hubert Garavel, Frédéric Lang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications.

Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma

Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

1999

A Graphical Parallel Composition Operator for Process Algebras.

Hubert Garavel, Mihaela Sighireanu

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998

OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing.

Hubert Garavel

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997

Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks.

Hubert Garavel, Laurent Mounier

Sci. Comput. Program., 1997

1996

On the Introduction of Exceptions in E-LOTOS.

Hubert Garavel, Mihaela Sighireanu

Proceedings of the Formal Description Techniques IX: Theory, 1996

Specification and Verification of the PowerScale^TM Bus Arbitration Protocol: An Industrial Experiment with LOTOS.

Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian

Proceedings of the Formal Description Techniques IX: Theory, 1996

CADP - A Protocol Validation and Verification Toolbox.

Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

On the introduction of gate typing in E-LOTOS.

Hubert Garavel

Proceedings of the Protocol Specification, 1995

1993

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

1992

A Toolbox for the Verification of LOTOS Programs.

Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis

Proceedings of the 14th International Conference on Software Engineering, 1992

1990

Compilation and verification of LOTOS specifications.

Hubert Garavel, Joseph Sifakis

Proceedings of the Protocol Specification, 1990

1989

Compilation et vérification de programmes LOTOS.

Hubert Garavel

PhD thesis, 1989

Compilation of LOTOS Abstract Data Types.

Hubert Garavel

Proceedings of the Formal Description Techniques, 1989