|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 22 keywords
|
|
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe |
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.  |
TACAS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe |
Ten Years of Performance Evaluation for Concurrent Systems Using CADP. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |
Verification of an industrial SystemC/TLM model using LOTOS and CADP. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Damien Thivolle |
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Stöcker, Frédéric Lang, Hubert Garavel |
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel |
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat |
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni |
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe |
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Wendelin Serwe |
State space reduction for process algebra specifications. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, John Hatcliff |
TACAS 2003 Special Issue - Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, John Hatcliff |
Why you should definitely read this special section. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Wendelin Serwe |
State Space Reduction for Process Algebra Specifications. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu |
Model Checking Genetic Regulatory Networks Using GNA and CADP. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Radu Mateescu |
SEQ.OPEN: A Tool for Efficient Trace-Based Verification. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Oquendo, Brian Warboys, Ronald Morrison, Régis Dindeleux, Ferdinando Gallo, Hubert Garavel, Carmen Occhipinti |
ArchWare: Architecting Evolvable Software. |
EWSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederic Tronel, Frédéric Lang, Hubert Garavel |
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, John Hatcliff (eds.) |
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 |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rance Cleaveland, Hubert Garavel |
Foreword. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Frédéric Lang |
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Holger Hermanns |
On Combining Functional Verification and Performance Evaluation Using CADP. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Frédéric Lang, Radu Mateescu |
Compiler Construction Using LOTOS NT. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert 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 |
2001 |
DBLP DOI BibTeX RDF |
Verification, Formal specification, Testing, Formal methods, Validation, Code generation, Computer architecture, Test generation, Rapid prototyping, Process algebra, Conformance testing, Cache coherency, System level design, Co-design, lotos, Hardware design, Co-simulation, numa, cc-numa |
| 1 | Hubert Garavel, Frédéric Lang |
SVL: A Scripting Language for Compositional Verification. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma |
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. |
DAIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hubert Garavel, Radu Mateescu, Irina M. Smarandache |
Parallel State Space Construction for Model-Checking. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS |
| 1 | Hubert Garavel, Mihaela Sighireanu |
A Graphical Parallel Composition Operator for Process Algebras. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Hubert Garavel |
OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Laurent Mounier |
Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Mihaela Sighireanu |
On the Introduction of Exceptions in E-LOTOS. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu |
CADP - A Protocol Validation and Verification Toolbox. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel |
On the introduction of gate typing in E-LOTOS. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis |
A Toolbox for the Verification of LOTOS Programs. |
ICSE |
1992 |
DBLP DOI BibTeX RDF |
Lotos |
| 1 | Hubert Garavel, Joseph Sifakis |
Compilation and verification of LOTOS specifications. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
| 1 | Hubert Garavel |
Compilation of LOTOS Abstract Data Types. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")