Searching for authors named "Eric Madelaine" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
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
Showing 1 through 9.
