equipos actuales :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Antiguos equipos :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Antiguos temas de investigación :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publicaciones MoVe	2015	2016	2017	2018	2019	2020	Total
Libros	0	1	0	0	0	0	1
Libros editados	2	2	3	2	3	0	12
Artículos de revistas	9	12	11	5	7	5	49
Capítulos de libros	0	2	1	1	3	0	7
Documentos de conferencias	30	18	28	19	18	10	123
Habilitaciones	1	2	1	0	1	0	5
Tesis	2	3	0	0	3	0	8

LIP6

• M. Acher, P. Temple, J.‑M. Jézéquel, J. Galindo Duarte, J. Martinez, T. Ziadi : “VaryLaTeX: Learning Paper Variants That Meet Constraints”, VaMoS 2018 - 12^th International Workshop on Variability Modelling of Software-Intensive Systems, Madrid, Spain, pp. 83-88, (ACM) [Acher 2018]
• S. Baarir, R. Bendraou, H. Metin, Y. Laurent : “ProVer: an SMT-based approach for process verification”, Model-Driven Engineering Verification & Validation, MoDELS Workshop, vol. 2245, MODELS Workshops, Copenhague, Denmark, pp. 555-562 [Baarir 2018]
• B. Barbot, B. Bérard, Y. Duplouy, S. Haddad : “Integrating Simulink Models into the Model Checker Cosmos”, Application and Theory of Petri Nets and Concurrency - Petri Nets 2018, vol. 10877, Lecture Notes in Computer Sciences, Bratislava, Slovakia, pp. 363-373, (Springer) [Barbot 2018b]
• B. Bérard, P. Bouyer, V. Jugé : “Finite Bisimulations for Dynamical Systems with Overlapping Trajectories”, LIPICS, vol. 119, Birmingham, United Kingdom, pp. 26:1-26:17, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Bérard 2018b]
• B. Bérard, S. Haar, L. Hélouët : “Hyper Partial Order Logic”, 38^th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, vol. 122, Leibniz International Proceedings in Informatics (LIPIcs), Ahmedabad, India, pp. 20:1-20:21, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Bérard 2018c]
• B. Bollig, M. Lehaut, N. Sznajder : “Round-Bounded Control of Parameterized Systems”, 16^th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), vol. 11138, Proceedings of the 16^th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, California, United States, pp. 370-386, (Springer) [Bollig 2018]
• D. Boufedji, Z. Guessoum, A. Brandao, T. Ziadi, A. Mokhtari : “Towards a MAS Product Line Engineering Approach”, Engineering Multi-Agent Systems 5^th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers, vol. 10738, Lecture Notes in Artificial Intelligence, Sao Paulo, Brazil, pp. 161-179, (Springer) [Boufedji 2018]
• E. EFFA BELLA, L. Wouters, M.‑P. Gervais, A. Koudri, R. Bendraou : “Semi-supervised Approach for Recovering Traceability Links in Complex Systems”, ICECCS 2018 - 23rd International Conference on Engineering of Complex Computer Systems, Melbourne, Australia [EFFA BELLA 2018]
• R. Hebig, R. Bendraou, D. Khelladi : “Reporting on a Survey on Approaches to Co-Evolution of Metamodels and Models”, Software Engineering, Berlin, Germany [Hebig 2018]
• F. Kordon, Y. Thierry‑Mieg : “Self-adaptive Model Checking, the Next Step?”, Application and Theory of Petri Nets and Concurrency, Bratislava, Slovakia [Kordon 2018d]
• J. Malenfant : “Towards a well-founded software component model for cyber-physical control systems”, Second IEEE International Conference on Robotic Computing, Laguna Hills, California, United States [Malenfant 2018]
• J. Martinez, J.‑S. Sottet, A. García Frey, T. Bissyandé, T. Ziadi, J. Klein, P. Temple, M. Acher, Y. Le Traon : “Towards Estimating and Predicting User Perception on Software Product Variants”, ICSR 2018 - International Conference on Software Reuse, vol. 10826, LNCS, Madrid, Spain, pp. 23-40, (Springer) [Martinez 2018a]
• J. Martinez, N. Ordoñez, Xh. Tërnava, T. Ziadi, J. Aponte, E. Figueiredo, M. Valente : “Feature Location Benchmark with ArgoUML SPL”, Systems and Software Product Line Conference (SPLC), Gothenburg, Sweden [Martinez 2018b]
• J. Martinez, Xh. Tërnava, T. Ziadi : “Software Product Line Extraction from Variability-Rich Systems: The Robocode Case Study”, Systems and Software Product Line Conference (SPLC), Gothenburg, Sweden [Martinez 2018d]
• H. Metin, S. Baarir, M. Colange, F. Kordon : “CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving”, Tools and Algorithms for the Construction and Analysis of Systems 24^th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings,, Tessaloniki, Greece [Metin 2018]
• Quentin L. Meunier, Y. Thierry Mieg, E. Encrenaz : “Modeling a Cache Coherence Protocol with the Guarded Action Language”, Workshop on Models for Formal Analysis of Real Systems, Thessaloniki, Greece [Meunier 2018]
• T. Ziadi, L. Hillah : “Software Product Line Extraction from Bytecode based applications”, International Conference on Engineering of Complex Computer Systems, Melbourne, Australia [Ziadi 2018a]