Access content directly

Vincent Leroy



Image document

Debugging of Behavioural Models using Counterexample Analysis

Gianluca Barbon , Vincent Leroy , Gwen Salaün
IEEE Transactions on Software Engineering, 2021, 47 (6), pp.1184-1197. ⟨10.1109/TSE.2019.2915303⟩
Journal articles hal-02145610v1
Image document

Volume Sweeping: Learning Photoconsistency for Multi-View Shape Reconstruction

Vincent Leroy , Jean-Sébastien Franco , Edmond Boyer
International Journal of Computer Vision, 2021, 129, pp.284-299. ⟨10.1007/s11263-020-01377-0⟩
Journal articles hal-02975479v1


Alexandre Louvet , Julien Labreuche , Christophe Moreno , Claire Vanlemmens , Romain Moirand
Hepatology, 2020, 72, pp.4A-5A
Journal articles hal-03036281v1
Image document

Primary resistance of hepatitis B virus to nucleoside and nucleotide analogues

Stéphane Chevaliez , Christophe Rodriguez , Lila Poiteau , Alexandre Soulier , Flora Donati
Journal of Viral Hepatitis, 2019, 26 (2), pp.278-286. ⟨10.1111/jvh.13025⟩
Journal articles hal-03139196v1

Longterm Risk of Solid Organ De Novo Malignancies After Liver Transplantation: A French National Study on 11,226 Patients

Olivier Sérée , Mario Altieri , Elodie Guillaume , Rémy de Mil , Thierry Lobbedez
Liver Transplantation, 2018, 24 (10), pp.1425-1436. ⟨10.1002/lt.25310⟩
Journal articles hal-02000599v1

Personalized and Diverse Task Composition in Crowdsourcing

Maha Alsayasneh , Sihem Amer-Yahia , Éric Gaussier , Vincent Leroy , Julien Pilourdault
IEEE Transactions on Knowledge and Data Engineering, 2018, 30 (1), pp.128-141
Journal articles hal-02000487v1

Colloquial region discovery for retail products: discovery and application

Shashwat Mishra , Vincent Leroy , Sihem Amer-Yahia
International Journal of Data Science and Analytics, 2017, 4 (1), pp.17-34
Journal articles hal-02000496v1
Image document

TopPI: An efficient algorithm for item-centric mining

Vincent Leroy , Martin Kirchgessner , Alexandre Termier , Sihem Amer-Yahia
Information Systems, 2017, 64, pp.104 - 118. ⟨10.1016/⟩
Journal articles hal-01479067v1

A stepwise algorithm using an at-a-glance first-line test for the non-invasive diagnosis of advanced liver fibrosis and cirrhosis

Jérôme Boursier , Victor de Ledinghen , Vincent Leroy , Rodolphe Anty , Sven Francque
Journal of Hepatology, 2017, 66 (6), pp.1158-1165. ⟨10.1016/j.jhep.2017.01.003⟩
Journal articles hal-02448903v1

Deployment strategies for crowdsourcing text creation

Ria Mae Borromeo , Thomas Laurent , Motomichi Toyama , Maha Alsayasneh , Sihem Amer-Yahia
Information Systems, 2017, 71, pp.103-110
Journal articles hal-02000509v1
Image document

Efficacy of AKT Inhibitor ARQ 092 Compared with Sorafenib in a Cirrhotic Rat Model with Hepatocellular Carcinoma

Gaël S. Roth , Zuzana Jilkova , Ayca Zeybek Kuyucu , Keerthi Kurma , Ahmad Pour
Molecular Cancer Therapeutics, 2017, 9, pp.2803. ⟨10.1158/1535-7163.MCT-16-0602-T⟩
Journal articles inserm-02333028v1
Image document

Efficient and versatile FPGA acceleration of support counting for stream mining of sequences and frequent itemsets

Adrien Prost-Boucle , Frédéric Pétrot , Vincent Leroy , Hande Alemdar
ACM Transactions on Reconfigurable Technology and Systems (TRETS), 2017, ACM Transactions on Reconfigurable Technology and Systems (TRETS), 10 (3), pp.21. ⟨10.1145/3027485⟩
Journal articles hal-01474234v1

Albumin Use in Patients With Cirrhosis in France: Results of the “ALBU-LIVE” Survey

Armand Garioud , Jean-François Cadranel , Arnaud Pauwels , Jean-Baptiste Nousbaum , Thierry Thévenot
Journal of Clinical Gastroenterology, 2017, 51 (9), pp.831-838. ⟨10.1097/MCG.0000000000000735⟩
Journal articles hal-03149673v1
Image document

A Proof of Concept, Phase II Randomized European Trial, on the Efficacy of ALF-5755, a Novel Extracellular Matrix-Targeted Antioxidant in Patients with Acute Liver Diseases

Bertrand Nalpas , Philippe Ichai , Laure Jamot , Nicolas Carbonell , Marika Rudler
PLoS ONE, 2016, 11 (3), pp.e0150733. ⟨10.1371/journal.pone.0150733⟩
Journal articles hal-01872887v1

Liver-infiltrating CD8+ lymphocytes as prognostic factor for tumour recurrence in hepatitis C virus-related hepatocellular carcinoma

Muhammad Ramzan , Nathalie Sturm , Thomas Decaens , Paulette Bioulac-Sage , Brigitte Bancel
Liver International, 2016, 36 (3), pp.434-444. ⟨10.1111/liv.12927⟩
Journal articles hal-01800010v1

Collaborative Personalized Top-k Processing

Xiao Bai , Rachid Guerraoui , Anne-Marie Kermarrec , Vincent Leroy
ACM Transactions on Database Systems, 2011, 36 (4), ⟨10.1145/2043652.2043659⟩
Journal articles hal-00652036v1
Image document

Debugging of Behavioural Models with CLEAR

Gianluca Barbon , Vincent Leroy , Gwen Salaün
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_26⟩
Conference papers hal-02121180v1
Image document

Visual Debugging of Behavioural Models

Gianluca Barbon , Vincent Leroy , Gwen Salaün , Emmanuel Yah
ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩
Conference papers hal-02145535v1
Image document

Counterexample Simplification for Liveness Property Violation

Gianluca Barbon , Vincent Leroy , Gwen Salaün
SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩
Conference papers hal-01818790v1
Image document

Ternary Neural Networks for Resource-Efficient AI Applications

Hande Alemdar , Vincent Leroy , Adrien Prost-Boucle , Frédéric Pétrot
International Joint Conference on Neural Networks, May 2017, Anchorage, United States
Conference papers hal-01481478v1
Image document

Crowdsourcing Strategies for Text Creation Tasks

Ria Mae Borromeo , Maha Alsayasneh , Sihem Amer-Yahia , Vincent Leroy
Inter- national Conference on Extending Database Technology (EDBT), Mar 2017, Venise, Italy. ⟨10.5441/002/edbt.2017.42⟩
Conference papers hal-02000656v1
Image document

Debugging of Concurrent Systems using Counterexample Analysis

Gianluca Barbon , Vincent Leroy , Gwen Salaün
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
Conference papers hal-01533401v2
Image document

Scalable High-Performance Architecture for Convolutional Ternary Neural Networks on FPGA

Adrien Prost-Boucle , Alban Bourge , Frédéric Pétrot , Hande Alemdar , Nicholas Caldwell
Field Programmable Logic and Applications (FPL), 2017 27th International Conference on, Sep 2017, Gent, Belgium
Conference papers hal-01563763v1
Image document

Locality-Aware Routing in Stateful Streaming Applications

Matthieu Caneill , Ahmed El Rheddane , Vincent Leroy , Noël de Palma
Middleware'16 - 17th International Middleware Conference, ACM, IFIP, USENIX, Dec 2016, Trento, Italy. pp.1 - 13, ⟨10.1145/2988336.2988340⟩
Conference papers hal-01407457v1
Image document

TopPI: An Efficient Algorithm for Item-Centric Mining

Martin Kirchgessner , Vincent Leroy , Alexandre Termier , Sihem Amer-Yahia , Marie-Christine Rousset
18th International Conference on Big Data Analytics and Knowledge Discovery, Sep 2016, Porto, Portugal. ⟨10.1007/978-3-319-43946-4_2⟩
Conference papers hal-01354713v1
Image document

Task Composition in Crowdsourcing

Sihem Amer-Yahia , Eric Gaussier , Vincent Leroy , Julien Pilourdault , Ria Mae Borromeo
International Conference on Data Science and Advanced Analytics, Oct 2016, Montreal, Canada
Conference papers hal-01407780v1
Image document

Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns

Martin Kirchgessner , Vincent Leroy , Sihem Amer-Yahia , Shashwat Mishra
International Conference on Data Science and Advanced Analytics, Oct 2016, Montreal, Canada
Conference papers hal-01407787v1
Image document

Data Mining Approach to Temporal Debugging of Embedded Streaming Applications

Oleg Iegorov , Alexandre Termier , Vincent Leroy , Jean-François Méhaut , Miguel Santana
15th International Conference on Embedded Software (EMSOFT'2015), Oct 2015, Amsterdam, Netherlands
Conference papers hal-01178782v1
Image document

Building Representative Composite Items

Vincent Leroy , Sihem Amer-Yahia , Eric Gaussier , Hamid Mirisaee
Conference on Information and Knowledge Management (CIKM) 2015, Oct 2015, Melbourne, Australia. ⟨10.1145/2806416.2806465⟩
Conference papers hal-01180167v1
Image document

Piggybacking on Social Networks

Aristides Gionis , Flavio P. P. Junqueira , Vincent Leroy , Marco Serafini , Ingmar Weber
VLDB 2013 - 39th International Conference on Very Large Databases, Aug 2013, Riva del Garda, Trento, Italy. pp.409-420
Conference papers hal-00923545v1
Image document

DynaSoRe: Efficient In-Memory Store for Social Applications

Xiao Bai , Arnaud Jégou , Flavio P. Junqueira , Vincent Leroy
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩
Conference papers hal-00932468v1

Converging Quickly to Independent Uniform Random Topologies

Anne-Marie Kermarrec , Vincent Leroy , Christopher Thraves-Caro
19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), 2011., Feb 2011, Ayia Napa, Cyprus
Conference papers inria-00543249v1
Image document

Cold Start Link Prediction

Vincent Leroy , B. Barla Cambazoglu , Francesco Bonchi
The 16th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Jul 2010, Washington DC, United States. 12 p
Conference papers inria-00485619v1
Image document

Gossiping Personalized Queries

Xiao Bai , Marin Bertier , Rachid Guerraoui , Anne-Marie Kermarrec , Vincent Leroy
13th International Conference on Extending Database Technology, Mar 2010, Lausanne, Switzerland
Conference papers inria-00455643v1
Image document

D2HT: the best of both worlds, Integrating RPS and DHT

Marin Bertier , François Bonnet , Anne-Marie Kermarrec , Vincent Leroy , Sathya Peri
European Dependable Computing Conference, Apr 2010, Valencia, Spain
Conference papers inria-00459944v1
Image document

Application of Random Walks to Decentralized Recommender Systems

Anne-Marie Kermarrec , Vincent Leroy , Afshin Moin , Christopher Thraves-Caro
14th International Conference On Principles Of Distributed Systems, Dec 2010, Tozeur, Tunisia
Conference papers inria-00520214v1
Image document

Toward Personalized Query Expansion

Marin Bertier , Rachid Guerraoui , Anne-Marie Kermarrec , Vincent Leroy
Social Network Systems 2009, Mar 2009, Nuremberg, Germany
Conference papers inria-00368168v1
Image document

Vers un desktop-grid pair-à-pair

Vincent Leroy , Marin Bertier , Anne-Marie Kermarrec
CFSE '6, Feb 2008, Fribourg, Switzerland
Conference papers inria-00331824v1
Image document

Distributing Social Applications

Vincent Leroy
Networking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English. ⟨NNT : ⟩
Theses tel-00545639v1
Image document

Data Analysis at Scale: Systems, Algorithms and Information

Vincent Leroy
Distributed, Parallel, and Cluster Computing [cs.DC]. UGA - Université Grenoble Alpes, 2017
Habilitation à diriger des recherches tel-01628568v1