Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel. - Aurélie Hurault; Vincent Hennebert; Marc Pantel (Obj. Logiciel Base données Réseaux, 2004)

Mathematical Service Trading Based on Equational Matching. - Aurélie Hurault; Marc Pantel (Calculemus, 2005)

Semantic-Based Service Trading: Application to Linear Algebra. - Michel J. Daydé; Aurélie Hurault; Marc Pantel (VECPAR, 2006)

Courtage sémantique de services de calcul. (Semantic computing service trading). - Aurélie Hurault (2006)

A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations. - Hrachya V. Astsatryan; Vladimir Sahakyan; Yuri Shoukouryan; Michel J. Daydé; Aurélie Hurault; Marc Pantel; Eddy Caron (VECPAR, 2008)

Advanced service trading for scientific computing over the grid. - Aurélie Hurault; Michel J. Daydé; Marc Pantel (J. Supercomput., 2009)

Intelligent Service Trading and Brokering for Distributed Network Services in GridSolve. - Aurélie Hurault; Asim YarKhan (VECPAR, 2010)

Enabling Large-Scale Linear Systems of Equations on Hybrid HPC Infrastructures. - Hrachya V. Astsatryan; Vladimir Sahakyan; Yuri Shoukouryan; Michel J. Daydé; Aurélie Hurault (ICT Innovations, 2011)

Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services. - Aurélie Hurault; Marc Pantel; Michel J. Daydé (Tech. Sci. Informatiques, 2011)

Resource Management Architecture for Fair Scheduling of Optional Computations. - Frederic Camillo; Eddy Caron; Ronan Guivarch; Aurélie Hurault; Cristian Klein; Christian Pérez (3PGCIC, 2013)

On the Easy Use of Scientific Computing Services for Large Scale Linear Algebra and Parallel Decision Making with the P-Grade Portal. - Hrachya V. Astsatryan; Vladimir Sahakyan; Yuri Shoukouryan; Michel J. Daydé; Aurélie Hurault; Ronan Guivarch; Harutyun Terzyan; Levon Hovhannisyan (J. Grid Comput., 2013)

Enabling workflows in GridSolve: request sequencing and service trading. - Yinan Li 002; Asim YarKhan; Jack J. Dongarra; Keith Seymour; Aurélie Hurault (J. Supercomput., 2013)

QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm. - Serial Rayene Boussalia; Allaoua Chaoui; Aurélie Hurault (ICIST, 2015)

Automated Verification of Asynchronous Communicating Systems with TLA+. - Florent Chevrou; Aurélie Hurault; Philippe Quéinnec (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Selecting linear algebra kernel composition using response time prediction. - Aurélie Hurault; Kyungim Baek; Henri Casanova (Softw. Pract. Exp., 2015)

Mechanized Refinement of Communication Models with TLA ^+ +. - Florent Chevrou; Aurélie Hurault; Philippe Mauran; Philippe Quéinnec (ABZ, 2016)

On the diversity of asynchronous communication. - Florent Chevrou; Aurélie Hurault; Philippe Quéinnec (Formal Aspects Comput., 2016)

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 (Int. J. Intell. Syst. Technol. Appl., 2016)

Inference of Channel Priorities for Asynchronous Communication. - Nathanaël Sensfelder; Aurélie Hurault; Philippe Quéinnec (DCAI, 2017)

Asynchronous Message Orderings Beyond Causality. - Adam Shimi; Aurélie Hurault; Philippe Quéinnec (OPODIS, 2017)

Formalisations pour les compositions de services. - Aurélie Hurault (2018)

Characterizing Asynchronous Message-Passing Models Through Rounds. - Adam Shimi; Aurélie Hurault; Philippe Quéinnec (OPODIS, 2018)

A Map of Asynchronous Communication Models. - Florent Chevrou; Aurélie Hurault; Shin Nakajima 001; Philippe Quéinnec (FM Workshops (2), 2019)

Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. - Aurélie Hurault; Philippe Quéinnec (TAP@FM, 2019)

A modular framework for verifying versatile distributed systems. - Florent Chevrou; Aurélie Hurault; Philippe Quéinnec (J. Log. Algebraic Methods Program., 2019)

Derivation of Heard-of Predicates from Elementary Behavioral Patterns. - Adam Shimi; Aurélie Hurault; Philippe Quéinnec (FORTE, 2020)

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models. - Adam Shimi; Aurélie Hurault; Philippe Quéinnec (Log. Methods Comput. Sci., 2021)

Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. - Aurélie Hurault; João Marques-Silva 001 (TAP, 2023)

Tasks in modular proofs of concurrent algorithms. - Armando Castañeda; Aurélie Hurault; Philippe Quéinnec; Matthieu Roy (Inf. Comput., 2023)