Aurélie Hurault

According to our database, Aurélie Hurault authored at least 29 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Tasks in modular proofs of concurrent algorithms.

Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy

Inf. Comput., June, 2023

Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers.

Aurélie Hurault, João Marques-Silva

Proceedings of the Tests and Proofs - 17th International Conference, 2023

2021

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

2020

Derivation of Heard-of Predicates from Elementary Behavioral Patterns.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2019

A modular framework for verifying versatile distributed systems.

Florent Chevrou, Aurélie Hurault, Philippe Quéinnec

J. Log. Algebraic Methods Program., 2019

Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +.

Aurélie Hurault, Philippe Quéinnec

Proceedings of the Tests and Proofs - 13th International Conference, 2019

A Map of Asynchronous Communication Models.

Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Characterizing Asynchronous Message-Passing Models Through Rounds.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

Formalisations pour les compositions de services.

Aurélie Hurault

, 2018

2017

Asynchronous Message Orderings Beyond Causality.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

Inference of Channel Priorities for Asynchronous Communication.

Nathanaël Sensfelder, Aurélie Hurault, Philippe Quéinnec

Proceedings of the Distributed Computing and Artificial Intelligence, 2017

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

On the diversity of asynchronous communication.

Florent Chevrou, Aurélie Hurault, Philippe Quéinnec

Formal Aspects Comput., 2016

Mechanized Refinement of Communication Models with TLA ^+ +.

Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Selecting linear algebra kernel composition using response time prediction.

Aurélie Hurault, Kyungim Baek, Henri Casanova

Softw. Pract. Exp., 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

QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm.

Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault

Proceedings of the Information and Software Technologies - 21st International Conference, 2015

2013

Enabling workflows in GridSolve: request sequencing and service trading.

Yinan Li, Asim YarKhan, Jack J. Dongarra, Keith Seymour, Aurélie Hurault

J. Supercomput., 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

Resource Management Architecture for Fair Scheduling of Optional Computations.

Frederic Camillo, Eddy Caron, Ronan Guivarch, Aurélie Hurault, Cristian Klein, Christian Pérez

Proceedings of the Eighth International Conference on P2P, 2013

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

Enabling Large-Scale Linear Systems of Equations on Hybrid HPC Infrastructures.

Hrachya V. Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel J. Daydé, Aurélie Hurault

Proceedings of the ICT Innovations 2011, Skopje, Macedonia, 14-16 September, 2011, 2011

2010

Intelligent Service Trading and Brokering for Distributed Network Services in GridSolve.

Aurélie Hurault, Asim YarKhan

Proceedings of the High Performance Computing for Computational Science - VECPAR 2010, 2010

2009

Advanced service trading for scientific computing over the grid.

Aurélie Hurault, Michel J. Daydé, Marc Pantel

J. Supercomput., 2009

2008

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

Proceedings of the High Performance Computing for Computational Science, 2008

2006

Courtage sémantique de services de calcul. (Semantic computing service trading).

Aurélie Hurault

PhD thesis, 2006

Semantic-Based Service Trading: Application to Linear Algebra.

Michel J. Daydé, Aurélie Hurault, Marc Pantel

Proceedings of the High Performance Computing for Computational Science, 2006

2005

Mathematical Service Trading Based on Equational Matching.

Aurélie Hurault, Marc Pantel

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

2004

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