dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Hubert Garavel (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS 2011: 372-387
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe: Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) 2010: 128-142
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe: Verification of an industrial SystemC/TLM model using LOTOS and CADP. MEMOCODE 2009: 46-55
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Garavel, Gwen Salaün, Wendelin Serwe: On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Sci. Comput. Program. 74(3): 100-127 (2009)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV 2007: 158-163
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Garavel, Wendelin Serwe: State space reduction for process algebra specifications. Theor. Comput. Sci. 351(2): 131-145 (2006)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Garavel, Wendelin Serwe: State Space Reduction for Process Algebra Specifications. AMAST 2004: 164-180

Selection of 7 from 40 records - Hubert Garavel has 54 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page