Philippe Mauran

18 papers A 1B 3C 1Misc 1Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2016 — conf
Acadoop, a lightweight MapReduce framework for education and prototyping.
NOTERE
Zakaria Aarab, Walid El Haimouti, Hamza Idbenouakrim, Aissam Ouinou, Ayoub Ratbi, Philippe Mauran, Alain Tchana
2016 C conf
Mechanized Refinement of Communication Models with TLA ^+ +.
ABZ
Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec
2009 J jnl
Real Time Behavior of Data in Distributed Embedded Systems.
Scalable Comput. Pract. Exp.
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2008 — conf
Real time behavior of data in distributed embedded systems.
IMCSIT
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2007 B conf
Separability to Help Parallel Simulation of Distributed Computations.
OPODIS
Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2006 — conf
Safe Adaptation of Component Coordination.
WCAT@ECOOP
Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou
2006 — conf
Supervising Distributed Black Boxes.
CBSE
Philippe Mauran, Gérard Padiou, Pham Thi Xuan Loc
2005 Misc conf
Maximal Group Membership in Ad Hoc Networks.
PPAM
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2003 — conf
Sûreté de Service des Composants.
RIVF
Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou
2003 A conf
The Reconstruction of a Mobile Agent Computation and Its Validation.
IPDPS
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2003 — conf
Try and Patch: An Approach to Improve the Trust in Software Components.
ICEIS (1)
Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou
2000 B conf
Describing Mobile Computations with Path Vectors.
OPODIS
Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou
2000 — conf
Refinement Based Validation of an Algorithm for Detecting Distributed Termination.
IPDPS Workshops
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
1999 B conf
Modelling and Verifying Migration: A case study.
OPODIS
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1999 J jnl
The Observation: An Abstract Communication Mechanism.
Parallel Process. Lett.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1998 — conf
Tailoring UNITY to Distributed Program Design.
IPPS/SPDP Workshops
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1996 — conf
Abstracting Communication to Reason about Distributed Algorithms.
WDAG
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1993 — conf
Unity, as a Tool for Reactive Systems Specification and Derivation.
RTS
Mamoun Filali, Philippe Mauran, Gérard Padiou