Searching for authors named "Mamoun Filali" – sorted by Relevance.
-
Abstracting Communication to Reason about Distributed Algorithms
- Abstracting Communication to Reason about Distributed Algorithms Michel Charpentier, Mamoun Filali
- Cited by 5 (5 self) – Add To MetaCart
-
Agere Systems Inc. Specifications for ORiNOCO World PC
- Maximal group membership in ad hoc networks Mamoun Filali 1 , Valérie Issarny 2 , Philippe Mauran
- Add To MetaCart
-
Describing Mobile Computations with Path Vectors
- COMPUTATIONS WITH PATH VECTORS PHILIPPE QU EINNEC, MAMOUN FILALI, PHILIPPE MAURAN, G ERARD PADIOU ABSTRACT
- Add To MetaCart
-
Formal methods meet domain specific languages
- Formal Methods Meet Domain Specific Languages Jean-Paul Bodeveix 1 , Mamoun Filali 1 , Julia
- Cited by 1 (1 self) – Add To MetaCart
-
Experimenting Acceleration Methods for the Validation of Infinite State Systems
- Mamoun Filali IRIT - Universite Paul Sabatier 118 route de Narbonne F-31062 Toulouse E-mail: fbodeveix
- Cited by 2 (0 self) – Add To MetaCart
-
Vector paths: Modelling and reversing mobile computations
- Vector paths: Modelling and reversing mobile computations Philippe Qu'einnec, Mamoun Filali
- Add To MetaCart
-
A Formalization of the B-Method in Coq and PVS
- A Formalization of the B-Method in Coq and PVS Jean Paul Bodeveix 1 , Mamoun Filali 1 , and C
- Cited by 1 (0 self) – Add To MetaCart
-
Tailoring UNITY to Distributed Program Design
- Tailoring UNITY to Distributed Program Design Michel Charpentier, Mamoun Filali, Philippe Mauran, G
- Cited by 2 (1 self) – Add To MetaCart
-
Modelling and Verifying Mobility: A Case Study
- Modelling and Verifying Mobility : A Case Study Michel Charpentier 1 , Mamoun Filali 2
- Cited by 1 (1 self) – Add To MetaCart
-
Tailoring UNITY to Distributed Program Design
- Tailoring UNITY to Distributed Program Design Michel Charpentier, Mamoun Filali, Philippe Mauran
- Add To MetaCart

