Rechercher

	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 35 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00191141v3 Rapport Hubert Garavel. Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular [Research Report] RR-6368, INRIA. 2007, pp.16
	inria-00073337v1 Rapport Hubert Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing RR-3352, INRIA. 1998
	hal-00777110v1 Communication dans un congrès Hubert Garavel, Radu Mateescu, Wendelin Serwe. Génération et manipulation d'espaces d'états distribués avec CADP : expériences sur Grid'5000 Conférence en Parallélisme, Architecture et Système ComPAS'2013, Jan 2013, Grenoble, France. 2013
	inria-00189021v1 Communication dans un congrès Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes Werner Damm and Holger Hermanns. Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. 4590, pp.158-163, 2007, Lecture Notes in Computer Science
	hal-01511859v1 Communication dans un congrès Hubert Garavel, Lina Marsso. A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm 2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. 244, pp.129 - 183, 2017, <http://mars-workshop.org/mars2017/>. <10.4204/EPTCS.244.6>
	hal-01511847v1 Communication dans un congrès Hubert Garavel, Wendelin Serwe. The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark 2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. 244, pp.230 - 270, 2017, <http://mars-workshop.org/mars2017/>. <10.4204/EPTCS.244.10>
	hal-00812770v1 Article dans une revue Hubert Garavel, Isabelle Bellin. La fiabilité des systèmes devient un défi majeur Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 3 p
	hal-00667288v1 Document associé à des manifestations scientifiques Hubert Garavel, Frederic Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012
	inria-00072397v1 Rapport Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noël De Palma. Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications [Research Report] RR-4222, INRIA. 2001
	inria-00072396v1 Rapport Hubert Garavel, Frederic Lang. SVL : a Scripting Language for Compositional Verification [Research Report] RR-4223, INRIA. 2001
	inria-00072597v1 Rapport 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 [Research Report] RR-4041, INRIA. 2000
	inria-00072247v1 Rapport Hubert Garavel, Radu Mateescu, Irina Smarandache. Parallel State Space Construction for Model-Checking [Research Report] RR-4341, INRIA. 2001
	inria-00583776v1 Communication dans un congrès Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011, Mar 2011, Saabrucken, Germany. 2011
	hal-00730668v1 Communication dans un congrès Hubert Garavel, Radu Mateescu, Wendelin Serwe. Large-Scale Distributed Verification using CADP: Beyond Clusters to Grids 11th International Workshop on Parallel and Distributed Methods in verifiCation, Sep 2012, London, United Kingdom. 2012
	inria-00532914v1 Communication dans un congrès Nicolas Coste, Hubert Garavel, Holger Hermanns, Frederic Lang, Radu Mateescu et al. Ten Years of Performance Evaluation for Concurrent Systems Using CADP Tiziana Margaria and Bernhard Steffen. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, Oct 2010, Amirandes, Heraclion, Greece. 6416, pp.128-142, 2010
	inria-00388819v1 Communication dans un congrès Hubert Garavel, Damien Thivolle. Verification of GALS Systems by Combining Synchronous Languages and Process Calculi Model Checking Software, Proceedings of the 16th International SPIN Workshop on Model Checking of Software SPIN'2009, Jun 2009, Grenoble, France. 2009, <10.1007/978-3-642-02652-2_20>
	hal-01098360v1 Communication dans un congrès Alexander Graf-Brill, Holger Hermanns, Hubert Garavel. A Model-Based Certification Framework for the EnergyBus Standard Erika Ábrahám; Catuscia Palamidessi. 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. Springer, Lecture Notes in Computer Science, LNCS-8461, pp.84-99, 2014, Formal Techniques for Distributed Objects, Components, and Systems. <10.1007/978-3-662-43613-4_6>
	inria-00199914v1 Communication dans un congrès Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart et al. Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures Special Session at Design, Automation and Test in Europe DATE'08, Mar 2008, (Munich, German Munich, Germany, March 2008, France. 2008
	inria-00408283v1 Communication dans un congrès Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe. Verification of an Industrial SystemC/TLM Model using LOTOS and CADP 7th ACM-IEEE International Conference on Formal Methods and Models for Codesign MEMOCODE'2009, Jul 2009, Cambridge, MA, United States. 2009
	inria-00262442v1 Communication dans un congrès Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel et al. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment ERTS 2008, Jan 2008, Toulouse, France. 2008
	hal-00764932v1 Document associé à des manifestations scientifiques Hubert Garavel, Frederic Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP: A Toolbox for the Construction and Analysis of Distributed Processes FM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France
	inria-00069920v1 Rapport Hubert Garavel, Frederic Lang, Radu Mateescu. An overview of CADP 2001 [Research Report] RT-0254, INRIA. 2001, pp.15
	inria-00071572v1 Rapport Frédéric Tronel, Frederic Lang, Hubert Garavel. Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components RR-5012, INRIA. 2003
	inria-00071919v1 Rapport Hubert Garavel, Frederic Lang. NTIF: A General Symbolic Model for Communicating Sequential Processes with Data [Research Report] RR-4666, INRIA. 2002
	inria-00072096v1 Rapport Hubert Garavel, Holger Hermanns. On Combining Functional Verification and Performance Evaluation using CADP [Research Report] RR-4492, INRIA. 2002
	hal-00715056v1 Article dans une revue Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe. CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes International Journal on Software Tools for Technology Transfer, Springer Verlag, 2013, 15 (2), pp.89-107. <10.1007/s10009-012-0244-z>
	inria-00391024v1 Rapport Jan Stöcker, Frederic Lang, Hubert Garavel. Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format [Research Report] RR-6950, INRIA. 2009, pp.27
	hal-01138749v1 Rapport Hubert Garavel, Frederic Lang, Radu Mateescu. Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version) [Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015
	hal-01142198v1 Communication dans un congrès Hubert Garavel. Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets 36th International Conference on Application and Theory of Petri Nets and Concurrency PETRI NETS'2015, Jun 2015, Brussels, Belgium. 2015, <http://www.ulb.ac.be/di/verif/pn2015acsd2015/index.html>. <10.1007/978-3-319-19488-2_9>
	inria-00381639v1 Communication dans un congrès Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals et al. Présentation des résultats du projet OpenEmbeDD Pierre Bazex and Agusti Canals and Thierry Millan. Neptune, May 2009, Paris, France. Revue Génie Logiciel - AFCET, 2009
	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 35 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Domaine

Laboratoire

Langue

Type de dépôt

Année