Hubert Garavel

According to our database1, Hubert Garavel
  • authored at least 50 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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.
T. Petri Nets and Other Models of Concurrency, 2016

2015
Revisiting sequential composition in process calculi.
J. Log. Algebr. Meth. Program., 2015

Compositional verification of asynchronous concurrent systems using CADP.
Acta Inf., 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.
STTT, 2013

Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids.
Electr. Notes Theor. Comput. Sci., 2013

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

Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular.
Electr. Notes Theor. Comput. Sci., 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.
STTT, 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

State Space Reduction for Process Algebra Specifications.
Proceedings of the Algebraic Methodology and Software Technology, 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.
Electr. Notes Theor. Comput. Sci., 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.
STTT, 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 PowerScaleTM 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.
Computer Networks and ISDN Systems, 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...