Aurélie Hurault

ORCID

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 22

Top Venues

CoRR

OPODIS

HPCS

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

National Polytechnic Institute of Toulouse, France (PHD)

Education History

National Polytechnic Institute of Toulouse, France

PHD

Publications

Aurélie Hurault, João Marques-Silva
Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. TAP (2023)
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
Tasks in modular proofs of concurrent algorithms. Inf. Comput. 292 (2023)
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)
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)
Aurélie Hurault, Kyungim Baek, Henri Casanova
Selecting linear algebra kernel composition using response time prediction. Softw. Pract. Exp. 45 (12) (2015)
Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault
QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm. ICIST (2015)
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)
Hrachya V. Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel J. Daydé, Aurélie Hurault, Ronan Guivarch, Harutyun Terzyan, Levon Hovhannisyan
On the Easy Use of Scientific Computing Services for Large Scale Linear Algebra and Parallel Decision Making with the P-Grade Portal. J. Grid Comput. 11 (2) (2013)
Frederic Camillo, Eddy Caron, Ronan Guivarch, Aurélie Hurault, Cristian Klein, Christian Pérez
Resource Management Architecture for Fair Scheduling of Optional Computations. 3PGCIC (2013)
Yinan Li, Asim YarKhan, Jack J. Dongarra, Keith Seymour, Aurélie Hurault
Enabling workflows in GridSolve: request sequencing and service trading. J. Supercomput. 64 (3) (2013)
Aurélie Hurault, Marc Pantel, Michel J. Daydé
Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services. Tech. Sci. Informatiques 30 (6) (2011)
Hrachya V. Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel J. Daydé, Aurélie Hurault
Enabling Large-Scale Linear Systems of Equations on Hybrid HPC Infrastructures. ICT Innovations (2011)
Aurélie Hurault, Asim YarKhan
Intelligent Service Trading and Brokering for Distributed Network Services in GridSolve. VECPAR (2010)
Aurélie Hurault, Michel J. Daydé, Marc Pantel
Advanced service trading for scientific computing over the grid. J. Supercomput. 49 (1) (2009)
Hrachya V. Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel J. Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron
A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations. VECPAR (2008)
Michel J. Daydé, Aurélie Hurault, Marc Pantel
Semantic-Based Service Trading: Application to Linear Algebra. VECPAR (2006)
Aurélie Hurault, Marc Pantel
Mathematical Service Trading Based on Equational Matching. Calculemus (2005)
Aurélie Hurault, Vincent Hennebert, Marc Pantel
Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel. Obj. Logiciel Base données Réseaux 10 (2-3) (2004)

Aurélie Hurault.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aurélie Hurault