Philippe Quéinnec

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 21

Top Topics

Search Algorithm

Service Composition

Formal Semantics

Behavioral Patterns

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

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