Publications HAL de Vincent,LEROY de la collection LIG
Résultats de la recherche --> Url version détaillée , Url version formatée
Critères : Author : "Vincent,LEROY", Collection(s) : "LIG"
Nombre d'occurrences trouvées : 27.

titre
Debugging of Behavioural Models using Counterexample Analysis
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün
article
IEEE Transactions on Software Engineering, 2021, 47 (6), pp.1184-1197. ⟨10.1109/TSE.2019.2915303⟩
titre
Visual Debugging of Behavioural Models
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah
article
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⟩
titre
Debugging of Behavioural Models with CLEAR
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün
article
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⟩
titre
Personalized and Diverse Task Composition in Crowdsourcing
auteur
Maha Alsayasneh, Sihem Amer-Yahia, Éric Gaussier, Vincent Leroy, Julien Pilourdault, Ria Mae Borromeo, Motomichi Toyama, Jean-Michel Renders
article
IEEE Transactions on Knowledge and Data Engineering, 2018, 30 (1), pp.128-141
titre
Counterexample Simplification for Liveness Property Violation
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün
article
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⟩
titre
Deployment strategies for crowdsourcing text creation
auteur
Ria Mae Borromeo, Thomas Laurent, Motomichi Toyama, Maha Alsayasneh, Sihem Amer-Yahia, Vincent Leroy
article
Information Systems, 2017, 71, pp.103-110
titre
Colloquial region discovery for retail products: discovery and application
auteur
Shashwat Mishra, Vincent Leroy, Sihem Amer-Yahia
article
International Journal of Data Science and Analytics, 2017, 4 (1), pp.17-34
titre
Efficient and versatile FPGA acceleration of support counting for stream mining of sequences and frequent itemsets
auteur
Adrien Prost-Boucle, Frédéric Pétrot, Vincent Leroy, Hande Alemdar
article
ACM Transactions on Reconfigurable Technology and Systems (TRETS), 2017, ACM Transactions on Reconfigurable Technology and Systems (TRETS), 10 (3), pp.21. ⟨10.1145/3027485⟩
titre
Eradication of Hepatitis C Virus Infection in Patients With Cirrhosis Reduces Risk of Liver and Non-Liver Complications
auteur
Pierre Nahon, Valérie Bourcier, Richard Layese, Etienne Audureau, Carole Cagnot, Patrick Marcellin, Dominique Guyader, Hélène Fontaine, Dominique Larrey, Victor de Ledinghen, Denis Ouzan, Fabien Zoulim, Dominique Roulot, Albert Tran, Jean-Pierre Bronowicki, Jean-Pierre Zarski, Vincent Leroy, Ghassan Riachi, Paul Calès, Jean-Marie Peron, Laurent Alric, Marc Bourlière, Philippe Mathurin, Sébastien Dharancy, Jean-Frederic Blanc, Armand Abergel, Lawrence Serfaty, Ariane Mallat, Jean-Didier Grangé, Pierre Attali, Yannick Bacq, Claire Wartelle, Thong Dao, Yves Benhamou, Christophe Pilette, Christine Silvain, Christos Christidis, Dominique Capron, Brigitte Bernard-Chabert, David Zucman, Vincent Di Martino, Vincent Thibaut, Dominique Salmon, Marianne Ziol, Angela Sutton, Stanislas Pol, Françoise Roudot-Thoraval
article
Gastroenterology, 2017, 152 (1), pp.142-156.e2. ⟨10.1053/j.gastro.2016.09.009⟩
titre
TopPI: An efficient algorithm for item-centric mining
auteur
Vincent Leroy, Martin Kirchgessner, Alexandre Termier, Sihem Amer-Yahia
article
Information Systems, 2017, 64, pp.104 - 118. ⟨10.1016/j.is.2016.09.001⟩
titre
Scalable High-Performance Architecture for Convolutional Ternary Neural Networks on FPGA
auteur
Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot, Hande Alemdar, Nicholas Caldwell, Vincent Leroy
article
Field Programmable Logic and Applications (FPL), 2017 27th International Conference on, Sep 2017, Gent, Belgium
titre
Ternary Neural Networks for Resource-Efficient AI Applications
auteur
Hande Alemdar, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot
article
International Joint Conference on Neural Networks, May 2017, Anchorage, United States
titre
Debugging of Concurrent Systems using Counterexample Analysis
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün
article
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
titre
Crowdsourcing Strategies for Text Creation Tasks
auteur
Ria Mae Borromeo, Maha Alsayasneh, Sihem Amer-Yahia, Vincent Leroy
article
Inter- national Conference on Extending Database Technology (EDBT), Mar 2017, Venise, Italy. ⟨10.5441/002/edbt.2017.42⟩
titre
Data Analysis at Scale: Systems, Algorithms and Information
auteur
Vincent Leroy
article
Distributed, Parallel, and Cluster Computing [cs.DC]. UGA - Université Grenoble Alpes, 2017
titre
Multicentre experience using daclatasvir and sofosbuvir to treat hepatitis C recurrence - The ANRS CUPILT study
auteur
Audrey Coilly, Claire Fougerou-Leurent, Victor De Ledinghen, Pauline Houssel-Debry, Christophe Duvoux, Vincent Di Martino, Sylvie Radenne, Nassim Kamar, Louis d'Alteroche, Vincent Leroy, Valérie Canva, Pascal Lebray, Christophe Moreno, Jérôme Dumortier, Christine Silvain, Camille Besch, Philippe Perré, Danielle Botta-Fridlund, Rodolphe Anty, Claire Francoz, Armando Aberge, Maryline Debette-Gratien, Filomena Conti, François Habersetzer, Alexandra Rohel, Emilie Rossignol, Helene Danjou, Anne-Marie Roque-Afonso, Didier Samuel, Jean-Charles Duclos-Vallée, Georges-Philippe Pageaux
article
Journal of Hepatology, 2016, 65 (4), pp.711--718. ⟨10.1016/j.jhep.2016.05.039⟩
titre
Locality-Aware Routing in Stateful Streaming Applications
auteur
Matthieu Caneill, Ahmed El Rheddane, Vincent Leroy, Noël de Palma
article
Middleware'16 - 17th International Middleware Conference, ACM, IFIP, USENIX, Dec 2016, Trento, Italy. pp.1 - 13, ⟨10.1145/2988336.2988340⟩
titre
Task Composition in Crowdsourcing
auteur
Sihem Amer-Yahia, Eric Gaussier, Vincent Leroy, Julien Pilourdault, Ria Mae Borromeo, Motomichi Toyama
article
International Conference on Data Science and Advanced Analytics, Oct 2016, Montreal, Canada
titre
Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns
auteur
Martin Kirchgessner, Vincent Leroy, Sihem Amer-Yahia, Shashwat Mishra
article
International Conference on Data Science and Advanced Analytics, Oct 2016, Montreal, Canada
titre
TopPI: An Efficient Algorithm for Item-Centric Mining
auteur
Martin Kirchgessner, Vincent Leroy, Alexandre Termier, Sihem Amer-Yahia, Marie-Christine Rousset
article
18th International Conference on Big Data Analytics and Knowledge Discovery, Sep 2016, Porto, Portugal. ⟨10.1007/978-3-319-43946-4_2⟩
titre
Distributed Evaluation of Top-k Temporal Joins
auteur
Julien Pilourdault, Vincent Leroy, Sihem Amer-Yahia
article
2016
titre
Building Representative Composite Items
auteur
Vincent Leroy, Sihem Amer-Yahia, Eric Gaussier, Hamid Mirisaee
article
Conference on Information and Knowledge Management (CIKM) 2015, Oct 2015, Melbourne, Australia. ⟨10.1145/2806416.2806465⟩
titre
Data Mining Approach to Temporal Debugging of Embedded Streaming Applications
auteur
Oleg Iegorov, Alexandre Termier, Vincent Leroy, Jean-François Méhaut, Miguel Santana
article
15th International Conference on Embedded Software (EMSOFT'2015), Oct 2015, Amsterdam, Netherlands
titre
Interactive Data-Driven Research: the place where databases and data mining research meet
auteur
Sihem Amer-Yahia, Vincent Leroy, Alexandre Termier, Martin Kirchgessner, Behrooz Omidvar-Tehrani
article
[Research Report] RR-LIG-049, LIG. 2015
titre
Discovering Characterizing Regions For Consumer Products
auteur
Shashwat Mishra, Vincent Leroy, Sihem Amer-Yahia
article
2015
titre
DynaSoRe: Efficient In-Memory Store for Social Applications
auteur
Xiao Bai, Arnaud Jégou, Flavio P. Junqueira, Vincent Leroy
article
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩
titre
Piggybacking on Social Networks
auteur
Aristides Gionis, Flavio P. P. Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber
article
VLDB 2013 - 39th International Conference on Very Large Databases, Aug 2013, Riva del Garda, Trento, Italy. pp.409-420