Searching for authors named "Eric Madelaine" – sorted by Relevance.
-
Verification Tools from the CONCUR project
- Verification Tools from the CONCUR project Eric Madelaine 1 INRIA Route des Lucioles, Sophia
- Cited by 12 (4 self) – Add To MetaCart
-
Formal Description and Analysis for Distributed Systems
- Formal description and analysis for distributed systems Tomás Barros and Eric Madelaine INRIA
- Add To MetaCart
-
Specification and Verification of a Sliding Window Protocol in LOTOS
- Specification and Verification of a Sliding Window Protocol in LOTOS Eric Madelaine and Didier
- Cited by 4 (1 self) – Add To MetaCart
-
Parameterized models for distributed java objects
- Parameterized Models for Distributed Java Objects Tomás Barros, Rabéa Boulifa, and Eric Madelaine
- Cited by 6 (3 self) – Add To MetaCart
-
Model-Checking Distributed Components: The Vercors Platform
- , Antonio Cansado 2 and Eric Madelaine 2 1 Univ. Diego Portales. Ejército 441, Santiago, Chile 2 INRIA
- Cited by 3 (0 self) – Add To MetaCart
-
Finiteness Conditions and Structural Construction of Automata for All Process Algebras
- Finiteness conditions and structural construction of automata for all process algebras Eric
- Add To MetaCart
-
Parameterized Models for Distributed Java Objects
- Parameterized Models for Distributed Java Objects Tomás Barros, Rabéa Boulifa, and Eric Madelaine
- Add To MetaCart
-
A Front-End Generator for Verification Tools
- AUTOMATIQUE A front-end generator for verification tools Rance W Cleaveland , Eric Madelaine , Steve Sims N
- Cited by 21 (6 self) – Add To MetaCart
-
Christophe Massol
- dans l’entreprise : Eric Madelaine Rapport de stage Outils d’analyse statique et de vérification pour
- Add To MetaCart

