Hubert Garavel

Affiliations:
  • Inria Grenoble - Rhône-Alpes, CONVECS


According to our database1, Hubert Garavel authored at least 68 papers between 1989 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Toolchain to Compute Concurrent Places of Petri Nets.
Trans. Petri Nets Other Model. Concurr., 2023

2022
Equivalence Checking 40 Years After: A Review of Bisimulation Tools.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021
Is CADP an Applicable Formal Method?
Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

The VLSAT-2 Benchmark Suite.
CoRR, 2021

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

Efficient Algorithms for Three Reachability Problems in Safe Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020
The VLSAT-1 Benchmark Suite.
CoRR, 2020

The 2020 Expert Survey on Formal Methods.
Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019
Nested-unit Petri nets.
J. Log. Algebraic Methods Program., 2019

The Rewrite Engines Competitions: A RECtrospective.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
MCC'2017 - The Seventh Model Checking Contest.
Trans. Petri Nets Other Model. Concurr., 2018

Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm.
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.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Compositional Verification in Action.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Reflections on Bernhard Steffen's Physics of Software Tools.
Proceedings of the Models, Mindsets, 2018

Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits.
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.
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.
Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

From LOTOS to LNT.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016
MCC'2015 - The Fifth Model Checking Contest.
Trans. Petri Nets Other Model. Concurr., 2016

On the Most Suitable Axiomatization of Signed Integers.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

2015
Revisiting sequential composition in process calculi.
J. Log. Algebraic Methods Program., 2015

Compositional verification of asynchronous concurrent systems using CADP.
Acta Informatica, 2015

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014
A Model-Based Certification Framework for the EnergyBus Standard.
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.
Int. J. Softw. Tools Technol. Transf., 2013

2012
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids.
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.
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.
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.
Sci. Comput. Program., 2009

Verification of GALS Systems by Combining Synchronous Languages and Process Calculi.
Proceedings of the Model Checking Software, 2009

Verification of an industrial SystemC/TLM model using LOTOS and CADP.
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.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.
ERCIM News, 2008

Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
State space reduction for process algebra specifications.
Theor. Comput. Sci., 2006

TACAS 2003 Special Issue - Preface.
Theor. Comput. Sci., 2006

Why you should definitely read this special section.
Int. J. Softw. Tools Technol. Transf., 2006

Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular.
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2004
SEQ.OPEN: A Tool for Efficient Trace-Based Verification.
Proceedings of the Model Checking Software, 2004

Model Checking Genetic Regulatory Networks Using GNA and CADP.
Proceedings of the Model Checking Software, 2004

ArchWare: Architecting Evolvable Software.
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.
Sci. Comput. Program., 2003

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002
Foreword.
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.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

On Combining Functional Verification and Performance Evaluation Using CADP.
Proceedings of the FME 2002: Formal Methods, 2002

Compiler Construction Using LOTOS NT.
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.
Int. J. Softw. Tools Technol. Transf., 2001

Parallel State Space Construction for Model-Checking.
Proceedings of the Model Checking Software, 2001

SVL: A Scripting Language for Compositional Verification.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications.
Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

1999
A Graphical Parallel Composition Operator for Process Algebras.
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.
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.
Sci. Comput. Program., 1997

1996
On the Introduction of Exceptions in E-LOTOS.
Proceedings of the Formal Description Techniques IX: Theory, 1996

Specification and Verification of the PowerScale<sup>TM</sup> Bus Arbitration Protocol: An Industrial Experiment with LOTOS.
Proceedings of the Formal Description Techniques IX: Theory, 1996

CADP - A Protocol Validation and Verification Toolbox.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
On the introduction of gate typing in E-LOTOS.
Proceedings of the Protocol Specification, 1995

1993
VESAR: A Pragmatic Approach to Formal Specification and Verification.
Comput. Networks ISDN Syst., 1993

1992
A Toolbox for the Verification of LOTOS Programs.
Proceedings of the 14th International Conference on Software Engineering, 1992

1990
Compilation and verification of LOTOS specifications.
Proceedings of the Protocol Specification, 1990

1989
Compilation et vérification de programmes LOTOS.
PhD thesis, 1989

Compilation of LOTOS Abstract Data Types.
Proceedings of the Formal Description Techniques, 1989


  Loading...