Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

25 résultats
Page :
triés par
Image document

Derivation of Heard-Of Predicates From Elementary Behavioral Patterns

 Adam Shimi , Aurélie Hurault , Philippe Quéinnec
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⟩
Communication dans un congrès hal-02947787v1
Image document

Inference of Channel Priorities for Asynchronous Communication

 Nathanael Sensfelder , Aurélie Hurault , Philippe Quéinnec
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⟩
Communication dans un congrès hal-02871341v1

Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem

 Serial Rayene Boussalia , Allaoua Chaoui , Aurélie Hurault , Meriem Ouederni , Philippe Quéinnec
International Journal of Intelligent Systems Technologies and Applications, 2016, 15 (2), pp.95--126. ⟨10.1504/IJISTA.2016.076493⟩
Article dans une revue hal-03155053v1
Image document

Asynchronous Message Orderings Beyond Causality

 Adam Shimi , Aurélie Hurault , Philippe Quéinnec
The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisboa, Portugal. pp.1-20
Communication dans un congrès hal-02617506v1
Image document

Tasks in modular proofs of concurrent algorithms

 Armando Castañeda , Aurélie Hurault , Philippe Quéinnec , Matthieu Roy
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⟩
Article dans une revue hal-04086420v1
Image document

A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations

 Sara Houhou , Souheib Baarir , Pascal Poizat , Philippe Quéinnec
International Conference on Business Process Management (BPM 2019), Sep 2019, Vienna, Austria. pp.52-68, ⟨10.1007/978-3-030-26619-6_6⟩
Communication dans un congrès hal-02138366v1
Image document

Analysis of distributed multi-periodic systems to achieve consistent data matching

 Nadège Pontisso , Philippe Quéinnec , Gérard Padiou
2010
Pré-publication, Document de travail hal-00466871v1
Image document

A Data Oriented Approach for Real-Time Systems

 Tanguy Le Berre , Philippe Mauran , Gérard Padiou , Philippe Quéinnec
17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.147-158
Communication dans un congrès inria-00442001v1
Image document

On the Diversity of Asynchronous Communication

 Florent Chevrou , Aurélie Hurault , Philippe Quéinnec
Formal Aspects of Computing, 2016, vol. 28 (n° 5), pp. 847-879. ⟨10.1007/s00165-016-0379-x⟩
Article dans une revue hal-01530410v1
Image document

A Modular Framework for Verifying Versatile Distributed Systems

 Florent Chevrou , Aurélie Hurault , Philippe Quéinnec
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⟩
Communication dans un congrès hal-02295347v1
Image document

La composition de services dans le monde asynchrone Formalisation et vérification en TLA+

 Florent Chevrou , Aurélie Hurault , Philippe Mauran , Meriem Ouederni , Philippe Quéinnec , et al.
14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39
Communication dans un congrès hal-01343037v1
Image document

A Map of Asynchronous Communication Models

 Florent Chevrou , Aurélie Hurault , Shin Nakajima , Philippe Quéinnec
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⟩
Communication dans un congrès hal-02930097v1
Image document

Maximal Group Membership in Ad Hoc Networks

 M Filali , Valérie Issarny , Philippe Mauran , Gérard Padiou , Philippe Quéinnec
6th International Conference on Parallel Processing and Applied Mathematics (PPAM 2005), Sep 2005, Poznan, Poland. pp.51-58, ⟨10.1007/11752578_7⟩
Communication dans un congrès inria-00415110v1
Image document

A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations

 Sara Houhou , Souheib Baarir , Pascal Poizat , Philippe Quéinnec , Laïd Kahloud
Information Systems, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩
Article dans une revue hal-03170863v1
Image document

Analysis of distributed multi-periodic systems to achieve consistent data matching

 Nadège Pontisso , Philippe Quéinnec , Gérard Padiou
Concurrency and Computation: Practice and Experience, 2013, vol. 25 (n° 2), pp. 234-249. ⟨10.1002/cpe.2803⟩
Article dans une revue hal-01130800v1
Image document

Tasks in Modular Proofs of Concurrent Algorithms

 Armando Castañeda , Aurélie Hurault , Philippe Quéinnec , Matthieu Roy
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⟩
Communication dans un congrès hal-02903005v1
Image document

Characterizing Asynchronous Message-Passing Models Through Rounds

 Adam Shimi , Aurélie Hurault , Philippe Quéinnec
22nd International Conference on Principles of Distributed Systems (OPODIS 2018), Dec 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2018.0⟩
Communication dans un congrès hal-03079837v1
Image document

Automated Verification of Asynchronous Communicating Systems with TLA+

 Florent Chevrou , Aurélie Hurault , Philippe Quéinnec
Electronic Communications of the EASST, 2015, 72, pp.1-15. ⟨10.14279/tuj.eceasst.72.1019.1005⟩
Article dans une revue hal-01535957v1
Image document

A Modular Framework for Verifying Versatile Distributed Systems

 Florent Chevrou , Aurélie Hurault , Philippe Quéinnec
Journal of Logic and Algebraic Methods in Programming, 2019, 108, pp.24-46. ⟨10.1016/j.jlamp.2019.05.008⟩
Article dans une revue hal-02451058v1
Image document

Mechanized Refinement of Communication Models with TLA+

 Florent Chevrou , Aurélie Hurault , Philippe Mauran , Philippe Quéinnec
5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), May 2016, Linz, Austria. pp. 312-318
Communication dans un congrès hal-01535944v1
Image document

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

 Adam Shimi , Aurélie Hurault , Philippe Quéinnec
Logical Methods in Computer Science, 2021, 17 (3), pp.26:1 - 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩
Article dans une revue hal-03352272v1
Image document

Proving a Non-Blocking Algorithm for Process Renaming with TLA+

 Aurélie Hurault , Philippe Quéinnec
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
Communication dans un congrès hal-02442015v1
Image document

Automated Verification of Asynchronous Communicating Systems with TLA+

 Florent Chevrou , Aurélie Hurault , Philippe Quéinnec
15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Sep 2015, Edinburgh, Scotland, United Kingdom. pp.135-150
Communication dans un congrès hal-01592022v1
Image document

A Direct Formal Semantics for BPMN Time-Related Constructs

 Sara Houhou , Souheib Baarir , Pascal Poizat , Philippe Quéinnec
ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, online, Czech Republic. pp.138-149, ⟨10.5220/0010462901380149⟩
Communication dans un congrès hal-03170814v1
Image document

Ensuring Timed Validity of Distributed Real Time Data

 Tanguy Le Berre , Philippe Quéinnec , Gérard Padiou
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Communication dans un congrès hal-02270275v1
Page :