Philippe Quéinnec

According to our database, Philippe Quéinnec authored at least 36 papers between 1993 and 2023.

Collaborative distances:

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

2023

Tasks in modular proofs of concurrent algorithms.

Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy

Inf. Comput., June, 2023

2022

A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations.

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloul

Inf. Syst., 2022

2021

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Log. Methods Comput. Sci., 2021

A Direct Formal Semantics for BPMN Time-related Constructs.

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

2020

Derivation of Heard-of Predicates from Elementary Behavioral Patterns.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2019

A modular framework for verifying versatile distributed systems.

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

J. Log. Algebraic Methods Program., 2019

Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +.

Aurélie Hurault, Philippe Quéinnec

Proceedings of the Tests and Proofs - 13th International Conference, 2019

A Map of Asynchronous Communication Models.

Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations.

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec

Proceedings of the Business Process Management - 17th International Conference, 2019

2018

Characterizing Asynchronous Message-Passing Models Through Rounds.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017

Asynchronous Message Orderings Beyond Causality.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

Inference of Channel Priorities for Asynchronous Communication.

Nathanaël Sensfelder, Aurélie Hurault, Philippe Quéinnec

Proceedings of the Distributed Computing and Artificial Intelligence, 2017

2016

Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem.

Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault, Meriem Ouederni, Philippe Quéinnec

Int. J. Intell. Syst. Technol. Appl., 2016

On the diversity of asynchronous communication.

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

Formal Aspects Comput., 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

2015

Automated Verification of Asynchronous Communicating Systems with TLA+.

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

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

2013

Analysis of distributed multiperiodic systems to achieve consistent data matching.

Nadège Pontisso, Philippe Quéinnec, Gérard Padiou

Concurr. Comput. Pract. Exp., 2013

2010

Analysis of distributed multi-periodic systems to achieve consistent data matching.

Nadège Pontisso, Philippe Quéinnec, Gérard Padiou

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

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

Temporal data matching in component based real time systems.

Nadège Pontisso, Philippe Quéinnec, Gérard Padiou

Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

2008

Real time data consistency in component based embedded systems.

Nadège Pontisso, Gérard Padiou, Philippe Quéinnec

Proceedings of the 8th international conference on New technologies in distributed systems, 2008

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

A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW.

Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou, Jean Fanchon

Proceedings of the 14th Euromicro International Conference on Parallel, 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

Cooperative Mobile Agents to Gather Global Information.

Michel Charpentier, Gérard Padiou, Philippe Quéinnec

Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

Streaming with causality: a practical approach.

Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou

Proceedings of the 13th ACM International Conference on Multimedia, 2005

A Flexible Communication Toolkit for Synchronous Groupware.

Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou

Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005

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

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

1994

Derivation of Fault Tolerance Properties of Distributed Algorithms.

Philippe Quéinnec, Gérard Padiou

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993

Flight plan management in a distributed air traffic control system.

Philippe Quéinnec, Gérard Padiou

Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993