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

Hubert Garavel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
35EEJan Stöcker, Frédéric Lang, Hubert Garavel: Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. IFM 2009: 88-102
34EEHubert 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)
2008
33EENicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni: Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. DATE 2008: 88-89
32EEHubert Garavel: Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. Electr. Notes Theor. Comput. Sci. 209: 149-164 (2008)
2007
31EEHubert 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
2006
30EEHubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier: DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. TACAS 2006: 445-449
29EEHubert Garavel, John Hatcliff: Why you should definitely read this special section. STTT 8(1): 1-3 (2006)
28EEHubert Garavel, Wendelin Serwe: State space reduction for process algebra specifications. Theor. Comput. Sci. 351(2): 131-145 (2006)
27EEHubert Garavel, John Hatcliff: TACAS 2003 Special Issue - Preface. Theor. Comput. Sci. 354(2): 169-172 (2006)
2004
26EEHubert Garavel, Wendelin Serwe: State Space Reduction for Process Algebra Specifications. AMAST 2004: 164-180
25EEFlávio Oquendo, Brian Warboys, Ronald Morrison, Régis Dindeleux, Ferdinando Gallo, Hubert Garavel, Carmen Occhipinti: ArchWare: Architecting Evolvable Software. EWSA 2004: 257-271
24EEHubert Garavel, Radu Mateescu: SEQ.OPEN: A Tool for Efficient Trace-Based Verification. SPIN 2004: 151-157
23EEGrégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu: Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN 2004: 158-163
2003
22 Hubert Garavel, John Hatcliff: 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 Springer 2003
21EEFrederic Tronel, Frédéric Lang, Hubert Garavel: Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. FMOODS 2003: 244-260
20EEHubert Garavel, Stefania Gnesi, Ina Schieferdecker: 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. 46(3): 195-196 (2003)
2002
19EEHubert Garavel, Frédéric Lang, Radu Mateescu: Compiler Construction Using LOTOS NT. CC 2002: 9-13
18EEHubert Garavel, Holger Hermanns: On Combining Functional Verification and Performance Evaluation Using CADP. FME 2002: 410-429
17EEHubert Garavel, Frédéric Lang: NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. FORTE 2002: 276-291
16EERance Cleaveland, Hubert Garavel: Foreword. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
2001
15 Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma: Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. DAIS 2001: 229-244
14 Hubert Garavel, Frédéric Lang: SVL: A Scripting Language for Compositional Verification. FORTE 2001: 377-394
13EEHubert Garavel, Radu Mateescu, Irina M. Smarandache: Parallel State Space Construction for Model-Checking. SPIN 2001: 217-234
12EEHubert Garavel, César Viho, Massimo Zendri: System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. STTT 3(3): 314-331 (2001)
1999
11 Hubert Garavel, Mihaela Sighireanu: A Graphical Parallel Composition Operator for Process Algebras. FORTE 1999: 185-202
1998
10EEHubert Garavel: OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing. TACAS 1998: 68-84
1997
9 Hubert Garavel, Laurent Mounier: Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Sci. Comput. Program. 29(1-2): 171-197 (1997)
1996
8 Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu: CADP - A Protocol Validation and Verification Toolbox. CAV 1996: 437-440
7 Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian: Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE 1996: 435-450
6 Hubert Garavel, Mihaela Sighireanu: On the Introduction of Exceptions in E-LOTOS. FORTE 1996: 469-484
1995
5 Hubert Garavel: On the introduction of gate typing in E-LOTOS. PSTV 1995: 283-298
1993
4 B. Algayres, V. Coelho, L. Doldi, Hubert Garavel, Y. Lejeune, C. Rodríguez: VESAR: A Pragmatic Approach to Formal Specification and Verification. Computer Networks and ISDN Systems 25(7): 779-790 (1993)
1992
3EEJean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis: A Toolbox for the Verification of LOTOS Programs. ICSE 1992: 246-259
1990
2 Hubert Garavel, Joseph Sifakis: Compilation and verification of LOTOS specifications. PSTV 1990: 379-394
1989
1 Hubert Garavel: Compilation of LOTOS Abstract Data Types. FORTE 1989: 147-162

Coauthor Index

1B. Algayres [4]
2Grégory Batt [23]
3Damien Bergamini [23] [30]
4Ghassan Chehaibar [7]
5Rance Cleaveland [16]
6V. Coelho [4]
7Manuel Aguilar Cornejo [15]
8Nicolas Coste [33]
9Adrian Curic [30]
10Nicolas Descoubes [30]
11Régis Dindeleux [25]
12L. Doldi [4]
13Jean-Claude Fernandez [3] [8]
14Ferdinando Gallo [25]
15Stefania Gnesi [20]
16John Hatcliff [22] [27] [29]
17Holger Hermanns [18] [33]
18Richard Hersemeule [33]
19Hidde de Jong [23]
20Christophe Joubert [30]
21Alain Kerbrat [8]
22Frédéric Lang [14] [17] [19] [21] [31] [35]
23Y. Lejeune [4]
24Radu Mateescu [8] [13] [15] [19] [23] [24] [30] [31]
25Ronald Morrison [25]
26Laurent Mounier [3] [7] [8] [9]
27Carmen Occhipinti [25]
28Flávio Oquendo [25]
29Noel De Palma [15]
30Anne Rasse [3]
31C. Rodríguez [4]
32Carlos Rodriguez [3]
33Gwen Salaün [34]
34Ina Schieferdecker [20]
35Wendelin Serwe [26] [28] [31] [34]
36Joseph Sifakis [2] [3]
37Mihaela Sighireanu [6] [8] [11]
38Irina M. Smarandache [13]
39Irina Smarandache-Sturm [30]
40Jan Stöcker [35]
41Gilles Stragier [30]
42Nadia Tawbi [7]
43Yvain Thonnart [33]
44Frédéric Tronel (Frederic Tronel) [21]
45César Viho [12]
46Brian Warboys [25]
47Massimo Zendri [12]
48Meriem Zidouni [33]
49Ferruccio Zulian [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)