Gérard Padiou

39 papers A* 2A 2B 5C 3Misc 1Journal 11Unranked 15

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	Analysis of distributed multiperiodic systems to achieve consistent data matching. Concurr. Comput. Pract. Exp. Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
2010	—	`conf`	Analysis of distributed multi-periodic systems to achieve consistent data matching. NOTERE Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
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
2009	—	`conf`	Temporal data matching in component based real time systems. SIES Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
2008	—	`conf`	Real time behavior of data in distributed embedded systems. IMCSIT Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2008	—	`conf`	Real time data consistency in component based embedded systems. NOTERE Nadège Pontisso, 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	C	`conf`	A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW. PDP Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou, Jean Fanchon
2006	J	`jnl`	Ad Hoc Location Service for Mobile Agents. J. Digit. Inf. Manag. Ibrahim Lokpo, Bi Tra Goore, Christophe Cubat Dit Cros, Gérard Padiou
2006	J	`jnl`	Mise en oeuvre de tests unitaires dans un contexte de programmation eXtrème répartie. ARIMA J. Ibrahim Lokpo, Michel Babri, Gérard Padiou
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	—	`conf`	A Flexible Communication Toolkit for Synchronous Groupware. Systems Communications Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
2005	—	`conf`	Ad hoc location service for mobile agents. SITIS Ibrahim Lokpo, Bi Tra Goore, Gérard Padiou
2005	B	`conf`	Cooperative Mobile Agents to Gather Global Information. NCA Michel Charpentier, Gérard Padiou, Philippe Quéinnec
2005	Misc	`conf`	Maximal Group Membership in Ad Hoc Networks. PPAM Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2005	A*	`conf`	Streaming with causality: a practical approach. ACM Multimedia Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
2004	B	`conf`	Assistance for Supporting XP Test Practices in a Distributed CSCW Environment. XP Ibrahim Lokpo, Michel Babri, Gérard Padiou
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	C	`conf`	Towards the verification of real-time systems in avionics: the Cotre approach. FMICS Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert
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	—	`conf`	Distributed Systems and Algorithms - Introduction. Euro-Par Gérard Padiou, André Schiper
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	J	`jnl`	Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol. Parallel Process. Lett. Michel Charpentier, Gérard Padiou
1998	J	`jnl`	Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof. Parallel Process. Lett. Michel Charpentier, Gérard Padiou
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
1994	A*	`conf`	Derivation of Fault Tolerance Properties of Distributed Algorithms. PODC Philippe Quéinnec, Gérard Padiou
1993	C	`conf`	Flight plan management in a distributed air traffic control system. ISADS Philippe Quéinnec, Gérard Padiou
1993	—	`conf`	Unity, as a Tool for Reactive Systems Specification and Derivation. RTS Mamoun Filali, Philippe Mauran, Gérard Padiou
1992	J	`jnl`	Reusability in the Occam Language. Struct. Program. Bamba Ibrahim Lokpo, Gérard Padiou
1990	J	`jnl`	Nested Coroutines for Exception Handling in Modula-2. Struct. Program. Gérard Padiou
1989	J	`jnl`	The use of Modula-2 for implementing a distributed kernel. Softw. Eng. J. F. Bichon, Mamoun Filali, Gérard Padiou, R. Smith
1985	A	`conf`	Distributed Control Through Task Migration via Abstract Networks. ICDCS Claude Bétourné, Mamoun Filali, Gérard Padiou, A. Sayah
1981	J	`jnl`	An operating system course project. ACM SIGCSE Bull. J. M. LaGarde, G. Olivier, Gérard Padiou