Hubert Garavel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
12
Active years
1989–2020
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FMICS | The 2020 Expert Survey on Formal Methods. | Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol |
| 2019 | TACAS | 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 |
| 2019 | TACAS | The Rewrite Engines Competitions: A RECtrospective. | Francisco Durn, Hubert Garavel |
| 2018 | FMICS | Compositional Verification in Action. | Hubert Garavel, Frdric Lang, Laurent Mounier |
| 2014 | FORTE | A Model-Based Certification Framework for the EnergyBus Standard. | Alexander Graf-Brill, Holger Hermanns, Hubert Garavel |
| 2011 | TACAS | CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. | Hubert Garavel, Frdric Lang, Radu Mateescu, Wendelin Serwe |
| 2010 | ISoLA | Ten Years of Performance Evaluation for Concurrent Systems Using CADP. | Nicolas Coste, Hubert Garavel, Holger Hermanns, Frdric Lang, Radu Mateescu, Wendelin Serwe |
| 2009 | IFM | Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. | Jan Stcker, Frdric Lang, Hubert Garavel |
| 2009 | MEMOCODE | Verification of an industrial SystemC/TLM model using LOTOS and CADP. | Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |
| 2008 | DATE | Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. | Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni |
| 2007 | CAV | CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. | Hubert Garavel, Radu Mateescu, Frdric Lang, Wendelin Serwe |
| 2006 | TACAS | 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 |
| 2002 | CC | Compiler Construction Using LOTOS NT. | Hubert Garavel, Frdric Lang, Radu Mateescu |
| 2002 | FM | On Combining Functional Verification and Performance Evaluation Using CADP. | Hubert Garavel, Holger Hermanns |
| 2002 | FORTE | NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. | Hubert Garavel, Frdric Lang |
| 2001 | DAIS | Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. | Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma |
| 2001 | FORTE | SVL: A Scripting Language for Compositional Verification. | Hubert Garavel, Frdric Lang |
| 1999 | FORTE | A Graphical Parallel Composition Operator for Process Algebras. | Hubert Garavel, Mihaela Sighireanu |
| 1998 | TACAS | OPEN/CSAR: An OPen Software Architecture for Verification, Simulation, and Testing. | Hubert Garavel |
| 1996 | CAV | CADP - A Protocol Validation and Verification Toolbox. | Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu |
| 1996 | FORTE | Specification and Verification of the PowerScale | Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian |
| 1996 | FORTE | On the Introduction of Exceptions in E-LOTOS. | Hubert Garavel, Mihaela Sighireanu |
| 1992 | ICSE | A Toolbox for the Verification of LOTOS Programs. | Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodrguez, Joseph Sifakis |
| 1989 | FORTE | Compilation of LOTOS Abstract Data Types. | Hubert Garavel |