Equipes atuais :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Antigos grupos :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Antigos tópicos de pesquisa :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publicações MoVe	2015	2016	2017	2018	2019	2020	Total
Livros	0	1	0	0	0	3	4
Livros Editados	2	2	3	2	3	0	12
Jornais	9	12	11	5	7	5	49
Capítulos de livros	0	2	1	1	3	0	7
Artigos de Conferencia	30	18	28	19	18	17	130
Habilitações (Livre Docência)	1	2	1	0	1	0	5
Teses	2	3	0	0	3	0	8

LIP6

• B. Bérard, O. Kouchnarenko, J. Mullins, M. Sassolas : “Opacity for linear constraint Markov chains”, Discrete Event Dynamic Systems, vol. 28 (1), pp. 83-108, (Springer Verlag) [Bérard 2018a]
• B. Bérard, S. Haar, S. Schmitz, S. Schwoon : “The Complexity of Diagnosability and Opacity Verification for Petri Nets”, Fundamenta Informaticae, vol. 161 (4), pp. 317-349, (Polskie Towarzystwo Matematyczne) [Bérard 2018d]
• F. Kordon, D. Moldt : “Introduction to the special issue from Petri Nets 2016”, Science of Computer Programming, vol. 157, pp. 1-2, (Elsevier) [Kordon 2018a]
• J. Martinez, T. Ziadi, M. Papadakis, Tegawendé F. Bissyandé, J. Klein, Y. Le Traon : “Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants”, Information and Software Technology, (Elsevier) [Martinez 2018c]
• S. Tigane, L. Kahloul, S. Bourekkache, S. Baarir : “Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems”, International Journal of Critical Computer-Based Systems, vol. 8 (1), pp. 25, (Inderscience) [tigane 2018]