Debugging of Behavioural Models using Counterexample Analysis.

Vincent Leroy 0001 University of Grenoble, Laboratoire d'Informatique de Grenoble (LIG), France Vincent Leroy 0002 http://lig-membres.imag.fr/leroyv/ https://orcid.org/0000-0003-3464-726X Vincent Leroy Vincent Leroy 0002 INRIA Rhônes-Alpes, Morpheo team, France Vincent Leroy 0001 http://morpheo.inrialpes.fr/people/vleroy/ https://orcid.org/0000-0003-1490-6738 Vincent Leroy 0003 NAVER LABS Europe, Meylan, France Vincent Leroy 0004 Rayference, Bruxelles, Belgium Von Karman Institute for Fluid Dynamics, Rhode-St-Genèse, Belgium École Centrale Paris, Gif-sur-Yvette, France https://sciprofiles.com/profile/630420 https://ieeexplore.ieee.org/author/991793586587059 https://orcid.org/0000-0002-5407-0237

Gianluca Barbon Vincent Leroy 0001 Gwen Salaün Debugging of Behavioural Models using Counterexample Analysis. 1184-1197 2021 47 IEEE Trans. Software Eng. 6 https://doi.org/10.1109/TSE.2019.2915303 https://www.wikidata.org/entity/Q124956471 db/journals/tse/tse47.html#BarbonLS21

Gianluca Barbon Vincent Leroy 0001 Gwen Salaün Emmanuel Yah Visual debugging of behavioural models. 107-110 2019 ICSE (Companion Volume) https://doi.org/10.1109/ICSE-Companion.2019.00050 https://dl.acm.org/citation.cfm?id=3339715 conf/icse/2019c db/conf/icse/icse2019c.html#Barbon0SY19 Gianluca Barbon Vincent Leroy 0001 Gwen Salaün Debugging of Behavioural Models with CLEAR. 386-392 2019 TACAS (1) https://doi.org/10.1007/978-3-030-17462-0_26 conf/tacas/2019-1 db/conf/tacas/tacas2019-1.html#BarbonLS19

Maha Alsayasneh Sihem Amer-Yahia Éric Gaussier Vincent Leroy 0001 Julien Pilourdault Ria Mae Borromeo Motomichi Toyama Jean-Michel Renders Personalized and Diverse Task Composition in Crowdsourcing. 128-141 2018 30 IEEE Trans. Knowl. Data Eng. 1 https://doi.org/10.1109/TKDE.2017.2755660 http://doi.ieeecomputersociety.org/10.1109/TKDE.2017.2755660 db/journals/tkde/tkde30.html#AlsayasnehAGLPB18

Gianluca Barbon Vincent Leroy 0001 Gwen Salaün Counterexample Simplification for Liveness Property Violation. 173-188 2018 SEFM https://doi.org/10.1007/978-3-319-92970-5_11 conf/sefm/2018 db/conf/sefm/sefm2018.html#Barbon0S18 Vincent Leroy 0001 Data Analysis at Scale: Systems, Algorithms and Information. 2017 Grenoble Alpes University, France https://tel.archives-ouvertes.fr/tel-01628568

Shashwat Mishra Vincent Leroy 0001 Sihem Amer-Yahia Colloquial region discovery for retail products: discovery and application. 17-34 2017 4 Int. J. Data Sci. Anal. 1 https://doi.org/10.1007/s41060-017-0048-z db/journals/ijdsa/ijdsa4.html#MishraLA17

Vincent Leroy 0001 Martin Kirchgessner Alexandre Termier Sihem Amer-Yahia TopPI: An efficient algorithm for item-centric mining. 104-118 2017 64 Inf. Syst. https://doi.org/10.1016/j.is.2016.09.001 db/journals/is/is64.html#LeroyKTA17

Ria Mae Borromeo Thomas Laurent 0003 Motomichi Toyama Maha Alsayasneh Sihem Amer-Yahia Vincent Leroy 0001 Deployment strategies for crowdsourcing text creation. 103-110 2017 71 Inf. Syst. https://doi.org/10.1016/j.is.2017.06.007 db/journals/is/is71.html#BorromeoLTAAL17

Adrien Prost-Boucle Frédéric Pétrot Vincent Leroy 0001 Hande Alemdar Efficient and Versatile FPGA Acceleration of Support Counting for Stream Mining of Sequences and Frequent Itemsets. 21:1-21:25 2017 10 ACM Trans. Reconfigurable Technol. Syst. 3 https://doi.org/10.1145/3027485 https://www.wikidata.org/entity/Q62680872 db/journals/trets/trets10.html#Prost-BouclePLA17

Ria Mae Borromeo Maha Alsayasneh Sihem Amer-Yahia Vincent Leroy 0001 Crowdsourcing Strategies for Text Creation Tasks. 450-453 2017 EDBT https://doi.org/10.5441/002/edbt.2017.42 conf/edbt/2017 db/conf/edbt/edbt2017.html#BorromeoAAL17 Adrien Prost-Boucle Alban Bourge Frédéric Pétrot Hande Alemdar Nicholas Caldwell Vincent Leroy 0001 Scalable high-performance architecture for convolutional ternary neural networks on FPGA. 1-7 2017 FPL https://doi.org/10.23919/FPL.2017.8056850 https://www.wikidata.org/entity/Q62680879 conf/fpl/2017 db/conf/fpl/fpl2017.html#Prost-BoucleBPA17 Gianluca Barbon Vincent Leroy 0001 Gwen Salaün Debugging of Concurrent Systems Using Counterexample Analysis. 20-34 2017 FSEN https://doi.org/10.1007/978-3-319-68972-2_2 conf/fsen/2017 db/conf/fsen/fsen2017.html#BarbonLS17 Hande Alemdar Vincent Leroy 0001 Adrien Prost-Boucle Frédéric Pétrot Ternary neural networks for resource-efficient AI applications. 2547-2554 2017 IJCNN https://doi.org/10.1109/IJCNN.2017.7966166 https://www.wikidata.org/entity/Q62680881 conf/ijcnn/2017 db/conf/ijcnn/ijcnn2017.html#AlemdarLPP17 Martin Kirchgessner Vincent Leroy 0001 Alexandre Termier Sihem Amer-Yahia Marie-Christine Rousset TopPI: An Efficient Algorithm for Item-Centric Mining. 19-33 2016 DaWaK https://doi.org/10.1007/978-3-319-43946-4_2 conf/dawak/2016 db/conf/dawak/dawak2016.html#KirchgessnerLTA16 Sihem Amer-Yahia Éric Gaussier Vincent Leroy 0001 Julien Pilourdault Ria Mae Borromeo Motomichi Toyama Task Composition in Crowdsourcing. 194-203 2016 DSAA https://doi.org/10.1109/DSAA.2016.27 conf/dsaa/2016 db/conf/dsaa/dsaa2016.html#Amer-YahiaGLPBT16 Martin Kirchgessner Vincent Leroy 0001 Sihem Amer-Yahia Shashwat Mishra Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns. 547-556 2016 DSAA https://doi.org/10.1109/DSAA.2016.53 conf/dsaa/2016 db/conf/dsaa/dsaa2016.html#KirchgessnerLAM16 Matthieu Caneill Ahmed El-Rheddane Vincent Leroy 0001 Noël De Palma Locality-Aware Routing in Stateful Streaming Applications. 4 2016 Middleware http://dl.acm.org/citation.cfm?id=2988340 conf/middleware/2016 db/conf/middleware/middleware2016.html#CaneillELP16 Julien Pilourdault Vincent Leroy 0001 Sihem Amer-Yahia Distributed Evaluation of Top-k Temporal Joins. 1027-1039 2016 SIGMOD Conference https://doi.org/10.1145/2882903.2882912 conf/sigmod/2016 db/conf/sigmod/sigmod2016.html#PilourdaultLA16

Martin Kirchgessner Vincent Leroy 0001 Sihem Amer-Yahia Shashwat Mishra Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns. 2016 abs/1603.04792 CoRR http://arxiv.org/abs/1603.04792 db/journals/corr/corr1603.html#KirchgessnerLAM16

Hande Alemdar Nicholas Caldwell Vincent Leroy 0001 Adrien Prost-Boucle Frédéric Pétrot Ternary Neural Networks for Resource-Efficient AI Applications. 2016 abs/1609.00222 CoRR http://arxiv.org/abs/1609.00222 db/journals/corr/corr1609.html#AlemdarCLPP16

Vincent Leroy 0001 Sihem Amer-Yahia Éric Gaussier Seyed Hamid Mirisaee Building Representative Composite Items. 1421-1430 2015 CIKM https://doi.org/10.1145/2806416.2806465 conf/cikm/2015 db/conf/cikm/cikm2015.html#LeroyAGM15 Shashwat Mishra Vincent Leroy 0001 Sihem Amer-Yahia Discovering characterizing regions for consumer products. 1-10 2015 DSAA https://doi.org/10.1109/DSAA.2015.7344822 conf/dsaa/2015 db/conf/dsaa/dsaa2015.html#MishraLA15 Oleg Iegorov Vincent Leroy 0001 Alexandre Termier Jean-François Méhaut Miguel Santana Data mining approach to temporal debugging of embedded streaming applications. 167-176 2015 EMSOFT https://doi.org/10.1109/EMSOFT.2015.7318272 http://dl.acm.org/citation.cfm?id=2830884 conf/emsoft/2015 db/conf/emsoft/emsoft2015.html#IegorovLTMS15 Sihem Amer-Yahia Vassilis Christophides Anastasios Kementsietsidis Minos N. Garofalakis Stratos Idreos Vincent Leroy 0001 Proceedings of the 17th International Conference on Extending Database Technology, EDBT 2014, Athens, Greece, March 24-28, 2014. EDBT OpenProceedings.org 2014 db/conf/edbt/edbt2014.html http://openproceedings.org/html/pages/2014_edbt.html K. Selçuk Candan Sihem Amer-Yahia Nicole Schweikardt Vassilis Christophides Vincent Leroy 0001 Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014. EDBT/ICDT Workshops CEUR-WS.org CEUR Workshop Proceedings 1133 2014 https://ceur-ws.org/Vol-1133 https://nbn-resolving.org/urn:nbn:de:0074-1133-4 db/conf/edbt/edbtw2014.html Nicole Schweikardt Vassilis Christophides Vincent Leroy 0001 Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014. ICDT OpenProceedings.org 2014 db/conf/icdt/icdt2014.html http://openproceedings.org/html/pages/2014_icdt.html

Aristides Gionis Flavio Junqueira Vincent Leroy 0001 Marco Serafini Ingmar Weber Piggybacking on Social Networks. 409-420 2013 6 Proc. VLDB Endow. 6 http://www.vldb.org/pvldb/vol6/p409-serafini.pdf https://doi.org/10.14778/2536336.2536342 db/journals/pvldb/pvldb6.html#GionisJLSW13

Xiao Bai 0002 Arnaud Jégou Flavio Junqueira Vincent Leroy 0001 DynaSoRe: Efficient In-Memory Store for Social Applications. 425-444 2013 Middleware https://doi.org/10.1007/978-3-642-45065-5_22 conf/middleware/2013 db/conf/middleware/middleware2013.html#BaiJJL13 Flavio Paiva Junqueira Vincent Leroy 0001 Matthieu Morel Reactive index replication for distributed search engines. 831-840 2012 SIGIR https://doi.org/10.1145/2348283.2348394 conf/sigir/2012 db/conf/sigir/sigir2012.html#JunqueiraLM12 Flavio Paiva Junqueira Vincent Leroy 0001 Marco Serafini Adam Silberstein Shepherding social feed generation with Sheep. 7 2012 SNS https://doi.org/10.1145/2181176.2181183 conf/sns/2012 db/conf/sns/sns2012.html#JunqueiraLSS12 Aristides Gionis Flavio Junqueira Vincent Leroy 0001 Marco Serafini Ingmar Weber Social piggybacking: leveraging common friends to generate event streams. 8 2012 SNS https://doi.org/10.1145/2181176.2181184 https://www.wikidata.org/entity/Q60241761 conf/sns/2012 db/conf/sns/sns2012.html#GionisJLSW12

Xiao Bai 0002 Rachid Guerraoui Anne-Marie Kermarrec Vincent Leroy 0001 Collaborative personalized top-k processing. 26:1-26:38 2011 36 ACM Trans. Database Syst. 4 https://doi.org/10.1145/2043652.2043659 db/journals/tods/tods36.html#BaiGKL11

Roi Blanco Berkant Barla Cambazoglu Flavio Paiva Junqueira Ivan Kelly Vincent Leroy 0001 Assigning documents to master sites in distributed search. 67-76 2011 CIKM https://doi.org/10.1145/2063576.2063591 conf/cikm/2011 db/conf/cikm/cikm2011.html#BlancoCJKL11 Anne-Marie Kermarrec Vincent Leroy 0001 Gilles Trédan Distributed social graph embedding. 1209-1214 2011 CIKM https://doi.org/10.1145/2063576.2063751 conf/cikm/2011 db/conf/cikm/cikm2011.html#KermarrecLT11 Anne-Marie Kermarrec Vincent Leroy 0001 Christopher Thraves Converging Quickly to Independent Uniform Random Topologies. 159-166 2011 PDP https://doi.org/10.1109/PDP.2011.60 https://doi.ieeecomputersociety.org/10.1109/PDP.2011.60 conf/pdp/2011 db/conf/pdp/pdp2011.html#KermarrecLT11 Vincent Leroy 0001 Distributing Social Applications. 2010 INSA de Rennes, France https://tel.archives-ouvertes.fr/tel-00545639 Xiao Bai 0002 Marin Bertier Rachid Guerraoui Anne-Marie Kermarrec Vincent Leroy 0001 Gossiping personalized queries. 87-98 2010 EDBT https://doi.org/10.1145/1739041.1739055 conf/edbt/2010 db/conf/edbt/edbt2010.html#BaiBGKL10 Marin Bertier François Bonnet 0001 Anne-Marie Kermarrec Vincent Leroy 0001 Sathya Peri Michel Raynal D2HT: The Best of Both Worlds, Integrating RPS and DHT. 135-144 2010 EDCC https://doi.org/10.1109/EDCC.2010.25 https://doi.ieeecomputersociety.org/10.1109/EDCC.2010.25 conf/edcc/2010 db/conf/edcc/edcc2010.html#BertierBKLPR10 Vincent Leroy 0001 Berkant Barla Cambazoglu Francesco Bonchi Cold start link prediction. 393-402 2010 KDD https://doi.org/10.1145/1835804.1835855 conf/kdd/2010 db/conf/kdd/kdd2010.html#LeroyCB10 Marin Bertier Davide Frey Rachid Guerraoui Anne-Marie Kermarrec Vincent Leroy 0001 The Gossple Anonymous Social Network. 191-211 2010 Middleware https://doi.org/10.1007/978-3-642-16955-7_10 conf/middleware/2010 db/conf/middleware/middleware2010.html#BertierFGKL10 Anne-Marie Kermarrec Vincent Leroy 0001 Afshin Moin Christopher Thraves Application of Random Walks to Decentralized Recommender Systems. 48-63 2010 OPODIS https://doi.org/10.1007/978-3-642-17653-1_4 conf/opodis/2010 db/conf/opodis/opodis2010.html#KermarrecLMT10 Marin Bertier Rachid Guerraoui Vincent Leroy 0001 Anne-Marie Kermarrec Toward personalized query expansion. 7-12 2009 SNS https://doi.org/10.1145/1578002.1578004 conf/sns/2009 db/conf/sns/sns2009.html#BertierGLK09 Hande Alemdar Maha Alsayasneh Sihem Amer-Yahia Xiao Bai 0002 Gianluca Barbon Marin Bertier Roi Blanco Francesco Bonchi François Bonnet 0001 Ria Mae Borromeo Alban Bourge Nicholas H. M. CaldwellNicholas Caldwell Berkant Barla Cambazoglu K. Selçuk Candan Matthieu Caneill Vassilis Christophides Ahmed El-Rheddane Davide Frey Minos N. Garofalakis Éric Gaussier Aristides Gionis Rachid Guerraoui Stratos Idreos Oleg Iegorov Arnaud Jégou Flavio Paiva JunqueiraFlavio Junqueira Ivan Kelly Anastasios Kementsietsidis Anne-Marie Kermarrec Martin Kirchgessner Thomas Laurent 0003 Jean-François Méhaut Seyed Hamid Mirisaee Shashwat Mishra Afshin Moin Matthieu Morel Noel De PalmaNoël De Palma Sathya Peri Frédéric Pétrot Julien Pilourdault Adrien Prost-Boucle Michel Raynal Jean-Michel Renders Marie-Christine Rousset Gwen Salaün Miguel Santana Nicole Schweikardt Marco Serafini Adam Silberstein Alexandre Termier Christopher Thraves Motomichi Toyama Gilles Trédan Ingmar Weber Emmanuel Yah