Publications de Aurélie HURAULT
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
Tasks in modular proofs of concurrent algorithms
Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
Logical Methods in Computer Science, 2021, 17 (3), pp.26:1 – 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
A Modular Framework for Verifying Versatile Distributed Systems
Journal of Logic and Algebraic Methods in Programming, 2019, 108, pp.24-46. ⟨10.1016/j.jlamp.2019.05.008⟩
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
International Journal of Intelligent Systems Technologies and Applications, 2016, 15 (2), pp.95–126. ⟨10.1504/IJISTA.2016.076493⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
On the Diversity of Asynchronous Communication
Formal Aspects of Computing, 2016, vol. 28 (n° 5), pp. 847-879. ⟨10.1007/s00165-016-0379-x⟩
Aurélie Hurault, Baek Kyungim, Henri Casanova
Selecting Linear Algebra Kernel Composition Using Response Time Prediction
Software: Practice and Experience, 2015, 45 (12), pp.1659–1676. ⟨10.1002/spe.2307⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
Automated Verification of Asynchronous Communicating Systems with TLA+
Electronic Communications of the EASST, 2015, 72, pp.1-15. ⟨10.14279/tuj.eceasst.72.1019.1005⟩
Hrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukourian, Michel 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
Dans : Journal of Grid Computing, Springer-Verlag, Heidelberg, Allemagne, Vol. 11 N. 2, p. 239-248, juin 2013.
Yinan Li, Asim Yarkhan, Jack Dongarra, Keith Seymour, Aurélie Hurault
Enabling Workflows in GridSolve: Request Sequencing and Service Trading
Dans : Journal of Supercomputing, Springer-Verlag, Heidelberg, Allemagne, Vol. 64 N. 3, p. 1133-1152, juin 2013.
Aurélie Hurault, Marc Pantel, Michel Daydé
Composition automatique de services de calcul – Utilisation des spécifications algébriques pour décrire la fonctionnalité des services
Dans : Revue des Sciences et Technologies de l’Information, Technique et Science Informatiques, Hermès Science, Numéro spécial La composition d’objets, de composants et de services, Vol. 30, N. 6/2011, p. 685-710, juin 2011.
Aurélie Hurault, Michel Daydé, Marc Pantel
Advanced service trading for scientific computing over the grid
Dans : Journal of Supercomputing, Springer-Verlag, Heidelberg, Allemagne, Vol. 49 N. 1, p. 64-83, juillet 2009.
Accès : http://www.springerlink.com/content/82w83315wt028332/
BibTeXMichel Daydé, Frédéric Desprez, Aurélie Hurault, Marc Pantel
On deploying scientific software within the GRID-TLSE project
Dans : Computing Letters, VSP/Brill Academic Publisher, Vol. 1 N. 3, p. 85-92, juillet 2005.
Aurélie Hurault, Joao Marques-Silva
Certified Logic-Based Explainable AI
17th International Conference on Tests and Proofs (TAP 2023), Jul 2023, Leicester, United Kingdom. pp.51-67, ⟨10.1007/978-3-031-38828-6_4⟩
Adam Shimi, Aurélie Hurault, Philippe 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⟩
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu 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⟩
Aurélie Hurault, Philippe 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
Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe 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⟩
Adam Shimi, Aurélie Hurault, Philippe 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⟩
Florent Chevrou, Aurélie Hurault, Philippe 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⟩
Adam Shimi, Aurélie Hurault, Philippe 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
Nathanael Sensfelder, Aurélie Hurault, Philippe 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⟩
Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe 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
Serial Rayen Boussalia, Allaoua Chaoui, Auré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⟩
Florent Chevrou, Aurélie Hurault, Philippe 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
Florent Chevrou, Aurélie Hurault, Philippe Mauran, Meriem Ouederni, Philippe Quéinnec, Xavier Thirioux
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
Frédéric Camillo, Eddy Caron, Ronan Guivarch, Aurélie Hurault, Christian Klein, Christian Pérez
Resource Management Architecture for Fair Scheduling of Optional Computations (regular paper)
Dans : International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC 2014), Compiegne, 28/10/14-30/10/14, IEEE : Institute of Electrical and Electronics Engineers, p. 113-120, 2013.
Hrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukourian, Michel Daydé, Aurélie Hurault
Enabling Large-Scale Linear Systems of Equations on Hybrid HPC Infrastructures (regular paper)
Dans : ICT Innovations 2011, Skopje, 14/09/11-16/09/11, Vol. 150, Ljupco Kocarev (Eds.), Springer, Advances in Intelligent and Soft Computing, p. 239-245, 2012.
Hrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukourian, Myasnik Srapyan, Michel Daydé, Aurélie Hurault, Romulus Grigoras
Introduction of a Grid-Aware Portlet for Numerical Calculations (regular paper)
Dans : International Conference On Parallel, Distributed and Grid Computing (PDGC 2010), Jaypee University of Information Technology Waknaghat, Solan, H.P., India, 28/10/10-30/10/10, Pranay Chaudhuri, Sukumar Ghosh, Raj Kumar Buyya, Jian-Nong Cao, Oeepak Oahiya (Eds.), IEEExplore digital library, p. 67-70, janvier 2011.
Intelligent Service Trading and Brokering for Distributed Network Services in GridSolve (regular paper)
Dans : International Conference on Vector and Parallel Processing (VECPAR 2010), Berkeley, CA, 22/06/10-25/06/10, Vol. 6449, Palma José M. Laginha , Michel Daydé, Osni Marques, Joao Correia Lopes (Eds.), Springer, Lecture Notes in Computer Science 978-3-642-19327-9, p. 340-351, 2011.
Aurélie Hurault, Frédéric Camillo, Michel Daydé, Ronan Guivarch, Marc Pantel, Chiara Puglisi, Hrachya Astsatryan
Semantic Description of Services: Issues and Examples
Dans : Computer Science and Information Technologies, Yerevan (Arménia), 28/09/09-02/10/09.
Accès : http://www.csit.am/2009/proceedings/8CGC/11.pdf
BibTeXHrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukourian, Michel Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron
A Grid-Aware Web Interface with Advanced Service Trading for Linear Algebra Calculations.
Dans : International Meeting High Performance Computing for Computational Science (VECPAR 2008), Toulouse, 24/06/08-27/06/08, Springer, lncs 5336, p. 150-159, 2008.
Hrachya Astsatryan, Michel Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron
On defining a Web Interface for Linear Algebra Tasks over Computational Grids
Dans : International Conference on Computer Science and Information Technologies (CSIT’07), Yerevan (Arménie), 24/09/07-28/09/07.
Michel Daydé, Aurélie Hurault, Marc Pantel
Semantic-based Service trading: Application to Linear Algebra
Dans : VECPAR’06 – Workshop on Computational Grids and Clusters (WCGC 2006), Rio de Janeiro, Brésil, 10/07/06-13/07/06, Springer-Verlag, LNCS 4395, p. 622-633, 2006.
Michel Daydé, Aurélie Hurault, Marc Pantel
Gridification of Scientific Application Using Software Components: the Grid-TLSE Project as an illustration
Dans : CSIT 2005, Yerevan, Armenia, 19/09/05-23/09/05, National Academy of Siences of Armenia, Yerevan, Armenia, p. 419-427, septembre 2005.
Mathematical Service Trading Based on Equational Matching
Dans : Calculemus’05: 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Newcastle, 18/07/05-22/07/05, Electronic Notes in Theoretical Computer Science, juillet 2005.
Aurélie Hurault, Marc Pantel, Frédéric Desprez
Recherche de services en algèbre linéaire sur une grille
Dans : Rencontre du Parallélisme, Le Croizic, France, 06/04/05-08/04/05, EMN-ASF, p. 207-212, avril 2005.
Aurélie Hurault, Vincent Hennebert, Marc Pantel
Répartition et mobilité en JavAct: une approche dérivée d’un modèle formel
Dans : Langages et Modèles à Objets, Lille, 15/03/04-17/03/04, Editions Hermès, p. 47-61, mars 2004.
Introduction de la répartition et da la mobilité dans le calcul concurrent CAP : Étude bibliographique
Dans : Formalisation des Activités Concurrentes, Toulouse, 09/03/04-10/03/04, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, p. 1-20, mars 2004.
Formalisations pour les compositions de services
Informatique [cs]. Institut National Polytechnique de Toulouse (Toulouse INP), 2018
Courtage sémantique de services de calcul
Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2006.
Résumé Accès : http://ethesis.inp-toulouse.fr/archive/00000374/01/hurault.pdf
BibTeX
Nicolas Stouls, Aurélie Hurault
Actes des 15ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2016)
2016
Michel Daydé, Frédéric Desprez, Daniel Hagimont, Aurélie Hurault, Jean-Marc Pierson, Irea Touche
Utilisation des ressources/services informatiques : vers un accès simple et transparent ?
Tutoriel. juin 2008. Ecole d’été Informatique CEA-EDF-INRIA