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	3	4
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	17	130
Habilitaciones	1	2	1	0	1	0	5
Tesis	2	3	0	0	3	0	8

LIP6

• B. Bérard, L. Hélouët, J. Mullins : “Non-interference in partial order models”, ACM Transactions on Embedded Computing Systems (TECS), vol. 16 (2), Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, pp. 44:1-44:34, (ACM) [Bérard 2017a]
• X. Bonnaire, R. Cortes, F. Kordon, O. Marin : “ASCENT: a Provably-Terminating Decentralized Logging Service”, The Computer Journal, vol. 60 (12), to be published, pp. 1889–1911, (Oxford University Press (UK)) [Bonnaire 2017]
• R. Hebig, D. Khelladi, R. Bendraou : “Approaches to Co-Evolution of Metamodels and Models: A Survey”, IEEE Transactions on Software Engineering, vol. 43 (5), pp. 396-414, (Institute of Electrical and Electronics Engineers) [Hebig 2017]
• L. Hillah, A.‑P. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin, R. Fontanelli, S. Di Bona, D. Guerri, L. Maesano : “Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice”, International Journal on Software Tools for Technology Transfer, vol. 19 (3), pp. 281-308, (Springer Verlag) [Hillah 2017a]
• D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution”, Journal of Systems and Software, vol. 134, pp. 242-260, (Elsevier) [Khelladi 2017a]
• D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Coadapting multidimension process properties”, Journal of Software: Evolution and Process, vol. 29 (11), Special Issue: Process in Action: The Best Papers from The International Conference on Software and Systems Process 2016, pp. e1860, (John Wiley & Sons, Ltd.) [Khelladi 2017b]
• E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Variations on Parallel Explicit Emptiness Checks for Generalized Büchi Automata”, International Journal on Software Tools for Technology Transfer, vol. 19 (6), pp. 653-673, (Springer Verlag) [Renault 2017]
• A. Sadovykh, A. Bagnato, J. Robin, A. Viehl, T. Ziadi, J. Martinez : “REVAMP: Challenges and innovation roadmap for variability management in round-trip engineering of software-intensive systems”, Revue Génie Logiciel n°120, pp. 32-36 [Sadovykh 2017]