| On the diversity of asynchronous communication F Chevrou, A Hurault, P Quéinnec Formal Aspects of Computing 28, 847-879, 2016 | 27 | 2016 |
| A first-order logic verification framework for communication-parametric and time-aware BPMN collaborations S Houhou, S Baarir, P Poizat, P Quéinnec, L Kahloul Information Systems 104, 101765, 2022 | 16 | 2022 |
| A first-order logic semantics for communication-parametric BPMN collaborations S Houhou, S Baarir, P Poizat, P Quéinnec International Conference on Business Process Management, 52-68, 2019 | 15 | 2019 |
| Analysis of distributed multiperiodic systems to achieve consistent data matching N Pontisso, P Quéinnec, G Padiou Concurrency and Computation: Practice and Experience 25 (2), 234-249, 2013 | 15 | 2013 |
| Flight plan management in a distributed air traffic control system P Queinnec, G Padiou Proceedings ISAD 93: International Symposium on Autonomous Decentralized …, 1993 | 14 | 1993 |
| Streaming with causality: a practical approach C Pleşca, R Grigoraş, P Quéinnec, G Padiou Proceedings of the 13th annual ACM international conference on Multimedia …, 2005 | 10 | 2005 |
| Automated verification of asynchronous communicating systems with TLA+ F Chevrou, A Hurault, P Quéinnec Electronic Communications of the EASST 72, 2015 | 9 | 2015 |
| Tailoring UNITY to distributed program design M Charpentier, M Filali, P Mauran, G Padiou, P Quéinnec International Parallel Processing Symposium, 820-832, 1998 | 9 | 1998 |
| Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem SR Boussalia, A Chaoui, A Hurault, M Ouederni, P Queinnec International Journal of Intelligent Systems Technologies and Applications …, 2016 | 7 | 2016 |
| A coordination-level middleware for supporting flexible consistency in CSCW C Plesca, R Grigoras, P Quéinnec, G Padiou, J Fanchon 14th Euromicro International Conference on Parallel, Distributed, and …, 2006 | 7 | 2006 |
| Refinement based validation of an algorithm for detecting distributed termination M Filali, P Mauran, G Padiou, P Quéinnec, X Thirioux Parallel and Distributed Processing: 15 IPDPS 2000 Workshops Cancun, Mexico …, 2000 | 7 | 2000 |
| The observation: an abstract communication mechanism M Charpentier, M Filali, P Mauran, G Padiou, P Quéinnec Parallel Processing Letters 9 (03), 437-450, 1999 | 7 | 1999 |
| Characterizing asynchronous message-passing models through rounds A Shimi, A Hurault, P Quéinnec arXiv preprint arXiv:1805.01657, 2018 | 6 | 2018 |
| A flexible communication toolkit for synchronous groupware C Plesca, R Grigoras, P Quéinnec, G Padiou 2005 Systems Communications (ICW'05, ICHSN'05, ICMCS'05, SENET'05), 216-221, 2005 | 6 | 2005 |
| Describing Mobile Computations with Path Vectors. P Quéinnec, M Filali, P Mauran, G Padiou OPODIS, 221-234, 2000 | 6 | 2000 |
| Abstracting communication to reason about distributed algorithms M Charpentier, M Filali, P Mauran, G Padiou, P Quéinnec Distributed Algorithms: 10th International Workshop, WDAG'96 Bologna, Italy …, 1996 | 6 | 1996 |
| A modular framework for verifying versatile distributed systems F Chevrou, A Hurault, P Quéinnec Journal of Logical and Algebraic Methods in Programming 108, 24-46, 2019 | 5 | 2019 |
| Cooperative mobile agents to gather global information M Charpentier, G Padiou, P Quéinnec Fourth IEEE International Symposium on Network Computing and Applications …, 2005 | 5 | 2005 |
| Proving a Non-blocking Algorithm for Process Renaming with TLA A Hurault, P Quéinnec Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019 | 4 | 2019 |
| Modelling and Verifying Migration: A case study. M Charpentier, M Filali, P Mauran, G Padiou, P Quéinnec OPODIS, 149-164, 1999 | 4 | 1999 |
