Search - Archive ouverte HAL Access content directly

Filter your results

30 Results
Image document

Enabling Workflows in GridSolve: Request Sequencing and Service Trading

Yinan Li , Asim Yarkhan , Jack Dongarra , Keith Seymour , Aurélie Hurault et al.
Journal of Supercomputing, 2013, vol. 64 (n° 3), pp. 1133-1152. ⟨10.1007/s11227-010-0549-1⟩
Journal articles hal-01130381v1
Image document

Diet-ethic: Fair Scheduling of Optional Computations in GridRPC Middleware

Frédéric Camillo , Eddy Caron , Ronan Guivarch , Aurélie Hurault , Cristian Klein et al.
[Research Report] RR-7959, INRIA. 2012
Reports hal-00696104v2

On defining a web interface for linear algebra tasks over computational grids

Hrachya Astsatryan , Eddy Caron , Michel Daydé , Aurélie Hurault , Marc Pantel et al.
International Conference on Computer Science and Information Technologies (CSIT'07), Sep 2007, Yerevan, Armenia
Conference papers hal-01429567v1

Advanced service trading for scientific computing over the grid

Aurélie Hurault , Michel Daydé , Marc Pantel
Journal of Supercomputing, 2009, 49, pp.64-83. ⟨10.1007/s11227-008-0234-9⟩
Journal articles istex hal-00688665v1
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⟩
Conference papers 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⟩
Conference papers hal-02871341v1

Selecting Linear Algebra Kernel Composition Using Response Time Prediction

Aurélie Hurault , Baek Kyungim , Henri Casanova
Software: Practice and Experience, 2015, 45 (12), pp.1659--1676. ⟨10.1002/spe.2307⟩
Journal articles istex hal-03190207v1
Image document

Formalisations pour les compositions de services

Aurélie Hurault
Informatique [cs]. Institut National Polytechnique de Toulouse (Toulouse INP), 2018
Habilitation à diriger des recherches tel-03282922v1
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⟩
Conference papers hal-02930097v1

On deploying scientific software within the GRID-TLSE project

Eddy Caron , Frédéric Desprez , Michel Daydé , Aurélie Hurault , Marc Pantel et al.
Computing Letters, 2005, 1 (3), pp.85-92. ⟨10.1163/1574040054861267⟩
Journal articles hal-00688802v1
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
Conference papers hal-01535944v1
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
Conference papers hal-01592022v1
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⟩
Journal articles 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
Conference papers hal-02442015v1
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⟩
Conference papers hal-03079837v1
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⟩
Conference papers hal-02903005v1

Gridification of scientific application using software components: the grid-TLSE project as an illustration

Michel Daydé , Aurélie Hurault , Marc Pantel
CSIT 2005 : Fifth International Conference on Computer Science and Information Technologies, Sep 2005, Yerevan, Armenia
Conference papers hal-00695052v1
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⟩
Journal articles 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⟩
Journal articles hal-02451058v1
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⟩
Journal articles 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⟩
Conference papers 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
Conference papers hal-01343037v1

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

Serial Rayen Boussalia , Allaoua Chaoui , Aurélie Hurault
21st International Conference on Information and Software Technologies (ICIST 2015), Oct 2015, Druskininkai, Lithuania. pp.306--319, ⟨10.1007/978-3-319-24770-0_27⟩
Conference papers hal-03193130v1

Actes des 15ème journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)

Nicolas Stouls , Aurélie Hurault
2016
Books hal-01937245v1

A grid-aware web portal with advanced service trading for linear algebra calculations

Hrachya Astsatryan , Vladimir Sahakyan , Yuri Shoukouryan , Michel Daydé , Aurélie Hurault et al.
VECPAR 2008: 8th International Conference High Performance Computing for Computational Science, Jun 2008, Toulouse, France. pp.150-159, ⟨10.1007/978-3-540-92859-1_15⟩
Conference papers istex hal-00689914v1

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 et al.
International Journal of Intelligent Systems Technologies and Applications, 2016, 15 (2), pp.95--126. ⟨10.1504/IJISTA.2016.076493⟩
Journal articles 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
Conference papers hal-02617506v1
Image document

Courtage sémantique de services de calcul

Aurélie Hurault
Génie logiciel [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2006. Français. ⟨NNT : ⟩
Theses tel-00483894v1

Resource Management Architecture for Fair Scheduling of Optional Computations

Frédéric Camillo , Eddy Caron , Ronan Guivarch , Aurélie Hurault , Cristian Klein et al.
8th international conference on P2P, parallel, grid, cloud and internet computing (3PGCIC), Oct 2013, Compiegne, France. pp.113-120, ⟨10.1109/3PGCIC.2013.23⟩
Conference papers hal-00865668v1
Image document

On the Easy Use of Scientific Computing Services for Large Scale Linear Algebra and Parallel Decision Making with the P-Grade Portal

Hrachya Astsatryan , Vladimir Sahakyan , Yuri Shoukouryan , Michel Daydé , Aurélie Hurault et al.
Journal of Grid Computing, 2013, vol. 11 (n° 2), pp. 239-248. ⟨10.1007/s10723-013-9254-7⟩
Journal articles hal-01124410v1