Aurélie Hurault

37 papers B 4C 4Misc 1Journal 16Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Formally Correct Search for Interpretable DNFs. FASE Imane Bousdira, Martin C. Cooper, Aurélie Hurault
2025	B	`conf`	Certified Enumeration of AI Explanations: A Focus on Monotonic Classifiers. ICECCS Clément Contet, Rosalie Defourné, Aurélie Hurault
2023	C	`conf`	Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. TAP Aurélie Hurault, João Marques-Silva
2023	J	`jnl`	Tasks in modular proofs of concurrent algorithms. Inf. Comput. Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
2021	J	`jnl`	Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models. Log. Methods Comput. Sci. Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2020	J	`jnl`	Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models. CoRR Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2020	J	`jnl`	Derivation of Heard-Of Predicates From Elementary Behavioral Patterns. CoRR Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2020	C	`conf`	Derivation of Heard-of Predicates from Elementary Behavioral Patterns. FORTE Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2019	—	`conf`	A Map of Asynchronous Communication Models. FM Workshops (2) Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec
2019	J	`jnl`	A modular framework for verifying versatile distributed systems. J. Log. Algebraic Methods Program. Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
2019	—	`conf`	Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. TAP@FM Aurélie Hurault, Philippe Quéinnec
2019	C	`conf`	Tasks in Modular Proofs of Concurrent Algorithms. SSS Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
2019	J	`jnl`	Tasks in Modular Proofs of Concurrent Algorithms. CoRR Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
2018	—	`conf`	A Modular Framework for Verifying Versatile Distributed Systems. HPCS Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
2018	B	`conf`	Characterizing Asynchronous Message-Passing Models Through Rounds. OPODIS Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2018	J	`jnl`	Characterizing Asynchronous Message-Passing Models Through Rounds. CoRR Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2018	—	`book`	Formalisations pour les compositions de services. Aurélie Hurault
2017	B	`conf`	Asynchronous Message Orderings Beyond Causality. OPODIS Adam Shimi, Aurélie Hurault, Philippe Quéinnec
2017	Misc	`conf`	Inference of Channel Priorities for Asynchronous Communication. DCAI Nathanaël Sensfelder, Aurélie Hurault, Philippe Quéinnec
2016	C	`conf`	Mechanized Refinement of Communication Models with TLA ^+ +. ABZ Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec
2016	J	`jnl`	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. Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault, Meriem Ouederni, Philippe Quéinnec
2016	J	`jnl`	On the diversity of asynchronous communication. Formal Aspects Comput. Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
2015	J	`jnl`	Automated Verification of Asynchronous Communicating Systems with TLA+. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
2015	—	`conf`	QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm. ICIST Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault
2015	J	`jnl`	Selecting linear algebra kernel composition using response time prediction. Softw. Pract. Exp. Aurélie Hurault, Kyungim Baek, Henri Casanova
2013	J	`jnl`	Enabling workflows in GridSolve: request sequencing and service trading. J. Supercomput. Yinan Li, Asim YarKhan, Jack J. Dongarra, Keith Seymour, Aurélie Hurault
2013	J	`jnl`	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. Hrachya V. Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel J. Daydé, Aurélie Hurault, Ronan Guivarch, Harutyun Terzyan, Levon Hovhannisyan
2013	—	`conf`	Resource Management Architecture for Fair Scheduling of Optional Computations. 3PGCIC Frederic Camillo, Eddy Caron, Ronan Guivarch, Aurélie Hurault, Cristian Klein, Christian Pérez
2011	J	`jnl`	Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services. Tech. Sci. Informatiques Aurélie Hurault, Marc Pantel, Michel J. Daydé
2011	—	`conf`	Enabling Large-Scale Linear Systems of Equations on Hybrid HPC Infrastructures. ICT Innovations Hrachya V. Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel J. Daydé, Aurélie Hurault
2010	—	`conf`	Intelligent Service Trading and Brokering for Distributed Network Services in GridSolve. VECPAR Aurélie Hurault, Asim YarKhan
2009	J	`jnl`	Advanced service trading for scientific computing over the grid. J. Supercomput. Aurélie Hurault, Michel J. Daydé, Marc Pantel
2008	—	`conf`	A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations. VECPAR Hrachya V. Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel J. Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron
2006	—	`—`	Courtage sémantique de services de calcul. (Semantic computing service trading). Aurélie Hurault
2006	—	`conf`	Semantic-Based Service Trading: Application to Linear Algebra. VECPAR Michel J. Daydé, Aurélie Hurault, Marc Pantel
2005	—	`conf`	Mathematical Service Trading Based on Equational Matching. Calculemus Aurélie Hurault, Marc Pantel
2004	J	`jnl`	Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel. Obj. Logiciel Base données Réseaux Aurélie Hurault, Vincent Hennebert, Marc Pantel