Philippe Quéinnec

43 papers A* 2A 2B 7C 5Misc 2Journal 14Unranked 11
YearRankTypeTitle / Venue / Authors
2023 J jnl
Tasks in modular proofs of concurrent algorithms.
Inf. Comput.
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
2022 J jnl
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations.
Inf. Syst.
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloul
2021 B conf
A Direct Formal Semantics for BPMN Time-related Constructs.
ENASE
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
2021 J jnl
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models.
Log. Methods Comput. Sci.
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2020 J jnl
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models.
CoRR
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2020 J jnl
Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.
CoRR
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2020 C conf
Derivation of Heard-of Predicates from Elementary Behavioral Patterns.
FORTE
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2019 A conf
A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations.
BPM
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
2019 — conf
A Map of Asynchronous Communication Models.
FM Workshops (2)
Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec
2019 J jnl
A modular framework for verifying versatile distributed systems.
J. Log. Algebraic Methods Program.
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
2019 — conf
Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +.
TAP@FM
Aurélie Hurault, Philippe Quéinnec
2019 C conf
Tasks in Modular Proofs of Concurrent Algorithms.
SSS
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
2019 J jnl
Tasks in Modular Proofs of Concurrent Algorithms.
CoRR
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
2018 — conf
A Modular Framework for Verifying Versatile Distributed Systems.
HPCS
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
2018 B conf
Characterizing Asynchronous Message-Passing Models Through Rounds.
OPODIS
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2018 J jnl
Characterizing Asynchronous Message-Passing Models Through Rounds.
CoRR
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2017 B conf
Asynchronous Message Orderings Beyond Causality.
OPODIS
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2017 Misc conf
Inference of Channel Priorities for Asynchronous Communication.
DCAI
Nathanaël Sensfelder, Aurélie Hurault, Philippe Quéinnec
2016 C conf
Mechanized Refinement of Communication Models with TLA ^+ +.
ABZ
Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec
2016 J jnl
Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem.
Int. J. Intell. Syst. Technol. Appl.
Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault, Meriem Ouederni, Philippe Quéinnec
2016 J jnl
On the diversity of asynchronous communication.
Formal Aspects Comput.
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
2015 J jnl
Automated Verification of Asynchronous Communicating Systems with TLA+.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
2013 J jnl
Analysis of distributed multiperiodic systems to achieve consistent data matching.
Concurr. Comput. Pract. Exp.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
2010 — conf
Analysis of distributed multi-periodic systems to achieve consistent data matching.
NOTERE
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
2009 J jnl
Real Time Behavior of Data in Distributed Embedded Systems.
Scalable Comput. Pract. Exp.
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2009 — conf
Temporal data matching in component based real time systems.
SIES
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
2008 — conf
Real time behavior of data in distributed embedded systems.
IMCSIT
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2008 — conf
Real time data consistency in component based embedded systems.
NOTERE
Nadège Pontisso, Gérard Padiou, Philippe Quéinnec
2007 B conf
Separability to Help Parallel Simulation of Distributed Computations.
OPODIS
Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2006 C conf
A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW.
PDP
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou, Jean Fanchon
2005 — conf
A Flexible Communication Toolkit for Synchronous Groupware.
Systems Communications
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
2005 B conf
Cooperative Mobile Agents to Gather Global Information.
NCA
Michel Charpentier, Gérard Padiou, Philippe Quéinnec
2005 Misc conf
Maximal Group Membership in Ad Hoc Networks.
PPAM
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2005 A* conf
Streaming with causality: a practical approach.
ACM Multimedia
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
2003 A conf
The Reconstruction of a Mobile Agent Computation and Its Validation.
IPDPS
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
2000 B conf
Describing Mobile Computations with Path Vectors.
OPODIS
Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou
2000 — conf
Refinement Based Validation of an Algorithm for Detecting Distributed Termination.
IPDPS Workshops
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
1999 B conf
Modelling and Verifying Migration: A case study.
OPODIS
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1999 J jnl
The Observation: An Abstract Communication Mechanism.
Parallel Process. Lett.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1998 — conf
Tailoring UNITY to Distributed Program Design.
IPPS/SPDP Workshops
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1996 — conf
Abstracting Communication to Reason about Distributed Algorithms.
WDAG
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1994 A* conf
Derivation of Fault Tolerance Properties of Distributed Algorithms.
PODC
Philippe Quéinnec, Gérard Padiou
1993 C conf
Flight plan management in a distributed air traffic control system.
ISADS
Philippe Quéinnec, Gérard Padiou