default search action
Aurélie Hurault
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j12]Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy:
Tasks in modular proofs of concurrent algorithms. Inf. Comput. 292: 105040 (2023) - [c17]Aurélie Hurault
, João Marques-Silva:
Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. TAP 2023: 51-67 - 2021
- [j11]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) - 2020
- [c16]Adam Shimi, Aurélie Hurault, Philippe Quéinnec:
Derivation of Heard-of Predicates from Elementary Behavioral Patterns. FORTE 2020: 133-149 - [i4]Adam Shimi, Aurélie Hurault, Philippe Quéinnec:
Derivation of Heard-Of Predicates From Elementary Behavioral Patterns. CoRR abs/2004.10619 (2020) - [i3]Adam Shimi, Aurélie Hurault, Philippe Quéinnec:
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models. CoRR abs/2011.12879 (2020)
2010 – 2019
- 2019
- [j10]Florent Chevrou, Aurélie Hurault, Philippe Quéinnec:
A modular framework for verifying versatile distributed systems. J. Log. Algebraic Methods Program. 108: 24-46 (2019) - [c15]Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec:
A Map of Asynchronous Communication Models. FM Workshops (2) 2019: 307-322 - [c14]Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy:
Tasks in Modular Proofs of Concurrent Algorithms. SSS 2019: 69-83 - [c13]Aurélie Hurault, Philippe Quéinnec:
Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. TAP@FM 2019: 147-166 - [i2]Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy:
Tasks in Modular Proofs of Concurrent Algorithms. CoRR abs/1909.05537 (2019) - 2018
- [b2]Aurélie Hurault:
Formalisations pour les compositions de services. National Polytechnic Institute of Toulouse, France, 2018 - [c12]Florent Chevrou, Aurélie Hurault, Philippe Quéinnec:
A Modular Framework for Verifying Versatile Distributed Systems. HPCS 2018: 748-755 - [c11]Adam Shimi, Aurélie Hurault, Philippe Quéinnec:
Characterizing Asynchronous Message-Passing Models Through Rounds. OPODIS 2018: 18:1-18:17 - [i1]Adam Shimi, Aurélie Hurault, Philippe Quéinnec:
Characterizing Asynchronous Message-Passing Models Through Rounds. CoRR abs/1805.01657 (2018) - 2017
- [c10]Nathanaël Sensfelder, Aurélie Hurault, Philippe Quéinnec:
Inference of Channel Priorities for Asynchronous Communication. DCAI 2017: 262-269 - [c9]Adam Shimi, Aurélie Hurault, Philippe Quéinnec:
Asynchronous Message Orderings Beyond Causality. OPODIS 2017: 29:1-29:20 - 2016
- [j9]Florent Chevrou, Aurélie Hurault, Philippe Quéinnec:
On the diversity of asynchronous communication. Formal Aspects Comput. 28(5): 847-879 (2016) - [j8]Serial Rayene Boussalia, Allaoua Chaoui
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): 95-126 (2016) - [c8]Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec:
Mechanized Refinement of Communication Models with TLA ^+ +. ABZ 2016: 312-318 - 2015
- [j7]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) - [j6]Aurélie Hurault, Kyungim Baek, Henri Casanova:
Selecting linear algebra kernel composition using response time prediction. Softw. Pract. Exp. 45(12): 1659-1676 (2015) - [c7]Serial Rayene Boussalia, Allaoua Chaoui
QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm. ICIST 2015: 306-319 - 2013
- [j5]Hrachya V. Astsatryan
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): 239-248 (2013) - [j4]Yinan Li, Asim YarKhan
Enabling workflows in GridSolve: request sequencing and service trading. J. Supercomput. 64(3): 1133-1152 (2013) - [c6]Frederic Camillo, Eddy Caron, Ronan Guivarch
Resource Management Architecture for Fair Scheduling of Optional Computations. 3PGCIC 2013: 113-120 - 2011
- [j3]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): 685-710 (2011) - [c5]Hrachya V. Astsatryan
Enabling Large-Scale Linear Systems of Equations on Hybrid HPC Infrastructures. ICT Innovations 2011: 239-245 - 2010
- [c4]Aurélie Hurault, Asim YarKhan
Intelligent Service Trading and Brokering for Distributed Network Services in GridSolve. VECPAR 2010: 340-351
2000 – 2009
- 2009
- [j2]Aurélie Hurault, Michel J. Daydé, Marc Pantel:
Advanced service trading for scientific computing over the grid. J. Supercomput. 49(1): 64-83 (2009) - 2008
- [c3]Hrachya V. Astsatryan
A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations. VECPAR 2008: 150-159 - 2006
- [b1]Aurélie Hurault:
Courtage sémantique de services de calcul. (Semantic computing service trading). National Polytechnic Institute of Toulouse, France, 2006 - [c2]Michel J. Daydé, Aurélie Hurault, Marc Pantel:
Semantic-Based Service Trading: Application to Linear Algebra. VECPAR 2006: 622-633 - 2005
- [c1]Aurélie Hurault, Marc Pantel:
Mathematical Service Trading Based on Equational Matching. Calculemus 2005: 161-177 - 2004
- [j1]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): 47-60 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: