Vincent Leroy
Publications
Publications
|
|
Visual Debugging of Behavioural ModelsICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩ |
|
|
Debugging of Behavioural Models with CLEARTACAS 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⟩ |
|
|
Counterexample Simplification for Liveness Property ViolationSEFM 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⟩ |
|
|
Crowdsourcing Strategies for Text Creation TasksInter- national Conference on Extending Database Technology (EDBT), Mar 2017, Venise, Italy. ⟨10.5441/002/edbt.2017.42⟩ |
|
|
Scalable High-Performance Architecture for Convolutional Ternary Neural Networks on FPGAField Programmable Logic and Applications (FPL), 2017 27th International Conference on, Sep 2017, Gent, Belgium |
|
|
Debugging of Concurrent Systems using Counterexample Analysis7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩ |
|
|
Ternary Neural Networks for Resource-Efficient AI ApplicationsInternational Joint Conference on Neural Networks, May 2017, Anchorage, United States |
|
|
Task Composition in CrowdsourcingInternational Conference on Data Science and Advanced Analytics, Oct 2016, Montreal, Canada |
|
|
Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying PatternsInternational Conference on Data Science and Advanced Analytics, Oct 2016, Montreal, Canada |
|
|
TopPI: An Efficient Algorithm for Item-Centric Mining18th International Conference on Big Data Analytics and Knowledge Discovery, Sep 2016, Porto, Portugal. ⟨10.1007/978-3-319-43946-4_2⟩ |
|
|
Locality-Aware Routing in Stateful Streaming ApplicationsMiddleware'16 - 17th International Middleware Conference, ACM, IFIP, USENIX, Dec 2016, Trento, Italy. pp.1 - 13, ⟨10.1145/2988336.2988340⟩ |
|
|
Building Representative Composite ItemsConference on Information and Knowledge Management (CIKM) 2015, Oct 2015, Melbourne, Australia. ⟨10.1145/2806416.2806465⟩ |
|
|
Data Mining Approach to Temporal Debugging of Embedded Streaming Applications15th International Conference on Embedded Software (EMSOFT'2015), Oct 2015, Amsterdam, Netherlands |
|
|
Piggybacking on Social NetworksVLDB 2013 - 39th International Conference on Very Large Databases, Aug 2013, Riva del Garda, Trento, Italy. pp.409-420 |
|
|
DynaSoRe: Efficient In-Memory Store for Social Applications14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩ |
Converging Quickly to Independent Uniform Random Topologies19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), 2011., Feb 2011, Ayia Napa, Cyprus |
|
|
|
Cold Start Link PredictionThe 16th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Jul 2010, Washington DC, United States. 12 p |
|
|
Application of Random Walks to Decentralized Recommender Systems14th International Conference On Principles Of Distributed Systems, Dec 2010, Tozeur, Tunisia |
|
|
D2HT: the best of both worlds, Integrating RPS and DHTEuropean Dependable Computing Conference, Apr 2010, Valencia, Spain |
|
|
Gossiping Personalized Queries13th International Conference on Extending Database Technology, Mar 2010, Lausanne, Switzerland |
|
|
Toward Personalized Query ExpansionSocial Network Systems 2009, Mar 2009, Nuremberg, Germany |
|
|
Vers un desktop-grid pair-à-pairCFSE '6, Feb 2008, Fribourg, Switzerland |
|
|
Distributed Evaluation of Top-k Temporal Joins2016 |
|
|
Discovering Characterizing Regions For Consumer Products2015 |
|
|
Interactive Data-Driven Research: the place where databases and data mining research meet[Research Report] RR-LIG-049, LIG. 2015 |
|
|
Addressing Sparsity in Decentralized Recommender Systems through Random Walks[Research Report] 2010, pp.21 |
|
|
Ensuring Uniformity in Random Peer Sampling Services[Research Report] 2010 |
|
|
Distributed Social Graph Embedding[Research Report] RR-7327, INRIA. 2010 |
|
|
Personalized Web Search by Gossiping with Unknown Social Acquaintances[Research Report] RR-6878, INRIA. 2009 |
|
|
Distributing Social ApplicationsNetworking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English. ⟨NNT : ⟩ |
|
|
Data Analysis at Scale: Systems, Algorithms and InformationDistributed, Parallel, and Cluster Computing [cs.DC]. UGA - Université Grenoble Alpes, 2017 |