Philippe Mauran

Publication Activity (10 Years)

Years Active: 1993-2016
Publications (10 Years): 1

Top Topics

Parameter Estimation

Accurate Models

Communication Networks

Top Venues

Publications

Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec
Mechanized Refinement of Communication Models with TLA ^+ +. ABZ (2016)
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Real Time Behavior of Data in Distributed Embedded Systems. Scalable Comput. Pract. Exp. 10 (3) (2009)
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Real time behavior of data in distributed embedded systems. IMCSIT (2008)
Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou
Safe Adaptation of Component Coordination. Electron. Notes Theor. Comput. Sci. 189 (2007)
Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Separability to Help Parallel Simulation of Distributed Computations. OPODIS (2007)
Philippe Mauran, Gérard Padiou, Pham Thi Xuan Loc
Supervising Distributed Black Boxes. CBSE (2006)
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Maximal Group Membership in Ad Hoc Networks. PPAM (2005)
Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou
Sûreté de Service des Composants. RIVF (2003)
Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou
Try and Patch: An Approach to Improve the Trust in Software Components. ICEIS (1) (2003)
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Reconstruction of a Mobile Agent Computation and Its Validation. IPDPS (2003)
Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou
Describing Mobile Computations with Path Vectors. OPODIS (2000)
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
Refinement Based Validation of an Algorithm for Detecting Distributed Termination. IPDPS Workshops (2000)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Observation: An Abstract Communication Mechanism. Parallel Process. Lett. 9 (3) (1999)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Migration: A case study. OPODIS (1999)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Tailoring UNITY to Distributed Program Design. IPPS/SPDP Workshops (1998)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Abstracting Communication to Reason about Distributed Algorithms. WDAG (1996)
Mamoun Filali, Philippe Mauran, Gérard Padiou
Unity, as a Tool for Reactive Systems Specification and Derivation. RTS (1993)