Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

54 résultats
Page :
triés par

Compositional Verification of Asynchronous Concurrent Systems using CADP

 Hubert Garavel , Frédéric Lang , Radu Mateescu
Acta Informatica, 2015, 52 (4), pp.56. ⟨10.1007/s00236-015-0226-1⟩
Article dans une revue hal-01247507v1
Image document

From LOTOS to LNT

 Hubert Garavel , Frédéric Lang , Wendelin Serwe
Joost-Pieter Katoen; Rom Langerak; Arend Rensink. ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 10500, Springer, pp.3-26, 2017, Lecture Notes in Computer Science, 978-3-319-68270-9. ⟨10.1007/978-3-319-68270-9_1⟩
Chapitre d'ouvrage hal-01621670v1
Image document

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

 Hubert Garavel , Frédéric Lang
[Research Report] RR-4666, INRIA. 2002
Rapport inria-00071919v1
Image document

SVL : a Scripting Language for Compositional Verification

 Hubert Garavel , Frédéric Lang
[Research Report] RR-4223, INRIA. 2001
Rapport inria-00072396v1
Image document

Compilation et vérification de programmes LOTOS

 Hubert Garavel
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1989. Français. ⟨NNT : ⟩
Thèse tel-00004339v1
Image document

Présentation des résultats du projet OpenEmbeDD

 Charles André , Mariano Belaunde , Bernard Berthomieu , Christian Brunette , Agusti Canals , et al.
Neptune, May 2009, Paris, France
Communication dans un congrès inria-00381639v1
Image document

Verification of GALS Systems by Combining Synchronous Languages and Process Calculi

 Hubert Garavel , Damien Thivolle
Model Checking Software, Proceedings of the 16th International SPIN Workshop on Model Checking of Software SPIN'2009, Jun 2009, Grenoble, France. ⟨10.1007/978-3-642-02652-2_20⟩
Communication dans un congrès inria-00388819v1
Image document

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, 13560, Springer Nature Switzerland; Springer Nature Switzerland, pp.213-265, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-15629-8_13⟩
Chapitre d'ouvrage hal-03920338v1
Image document

Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm

 Hubert Garavel , Lina Marsso
MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.41 - 87, ⟨10.4204/EPTCS.268.2⟩
Communication dans un congrès hal-01775332v1
Image document

Specification and Verification of various Distributed Leader Election Algorithm for Unidirectional Ring Networks

 Hubert Garavel , Laurent Mounier
[Research Report] RR-2986, INRIA. 1996
Rapport inria-00073712v1
Image document

The VLSAT-2 Benchmark Suite

 Pierre Bouvier , Hubert Garavel
[Technical Report] RT-0514, INRIA Grenoble Rhône-Alpes. 2021, pp.1-8
Rapport hal-03337115v1
Image document

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

 Hubert Garavel
[Research Report] RR-6368, INRIA. 2007, pp.16
Rapport inria-00191141v3
Image document

Reflections on Bernhard Steffen’s Physics of Software Tools

 Hubert Garavel , Radu Mateescu
Models, Mindsets, Meta: The What, the How, and the Why Not?, Springer Verlag, pp.186-207, 2019, ⟨10.1007/978-3-030-22348-9_12⟩
Chapitre d'ouvrage hal-02394588v1

TOOLympics 2019: An Overview of Competitions in Formal Methods

 Ezio Bartocci , Dirk Beyer , Paul Black , Grigory Fedyukovich , Hubert Garavel , et al.
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩
Communication dans un congrès hal-02094030v1
Image document

Is CADP an Applicable Formal Method?

 Hubert Garavel , Frederic Lang , Radu Mateescu , Wendelin Serwe
AppFM 2021 - 1st International Workshop on Applicable Formal Methods, Nov 2021, Bejing, China. ⟨10.48550/arXiv.2111.08203⟩
Communication dans un congrès hal-03485114v1
Image document

OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing

 Hubert Garavel
RR-3352, INRIA. 1998
Rapport inria-00073337v1
Image document

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

 Hubert Garavel , Frédéric Lang , Radu Mateescu , Wendelin Serwe
Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. pp.158-163
Communication dans un congrès inria-00189021v1
Image document

Parallel State Space Construction for Model-Checking

 Hubert Garavel , Radu Mateescu , Irina Smarandache
[Research Report] RR-4341, INRIA. 2001
Rapport inria-00072247v1
Image document

MCC’2017 - The Seventh Model Checking Contest

 Fabrice Kordon , Hubert Garavel , Lom Hillah , Emmanuel Paviot-Adet , Loïg Jezequel , et al.
LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Proceedings/Recueil des communications hal-01917492v1
Image document

Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits

 Aymane Bouzafour , Marc Renaudin , Hubert Garavel , Radu Mateescu , Wendelin Serwe
ASYNC'18 - 24th IEEE International Symposium on Asynchronous Circuits and Systems , May 2018, Vienne, Austria
Communication dans un congrès hal-01777093v1
Image document

A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm

 Hubert Garavel , Lina Marsso
2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. pp.129 - 183, ⟨10.4204/EPTCS.244.6⟩
Communication dans un congrès hal-01511859v1
Image document

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

 Pierre Bouvier , Hubert Garavel , Hernan Ponce de León
PETRI NETS 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France
Communication dans un congrès hal-02875957v1
Image document

Efficient Algorithms for Three Reachability Problems in Safe Petri Nets

 Pierre Bouvier , Hubert Garavel
PETRI NETS 2021 - 42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.339-359, ⟨10.1007/978-3-030-76983-3_17⟩
Communication dans un congrès hal-03286069v1
Image document

Compositional Verification in Action

 Hubert Garavel , Frédéric Lang , Laurent Mounier
FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.189-210, ⟨10.1007/978-3-030-00244-2_13⟩
Communication dans un congrès hal-01890246v1
Image document

Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version)

 Hubert Garavel , Frédéric Lang , Radu Mateescu
[Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015
Rapport hal-01138749v1
Image document

Revisiting sequential composition in process calculi

 Hubert Garavel
Journal of Logical and Algebraic Methods in Programming, 2015, ⟨10.1016/j.jlamp.2015.08.001⟩
Article dans une revue hal-01247770v1
Image document

An overview of CADP 2001

 Hubert Garavel , Frédéric Lang , Radu Mateescu
[Research Report] RT-0254, INRIA. 2001, pp.15
Rapport inria-00069920v1
Image document

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

 Manuel Aguilar Cornejo , Hubert Garavel , Radu Mateescu , Noël de Palma
[Research Report] RR-4222, INRIA. 2001
Rapport inria-00072397v1
Image document

On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADP

 Hubert Garavel , Gwen Salaun , Wendelin Serwe
Science of Computer Programming, 2009
Article dans une revue inria-00381642v1
Image document

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

 Hubert Garavel
36th International Conference on Application and Theory of Petri Nets and Concurrency PETRI NETS'2015, Jun 2015, Brussels, Belgium. ⟨10.1007/978-3-319-19488-2_9⟩
Communication dans un congrès hal-01142198v1
Page :