On the diversity of asynchronous communication F Chevrou, A Hurault, P Quéinnec
Formal Aspects of Computing 28, 847-879, 2016
27 2016 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 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
14 2019 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 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
12 2022 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 Tailoring UNITY to distributed program design M Charpentier, M Filali, P Mauran, G Padiou, P Quéinnec
International Parallel Processing Symposium, 820-832, 1998
10 1998 Automated verification of asynchronous communicating systems with TLA+ F Chevrou, A Hurault, P Quéinnec
Electronic Communications of the EASST 72, 2015
9 2015 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 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
6 2016 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 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 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
3 2019