Publications of Philippe QUÉINNEC
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
Tasks in modular proofs of concurrent algorithms
Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloud
A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations
Information Systems, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
Logical Methods in Computer Science, 2021, 17 (3), pp.26:1 – 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
A Modular Framework for Verifying Versatile Distributed Systems
Journal of Logic and Algebraic Methods in Programming, 2019, 108, pp.24-46. ⟨10.1016/j.jlamp.2019.05.008⟩
Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault, Meriem Ouederni, Philippe Quéinnec
Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem
International Journal of Intelligent Systems Technologies and Applications, 2016, 15 (2), pp.95–126. ⟨10.1504/IJISTA.2016.076493⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
On the Diversity of Asynchronous Communication
Formal Aspects of Computing, 2016, vol. 28 (n° 5), pp. 847-879. ⟨10.1007/s00165-016-0379-x⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
Automated Verification of Asynchronous Communicating Systems with TLA+
Electronic Communications of the EASST, 2015, 72, pp.1-15. ⟨10.14279/tuj.eceasst.72.1019.1005⟩
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching
In : Concurrency and Computation:Practice and Experience, Wiley, Vol. 25 N. 2, pp. 234-249, February 2013.
URL : http://onlinelibrary.wiley.com/doi/10.1002/cpe.2803/abstract – https://oatao.univ-toulouse.fr/12313/
BibTeXTanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Real Time Behavior of Data in Distributed Embedded Systems
In : SCALABLE COMPUTING : Practice and Experience, Warsaw School of Social Psychology, Vol. 10 N. 3, pp. 229-239, September 2009.
URL : http://queinnec.perso.enseeiht.fr/publis/SCPE09.pdf
BibTeXMichel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Mobility : A Case Study
In : Studia Informatica, Vol. special issue, pp. 151-166, 1999.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The observation : an abstract communication mechanism
In : Parallel Processing Letters, World Scientific Publishing Company, ., Vol. 9 N. 3, 1999.
Gérard Padiou, Mamoun Filali, Philippe Quéinnec
Les modèles d’exécution répartie
In : Calculateurs parallèles Réseaux et Systèmes répartis, Hermes, Paris, Vol. 5, N. 10, pp. 477-492, 1998.
Philippe Quéinnec, Gérard Padiou
Diffussion hiérarchisée fiable pour une mémoire répliquée à grande échelle
In : Revue Electronique sur les Réseaux et l’Informatique Répartie, Vol. -, September 1995.
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
A Direct Formal Semantics for BPMN Time-Related Constructs
ENASE 2021 – 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, online, Czech Republic. pp.138-149, ⟨10.5220/0010462901380149⟩
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Derivation of Heard-Of Predicates From Elementary Behavioral Patterns
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149, ⟨10.1007/978-3-030-50086-3_8⟩
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
Tasks in Modular Proofs of Concurrent Algorithms
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
Aurélie Hurault, Philippe Quéinnec
Proving a Non-Blocking Algorithm for Process Renaming with TLA+
13th International Conference on Tests and Proofs (TAP 2019), part of the 3rd World Congress on Formal Methods, Oct 2019, Porto, Portugal. pp.147-166
Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec
A Map of Asynchronous Communication Models
Refinement Workshop, in World Congress on Formal Methods (REFINE 2019), Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1007/978-3-030-54997-8_20⟩
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations
International Conference on Business Process Management (BPM 2019), Sep 2019, Vienna, Austria. pp.52-68, ⟨10.1007/978-3-030-26619-6_6⟩
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Characterizing Asynchronous Message-Passing Models Through Rounds
22nd International Conference on Principles of Distributed Systems (OPODIS 2018), Dec 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2018.0⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
A Modular Framework for Verifying Versatile Distributed Systems
5th International Symposium on Formal Approaches to Parallel and Distributed Systems. (4PAD 2018), part of 16th International Conference on High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France. pp.748-755, ⟨10.1109/HPCS.2018.00121⟩
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Asynchronous Message Orderings Beyond Causality
The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisboa, Portugal. pp.1-20
Nathanael Sensfelder, Aurélie Hurault, Philippe Quéinnec
Inference of Channel Priorities for Asynchronous Communication
14th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. pp.262-269, ⟨10.1007/978-3-319-62410-5_32⟩
Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec
Mechanized Refinement of Communication Models with TLA+
5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), May 2016, Linz, Austria. pp. 312-318
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
Automated Verification of Asynchronous Communicating Systems with TLA+
15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Sep 2015, Edinburgh, Scotland, United Kingdom. pp.135-150
Florent Chevrou, Aurélie Hurault, Philippe Mauran, Meriem Ouederni, Philippe Quéinnec, Xavier Thirioux
La composition de services dans le monde asynchrone Formalisation et vérification en TLA+
14e journees Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39
Philippe Mauran, Philippe Quéinnec, Xavier Thirioux
Teaching Transition Systems and Formal Specifications with TLA+ (regular paper)
In : International Workshop on the TLA+ Method and Tools, Paris, France, 27/08/12, Kent State UNiversity, (electronic medium), August 2012.
URL : http://queinnec.perso.enseeiht.fr/publis/TLA2012.pdf
BibTeXNadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching (regular paper)
In : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2010), Tozeur, Tunisia, 31/05/10-02/06/10, IEEE : Institute of Electrical and Electronics Engineers, pp. 81-88, May 2010.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Temporal Data Matching in Component Based Real Time Systems (short paper)
In : IEEE International Symposium on Industrial Embedded Systems (SIES 2009), Lausanne, Suisse, 08/07/09-10/07/09, IEEE Computer Society, pp. 62-65, July 2009.
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
A Data Oriented Approach for Real-Time Systems (regular paper)
In : International Conference on Real-Time and Network Systems (RTNS 2009), Paris, France, 26/10/09-27/10/09, IEEE Computer Society, pp. 147-158, October 2009.
Tanguy Le Berre, Gérard Padiou, Philippe Quéinnec
Étude du comportement temporel de données réparties
In : FAC, Toulouse, 01/04/09-01/04/09.
Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Bernard Delatte
Using Separability to Enable Time-Consistent Distributed Space Simulation
In : Data Systems In Aerospace (DASIA 2009), Istanbul Turquie, 26/05/09-29/05/09, ESA, pp. 281-284, 2009.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou, Guillaume Véran
Data Consistency in a Component Based Space System
In : Data Systems In Aerospace (DASIA 2009), Istanbul Turquie, 26/05/09-29/05/09, ESA, pp. 277-280, May 2009.
Nadège Pontisso, Gérard Padiou, Philippe Quéinnec
Cohérence temporelle des calculs répartis embarqués
In : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, CNRS, (on line), April 2008.
URL : http://www.cert.fr/feria/svf/FAC/2008/actes.html
BibTeXNadège Pontisso, Gérard Padiou, Philippe Quéinnec
Real time data consistency in component based embedded systems
In : international conference on New technologies in distributed systems – Atelier Cohérence Des Données en Univers Réparti (NOTERE – CDUR 2008), Lyon, 23/06/08, ACM : Association for Computing Machinery, pp. 1-6, June 2008.
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Real Time Behavior of Data in Distributed Embedded Systems
In : International Multiconference on Computer Science and Information Technology, Wisla (Poland), 20/10/08-22/10/08, Polish Information Processing Society, pp. 569-575, October 2008.
Tanguy Le Berre, Philippe Quéinnec, Gérard Padiou
Ensuring Timed Validity of Distributed Real Time Data
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, France, 29/01/08-01/02/08, SIA/3AF/SEE, (on line), January 2008.
URL : http://www.sia.fr/dyn/publications_detail.asp?codepublication=R-2008-01-1B05
BibTeXPhilippe Mauran, Philippe Quéinnec, Gérard Padiou
Separability to help Parallel Simulation of Distributed Computations
In : International Conference On Principles Of Distributed Systems (OPODIS 2007), Guadeloupe, 17/12/07-20/12/07, Hacene Fouchal, Eduardo Tovar, Philippas Tsigas (Eds.), Springer-Verlag, LNCS, pp. 358-371, 2007.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou, Jean Fanchon
A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW
In : Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2006), Montbéliard, France, 15/02/06-17/02/06, IEEE : Institute of Electrical and Electronics Engineers, pp. 316-321, February 2006.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
A Flexible Communication Toolkit for Synchronous Groupware
In : ICMCS 2005 (International Conference on Multimedia Communication Systems, Montreal, 14/08/05-17/08/05, IARIA, pp. 10-15, August 2005.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
Streaming with Causality : A Practical Approach
In : ACM Multimedia 2005, Singapore, 06/11/05-11/11/05, Sheridan Printing Company, pp. 10-14, November 2005.
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Maximal group membership in ad hoc networks
In : Sixth International Conference on Parallel Processing and Applied Mathematics, Poznan (Pologne), 11/09/05-14/09/05, LNCS Vol. 3911, Springer-Verlag, pp. 51-58, September 2005.
Gérard Padiou, Michel Charpentier, Philippe Quéinnec
Collaborative Mobile Agents to gather Global Information
In : The 4th IEEE International Symposium on Network Computing and Applications (IEEE NCA05), Cambridge, MA, USA, 27/07/05-29/07/05, IEEE Computer Society, pp. 120-123, July 2005.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
Adaptive multimodal communication for multimedia
In : EUROMEDIA, Toulouse, 11/04/05, EUROSIS-ETI, Ghent University Faculty of Engineering Dept. of Industrial Mgmt. Technologiepark 903 Campus Ardoyen B- 9052 Ghent-Zwijnaarde Belgium, pp. 183-189, April 2005.
Gérard Padiou, Philippe Quéinnec, Philippe Mauran, Cristophe Cubat-Dit Cros
Composants mobiles fondés sur des agents mobiles coopérants
In : Journées Composants, Le Croisic, France, 05/04/05-08/04/05, ASF : Association ACM-SIGOPS de France, pp. 80-86, April 2005.
Romulus Grigoras, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Ordonnancement causal de flux répartis multimédia
In : Journées Formalisation des Activités Concurrentes FAC-2003, TOULOUSE, 12/04/03-13/04/03.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Set based trees for the validation of a diffusing computation reconstruction algorithm
In : 2nd Int’l Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Turku, Finland, 03/06/03-06/06/03, ?, June 2003.
URL : http://www.esil.univ-mrs.fr/~spc/rcs03/rcs03.html
BibTeXMamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Reconstruction of a Mobile Agent Computation and its Validation
In : Int’l Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA2003), NICE, 22/04/03-26/04/03, IEEE, April 2003.
URL : http://www.esil.univ-mrs.fr/~spc/rcs03/papers/filali&al.ps
BibTeXMamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Rejeu d’un calcul d’agents mobiles
In : Journées Formalisation des Activités Concurrentes FAC-2000, TOULOUSE, 26/03/00-27/03/00.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Contrôle d’agents mobiles
In : FAC’2000, Toulouse, 18/05/00-19/05/00, IRIT, pp. 56-70, May 2000.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
Refinement based validation of a distributed termination detection algorithm
In : International Workshop FMPPTA’2000, Cancun, 05/05/00, ., May 2000.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Mobility : A Case Study
In : 3rd Int’l Conf. On Principles Of DIstributed Systems, Hanoi, Vietnam, OPODIS, pp. 151-166, October 1999.
Mamoun Filali, Gérard Padiou, Philippe Quéinnec
Développement d’une spécification formelle en UNITY — Analyse d’un système de contrôle d’accès
In : AFADL98 Approches Formelles dans l’Assistance au Développement de Logiciels, Poitiers, ., pp. 109-120, September 1998.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Tailoring UNITY to distributed program design
In : International workshop on Formal Methods for Parallel Programming : Theory and Applications (FMPPTA’98), ., ., April 1998.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Abstracting Communication to Reason about Distributed Algorithms
In : Proc. of the 10th Intl Workshop on Distributed Algorithms (WDAG’96), –, Springer-Verlag, LNCS 1151, October 1996.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Observer pour Répartir
In : Journées du GDR Programmation, –, -, November 1995.
Philippe Quéinnec, Gérard Padiou
Design of a highly available replicated memory
In : European Research Seminar on Advances in Distributed Systems, –, -, April 1995.
Philippe Quéinnec, Gérard Padiou, Philippe Papaix
Un Serveur Mémoire Réparti
In : Actes des Journées Parallélisme de l’IRIT, Toulouse, .
Philippe Quéinnec, Gérard Padiou
Derivation of fault tolerance properties of distributed algorithms, series “short paper”
In : Thirteenth ACM Symposium on Principles of Distributed Computing (PODC94), Los Angeles, -, August 1994.
Variété de la cohérence dans les systèmes répartis
HDR, Institut National Polytechnique de Toulouse, May 2011.
URL : http://queinnec.perso.enseeiht.fr/publis/hdr-memoire.pdf
BibTeX
Techniques de réplication de données pour les systèmes répartis à grande échelle
Master’s Thesis, Institut National Polytechnique de Toulouse, March 1994.