Publications de 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⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
On the Diversity of Asynchronous Communication
Dans : Formal Aspects of Computing, Springer, Vol. 28 N. 5, p. 847-879, septembre 2016.
Accès : http://queinnec.perso.enseeiht.fr/publis/Formaspects.pdf – https://oatao.univ-toulouse.fr/16963/
BibTeXSerial 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
Dans : International Journal of Intelligent Systems Technologies and Applications, Inderscience Publishers, Vol. 15 N. 2, p. 95-126, 2016.
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
Automated Verification of Asynchronous Communicating Systems with TLA+
Dans : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Numéro spécial Proceedings of the 15th International Workshop on Automated Verification of Critical Systems, Vol. 72, (en ligne), 2015.
Accès : http://journal.ub.tu-berlin.de/eceasst/issue/view/87 – https://oatao.univ-toulouse.fr/16909/
BibTeXNadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching
Dans : Concurrency and Computation:Practice and Experience, Wiley, Vol. 25 N. 2, p. 234-249, février 2013.
Accès : 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
Dans : SCALABLE COMPUTING : Practice and Experience, Warsaw School of Social Psychology, Vol. 10 N. 3, p. 229-239, septembre 2009.
Accès : 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
Dans : Studia Informatica, Vol. special issue, p. 151-166, 1999.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The observation : an abstract communication mechanism
Dans : 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
Dans : Calculateurs parallèles Réseaux et Systèmes répartis, Hermes, Paris, Vol. 5, N. 10, p. 477-492, 1998.
Philippe Quéinnec, Gérard Padiou
Diffussion hiérarchisée fiable pour une mémoire répliquée à grande échelle
Dans : Revue Electronique sur les Réseaux et l’Informatique Répartie, Vol. -, septembre 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+ (regular paper)
Dans : International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), Linz, Austria, 23/05/16-27/05/16, Vol. 9675, Springer, Lecture Notes in Computer Science, p. 312-318, mai 2016.
Accès : http://queinnec.perso.enseeiht.fr/publis/ABZ2016.pdf – https://oatao.univ-toulouse.fr/16917/
BibTeXFlorent Chevrou, Aurélie Hurault, Philippe Quéinnec
Automated Verification of Asynchronous Communicating Systems with TLA+ (regular paper)
Dans : nternational Workshop on Automated Verification of Critical Systems (AVOCS 2015), Edinburgh, Scotland, UK, 01/09/15-04/09/15, Electronic Communications of the EASST, (en ligne), septembre 2015.
Accès : http://journal.ub.tu-berlin.de/eceasst/issue/view/87 – https://oatao.univ-toulouse.fr/16851/
BibTeXFlorent Chevrou, Aurélie Hurault, Philippe Mauran, Meriem Ouederni, Philippe Quéinnec, Xavier Thirioux
La composition de services dans le monde asynchrone Formalisation et v ́erification en TLA+ (short paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2015), Bordeaux, 09/06/15-10/06/15, Frédéric Dadeau, Pascale Le Gall (Eds.), CNRS – GDR GPL, p. 34-39, juin 2015.
Accès : http://events.femto-st.fr/sites/femto-st.fr.afadl-2015/files/content/proceedings/afadl2015.pdf – https://oatao.univ-toulouse.fr/15360/
BibTeXPhilippe Mauran, Philippe Quéinnec, Xavier Thirioux
Teaching Transition Systems and Formal Specifications with TLA+ (regular paper)
Dans : International Workshop on the TLA+ Method and Tools, Paris, France, 27/08/12, Kent State UNiversity, (support électronique), août 2012.
Accès : 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)
Dans : 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, p. 81-88, mai 2010.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Temporal Data Matching in Component Based Real Time Systems (short paper)
Dans : IEEE International Symposium on Industrial Embedded Systems (SIES 2009), Lausanne, Suisse, 08/07/09-10/07/09, IEEE Computer Society, p. 62-65, juillet 2009.
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
A Data Oriented Approach for Real-Time Systems (regular paper)
Dans : International Conference on Real-Time and Network Systems (RTNS 2009), Paris, France, 26/10/09-27/10/09, IEEE Computer Society, p. 147-158, octobre 2009.
Tanguy Le Berre, Gérard Padiou, Philippe Quéinnec
Étude du comportement temporel de données réparties
Dans : 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
Dans : Data Systems In Aerospace (DASIA 2009), Istanbul Turquie, 26/05/09-29/05/09, ESA, p. 281-284, 2009.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou, Guillaume Véran
Data Consistency in a Component Based Space System
Dans : Data Systems In Aerospace (DASIA 2009), Istanbul Turquie, 26/05/09-29/05/09, ESA, p. 277-280, mai 2009.
Nadège Pontisso, Gérard Padiou, Philippe Quéinnec
Cohérence temporelle des calculs répartis embarqués
Dans : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, CNRS, (en ligne), avril 2008.
Accès : 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
Dans : 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, p. 1-6, juin 2008.
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Real Time Behavior of Data in Distributed Embedded Systems
Dans : International Multiconference on Computer Science and Information Technology, Wisla (Poland), 20/10/08-22/10/08, Polish Information Processing Society, p. 569-575, octobre 2008.
Tanguy Le Berre, Philippe Quéinnec, Gérard Padiou
Ensuring Timed Validity of Distributed Real Time Data
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, France, 29/01/08-01/02/08, SIA/3AF/SEE, (en ligne), janvier 2008.
Accès : 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
Dans : 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, p. 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
Dans : 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, p. 316-321, février 2006.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
A Flexible Communication Toolkit for Synchronous Groupware
Dans : ICMCS 2005 (International Conference on Multimedia Communication Systems, Montreal, 14/08/05-17/08/05, IARIA, p. 10-15, août 2005.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
Streaming with Causality : A Practical Approach
Dans : ACM Multimedia 2005, Singapore, 06/11/05-11/11/05, Sheridan Printing Company, p. 10-14, novembre 2005.
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Maximal group membership in ad hoc networks
Dans : Sixth International Conference on Parallel Processing and Applied Mathematics, Poznan (Pologne), 11/09/05-14/09/05, LNCS Vol. 3911, Springer-Verlag, p. 51-58, septembre 2005.
Gérard Padiou, Michel Charpentier, Philippe Quéinnec
Collaborative Mobile Agents to gather Global Information
Dans : The 4th IEEE International Symposium on Network Computing and Applications (IEEE NCA05), Cambridge, MA, USA, 27/07/05-29/07/05, IEEE Computer Society, p. 120-123, juillet 2005.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
Adaptive multimodal communication for multimedia
Dans : 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, p. 183-189, avril 2005.
Gérard Padiou, Philippe Quéinnec, Philippe Mauran, Cristophe Cubat-Dit Cros
Composants mobiles fondés sur des agents mobiles coopérants
Dans : Journées Composants, Le Croisic, France, 05/04/05-08/04/05, ASF : Association ACM-SIGOPS de France, p. 80-86, avril 2005.
Romulus Grigoras, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Ordonnancement causal de flux répartis multimédia
Dans : 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
Dans : 2nd Int’l Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Turku, Finland, 03/06/03-06/06/03, ?, juin 2003.
Accès : 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
Dans : Int’l Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA2003), NICE, 22/04/03-26/04/03, IEEE, avril 2003.
Accès : 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
Dans : 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
Dans : FAC’2000, Toulouse, 18/05/00-19/05/00, IRIT, p. 56-70, mai 2000.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
Refinement based validation of a distributed termination detection algorithm
Dans : International Workshop FMPPTA’2000, Cancun, 05/05/00, ., mai 2000.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Mobility : A Case Study
Dans : 3rd Int’l Conf. On Principles Of DIstributed Systems, Hanoi, Vietnam, OPODIS, p. 151-166, octobre 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
Dans : AFADL98 Approches Formelles dans l’Assistance au Développement de Logiciels, Poitiers, ., p. 109-120, septembre 1998.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Tailoring UNITY to distributed program design
Dans : International workshop on Formal Methods for Parallel Programming : Theory and Applications (FMPPTA’98), ., ., avril 1998.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Abstracting Communication to Reason about Distributed Algorithms
Dans : Proc. of the 10th Intl Workshop on Distributed Algorithms (WDAG’96), –, Springer-Verlag, LNCS 1151, octobre 1996.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Observer pour Répartir
Dans : Journées du GDR Programmation, –, -, novembre 1995.
Philippe Quéinnec, Gérard Padiou
Design of a highly available replicated memory
Dans : European Research Seminar on Advances in Distributed Systems, –, -, avril 1995.
Philippe Quéinnec, Gérard Padiou, Philippe Papaix
Un Serveur Mémoire Réparti
Dans : 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”
Dans : Thirteenth ACM Symposium on Principles of Distributed Computing (PODC94), Los Angeles, -, août 1994.
Variété de la cohérence dans les systèmes répartis
Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse, mai 2011.
Accès : 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
Thèse de doctorat, Institut National Polytechnique de Toulouse, mars 1994.