Hubert Garavel

78 papers A* 3A 5B 6C 13Journal 21Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Formal Methods in Industry. Formal Aspects Comput. 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, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang
2025	J	`jnl`	Formal Modeling and Verification of the Algorand Consensus Protocol in CADP. CoRR Andrea Esposito, Francesco P. Rossi, Marco Bernardo, Francesco Fabris, Hubert Garavel
2025	—	`conf`	Nondeterminism in Interactive Markov Chains, with Application to the Erlangen Mainframe. Principles of Formal Quantitative Analysis Hubert Garavel, Holger Hermanns
2024	—	`conf`	Four Formal Models of IEEE 1394 Link Layer. MARS Hubert Garavel, Bas Luttik
2024	B	`conf`	Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. Petri Nets Pierre Bouvier, Hubert Garavel
2024	—	`conf`	Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe. Principles of Verification (2) Hubert Garavel, Holger Hermanns, David Parker
2023	J	`jnl`	A Toolchain to Compute Concurrent Places of Petri Nets. Trans. Petri Nets Other Model. Concurr. Nicolas Amat, Pierre Bouvier, Hubert Garavel
2022	—	`conf`	Equivalence Checking 40 Years After: A Review of Bisimulation Tools. A Journey from Process Algebra via Timed Automata to Model Learning Hubert Garavel, Frédéric Lang
2021	B	`conf`	Efficient Algorithms for Three Reachability Problems in Safe Petri Nets. Petri Nets Pierre Bouvier, Hubert Garavel
2021	—	`conf`	Is CADP an Applicable Formal Method? AppFM@FM Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2021	J	`jnl`	Proposal for Adding Useful Features to Petri-Net Model Checkers. CoRR Hubert Garavel
2021	J	`jnl`	The VLSAT-2 Benchmark Suite. CoRR Pierre Bouvier, Hubert Garavel
2020	B	`conf`	Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. Petri Nets Pierre Bouvier, Hubert Garavel, Hernán Ponce de León
2020	—	`ed.`	Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020. MARS Ansgar Fehnker, Hubert Garavel
2020	C	`conf`	The 2020 Expert Survey on Formal Methods. FMICS Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol
2020	J	`jnl`	The VLSAT-1 Benchmark Suite. CoRR Pierre Bouvier, Hubert Garavel
2019	J	`jnl`	Nested-unit Petri nets. J. Log. Algebraic Methods Program. Hubert Garavel
2019	—	`conf`	TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 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
2019	—	`conf`	The Rewrite Engines Competitions: A RECtrospective. TACAS (3) Francisco Durán, Hubert Garavel
2018	—	`conf`	Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition. WRLA Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada
2018	—	`conf`	Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. MARS/VPT Hubert Garavel, Lina Marsso
2018	C	`conf`	Compositional Verification in Action. FMICS Hubert Garavel, Frédéric Lang, Laurent Mounier
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 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
2018	—	`conf`	Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. ASYNC Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe
2018	—	`conf`	Reflections on Bernhard Steffen's Physics of Software Tools. Models, Mindsets, Meta Hubert Garavel, Radu Mateescu
2017	—	`conf`	A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. MARS Hubert Garavel, Lina Marsso
2017	—	`conf`	From LOTOS to LNT. ModelEd, TestEd, TrustEd Hubert Garavel, Frédéric Lang, Wendelin Serwe
2017	—	`conf`	The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. MARS Hubert Garavel, Wendelin Serwe
2016	J	`jnl`	MCC'2015 - The Fifth Model Checking Contest. Trans. Petri Nets Other Model. Concurr. Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
2016	—	`conf`	On the Most Suitable Axiomatization of Signed Integers. WADT Hubert Garavel
2015	J	`jnl`	Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica Hubert Garavel, Frédéric Lang, Radu Mateescu
2015	B	`conf`	Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets. Petri Nets Hubert Garavel
2015	J	`jnl`	Revisiting sequential composition in process calculi. J. Log. Algebraic Methods Program. Hubert Garavel
2014	C	`conf`	A Model-Based Certification Framework for the EnergyBus Standard. FORTE Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
2013	J	`jnl`	CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2012	—	`conf`	Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. PASM/PDMC Hubert Garavel, Radu Mateescu, Wendelin Serwe
2011	A	`conf`	CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2010	—	`conf`	Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2009	J	`jnl`	On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Sci. Comput. Program. Hubert Garavel, Gwen Salaün, Wendelin Serwe
2009	B	`conf`	Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. IFM Jan Stöcker, Frédéric Lang, Hubert Garavel
2009	—	`conf`	Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. SPIN Hubert Garavel, Damien Thivolle
2009	C	`conf`	Verification of an industrial SystemC/TLM model using LOTOS and CADP. MEMOCODE Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe
2008	A	`conf`	Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. DATE Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni
2008	J	`jnl`	Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat
2007	A*	`conf`	CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
2006	A	`conf`	DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. TACAS Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier
2006	—	`conf`	Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. LIX Hubert Garavel
2006	J	`jnl`	State space reduction for process algebra specifications. Theor. Comput. Sci. Hubert Garavel, Wendelin Serwe
2006	J	`jnl`	TACAS 2003 Special Issue - Preface. Theor. Comput. Sci. Hubert Garavel, John Hatcliff
2006	J	`jnl`	Why you should definitely read this special section. Int. J. Softw. Tools Technol. Transf. Hubert Garavel, John Hatcliff
2004	—	`conf`	ArchWare: Architecting Evolvable Software. EWSA Flávio Oquendo, Brian Warboys, Ronald Morrison, Régis Dindeleux, Ferdinando Gallo, Hubert Garavel, Carmen Occhipinti
2004	—	`conf`	Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu
2004	—	`conf`	SEQ.OPEN: A Tool for Efficient Trace-Based Verification. SPIN Hubert Garavel, Radu Mateescu
2004	—	`conf`	State Space Reduction for Process Algebra Specifications. AMAST Hubert Garavel, Wendelin Serwe
2003	—	`conf`	Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. FMOODS Frederic Tronel, Frédéric Lang, Hubert Garavel
2003	J	`jnl`	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. Hubert Garavel, Stefania Gnesi, Ina Schieferdecker
2003	A	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings TACAS Hubert Garavel, John Hatcliff
2002	C	`ed.`	7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002 FMICS Rance Cleaveland, Hubert Garavel
2002	B	`conf`	Compiler Construction Using LOTOS NT. CC Hubert Garavel, Frédéric Lang, Radu Mateescu
2002	C	`conf`	Foreword. FMICS Rance Cleaveland, Hubert Garavel
2002	C	`conf`	NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. FORTE Hubert Garavel, Frédéric Lang
2002	—	`conf`	On Combining Functional Verification and Performance Evaluation Using CADP. FME Hubert Garavel, Holger Hermanns
2001	—	`conf`	Parallel State Space Construction for Model-Checking. SPIN Hubert Garavel, Radu Mateescu, Irina M. Smarandache
2001	C	`conf`	SVL: A Scripting Language for Compositional Verification. FORTE Hubert Garavel, Frédéric Lang
2001	C	`conf`	Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. DAIS Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma
2001	J	`jnl`	System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. Int. J. Softw. Tools Technol. Transf. Hubert Garavel, César Viho, Massimo Zendri
1999	C	`conf`	A Graphical Parallel Composition Operator for Process Algebras. FORTE Hubert Garavel, Mihaela Sighireanu
1998	A	`conf`	OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing. TACAS Hubert Garavel
1997	J	`jnl`	Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Sci. Comput. Program. Hubert Garavel, Laurent Mounier
1996	A*	`conf`	CADP - A Protocol Validation and Verification Toolbox. CAV Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
1996	C	`conf`	On the Introduction of Exceptions in E-LOTOS. FORTE Hubert Garavel, Mihaela Sighireanu
1996	C	`conf`	Specification and Verification of the PowerScale FORTE Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian
1995	—	`conf`	On the introduction of gate typing in E-LOTOS. PSTV Hubert Garavel
1993	J	`jnl`	VESAR: A Pragmatic Approach to Formal Specification and Verification. Comput. Networks ISDN Syst. Bernard Algayres, Veronigue Coelho, Laurent Doldi, Hubert Garavel, Yves Lejeune, Carlos Rodríguez
1992	A*	`conf`	A Toolbox for the Verification of LOTOS Programs. ICSE Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodríguez, Joseph Sifakis
1990	—	`conf`	Compilation and verification of LOTOS specifications. PSTV Hubert Garavel, Joseph Sifakis
1989	—	`—`	Compilation et vérification de programmes LOTOS. Hubert Garavel
1989	C	`conf`	Compilation of LOTOS Abstract Data Types. FORTE Hubert Garavel