- 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