Skip to Main content Skip to Navigation


...
inria-00442001v1  Conference papers
Tanguy Le BerrePhilippe MauranGérard PadiouPhilippe Quéinnec. A Data Oriented Approach for Real-Time Systems
17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.147-158
...
hal-01343037v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe MauranMeriem OuederniPhilippe Quéinnec et al.  La composition de services dans le monde asynchrone Formalisation et vérification en TLA+
14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39
hal-03165017v1  Conference papers
Zakaria AarabWalid El HaimoutiHamza IdbenouakrimAissam OuinouAyoub Ratbi et al.  Acadoop, a lightweight MapReduce framework for education and prototyping
13th Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2016), Jul 2016, Paris, France. ⟨10.1109/NOTERE.2016.7745829⟩
...
hal-01535944v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe MauranPhilippe Quéinnec. Mechanized Refinement of Communication Models with TLA+
5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), May 2016, Linz, Austria. pp. 312-318
...
inria-00415110v1  Conference papers
M FilaliValérie IssarnyPhilippe MauranGérard PadiouPhilippe Quéinnec. Maximal Group Membership in Ad Hoc Networks
6th International Conference on Parallel Processing and Applied Mathematics : PPAM 2005, 2005, Poznan, Poland. pp.51-58