Skip to Main content Skip to Navigation

Search by documents



...
hal-02903005v1  Conference papers
Armando CastañedaAurélie HuraultPhilippe QuéinnecMatthieu Roy. Tasks in Modular Proofs of Concurrent Algorithms
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⟩
...
hal-02871341v1  Conference papers
Nathanael SensfelderAurélie HuraultPhilippe Quéinnec. Inference of Channel Priorities for Asynchronous Communication
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⟩
hal-00695052v1  Conference papers
Michel DaydéAurélie HuraultMarc Pantel. Gridification of scientific application using software components: the grid-TLSE project as an illustration
CSIT 2005 : Fifth International Conference on Computer Science and Information Technologies, Sep 2005, Yerevan, Armenia
...
hal-02442015v1  Conference papers
Aurélie HuraultPhilippe Quéinnec. Proving a Non-Blocking Algorithm for Process Renaming with TLA+
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
...
hal-01592022v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe Quéinnec. Automated Verification of Asynchronous Communicating Systems with TLA+
15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Sep 2015, Edinburgh, Scotland, United Kingdom. pp. 135-150
...
hal-01535957v1  Journal articles
Florent ChevrouAurélie HuraultPhilippe Quéinnec. Automated Verification of Asynchronous Communicating Systems with TLA+
Electronic Communications of the EASST, European Association of Software Science and Technology e.V, 2015, vol. 72, pp. 1-15. ⟨10.14279/tuj.eceasst.72.1019.1005⟩
...
hal-01535944v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe MauranPhilippe Quéinnec. Mechanized Refinement of Communication Models with TLA+
5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), May 2016, Linz, Austria. pp. 312-318
...
tel-00483894v1  Theses
Aurélie Hurault. Courtage sémantique de services de calcul
Génie logiciel [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2006. Français
...
hal-02930097v1  Conference papers
Florent ChevrouAurélie HuraultShin NakajimaPhilippe Quéinnec. A Map of Asynchronous Communication Models
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⟩
hal-00689914v1  Conference papers
Hrachya AstsatryanVladimir SahakyanYuri ShoukouryanMichel DaydéAurélie Hurault et al.  A grid-aware web portal with advanced service trading for linear algebra calculations
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⟩
...
hal-01343037v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe MauranMeriem OuederniPhilippe Quéinnec et al.  La composition de services dans le monde asynchrone Formalisation et vérification en TLA+
14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39
...
hal-02617506v1  Conference papers
Adam ShimiAurélie HuraultPhilippe Quéinnec. Asynchronous Message Orderings Beyond Causality
The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisboa, Portugal. pp.1-20
...
hal-01530410v1  Journal articles
Florent ChevrouAurélie HuraultPhilippe Quéinnec. On the Diversity of Asynchronous Communication
Formal Aspects of Computing, Springer Verlag, 2016, vol. 28 (n° 5), pp. 847-879. ⟨10.1007/s00165-016-0379-x⟩
...
hal-02947787v1  Conference papers
Adam ShimiAurélie HuraultPhilippe Quéinnec. Derivation of Heard-Of Predicates From Elementary Behavioral Patterns
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⟩
...
hal-03079837v1  Conference papers
Adam ShimiAurélie HuraultPhilippe Quéinnec. Characterizing Asynchronous Message-Passing Models Through Rounds
22nd International Conference on Principles of Distributed Systems (OPODIS 2018), Dec 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2018.0⟩
hal-01429567v1  Conference papers
Hrachya AstsatryanEddy CaronMichel DaydéAurélie HuraultMarc Pantel. On defining a web interface for linear algebra tasks over computational grids
International Conference on Computer Science and Information Technologies (CSIT'07), Sep 2007, Yerevan, Armenia
hal-00865668v1  Conference papers
Frédéric CamilloEddy CaronRonan GuivarchAurélie HuraultCristian Klein et al.  Resource Management Architecture for Fair Scheduling of Optional Computations
8th international conference on P2P, parallel, grid, cloud and internet computing (3PGCIC), Oct 2013, Compiegne, France. pp.113-120, ⟨10.1109/3PGCIC.2013.23⟩
...
hal-02295347v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe Quéinnec. A Modular Framework for Verifying Versatile Distributed Systems
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⟩
hal-03190207v1  Journal articles
Aurélie HuraultBaek KyungimHenri Casanova. Selecting Linear Algebra Kernel Composition Using Response Time Prediction
Software: Practice and Experience, Wiley, 2015, 45 (12), pp.1659--1676. ⟨10.1002/spe.2307⟩
hal-03193130v1  Conference papers
Serial Rayen BoussaliaAllaoua ChaouiAurélie Hurault. QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm
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⟩
...
hal-02451058v1  Journal articles
Florent ChevrouAurélie HuraultPhilippe Quéinnec. A Modular Framework for Verifying Versatile Distributed Systems
Journal of Logic and Algebraic Methods in Programming, Elsevier, 2019, 108, pp.24-46. ⟨10.1016/j.jlamp.2019.05.008⟩