Philippe Mauran

According to our database, Philippe Mauran authored at least 17 papers between 1993 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Acadoop, a lightweight MapReduce framework for education and prototyping.

Zakaria Aarab, Walid El Haimouti, Hamza Idbenouakrim, Aissam Ouinou, Ayoub Ratbi, Philippe Mauran, Alain Tchana

Proceedings of the 13th International Conference on New Technologies for Distributed Systems, 2016

Mechanized Refinement of Communication Models with TLA ^+ +.

Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2009

Real Time Behavior of Data in Distributed Embedded Systems.

Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Scalable Comput. Pract. Exp., 2009

2007

Separability to Help Parallel Simulation of Distributed Computations.

Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

2006

Safe Adaptation of Component Coordination.

Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou

Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Supervising Distributed Black Boxes.

Philippe Mauran, Gérard Padiou, Pham Thi Xuan Loc

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

Maximal Group Membership in Ad Hoc Networks.

Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Parallel Processing and Applied Mathematics, 2005

2003

Sûreté de Service des Composants.

Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou

Proceedings of the Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, 2003

The Reconstruction of a Mobile Agent Computation and Its Validation.

Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Try and Patch: An Approach to Improve the Trust in Software Components.

Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou

Proceedings of the ICEIS 2003, 2003

2000

Describing Mobile Computations with Path Vectors.

Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou

Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000

Refinement Based Validation of an Algorithm for Detecting Distributed Termination.

Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux

Proceedings of the Parallel and Distributed Processing, 2000

1999

The Observation: An Abstract Communication Mechanism.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Parallel Process. Lett., 1999

Modelling and Verifying Migration: A case study.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, 1999

1998

Tailoring UNITY to Distributed Program Design.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1996

Abstracting Communication to Reason about Distributed Algorithms.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Distributed Algorithms, 10th International Workshop, 1996

1993

Unity, as a Tool for Reactive Systems Specification and Derivation.

Mamoun Filali, Philippe Mauran, Gérard Padiou

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993