Equipes atuais :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Time anterior :	Whisper

Publicações MoVe	2016	2017	2018	2019	2020	2021	Total
Livros	1	0	0	0	1	2	4
Livros Editados	2	3	2	3	0	1	11
Jornais	10	8	5	5	8	2	38
Capítulos de livros	1	1	1	2	0	0	5
Artigos de Conferencia	17	22	18	17	12	1	87
Habilitações (Livre Docência)	2	1	0	1	0	0	4
Teses	3	0	0	3	1	0	7

LIP6

• F. Arfi, J.‑M. Ilié, D. Saidouni : “Solving preemptive job-shop scheduling problems using a true concurrency model”, International Journal of Simulation and Process Modelling, vol. 11 (3/4) [Arfi 2016]
• B. Bérard, P. Lafourcade, L. Millet, M. Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Formal verification of mobile robot protocols”, Distributed Computing, vol. 29 (6), pp. 459-487, (Springer Verlag) [Bérard 2016c]
• B. Bérard, S. Haddad, A. Jovanovic, D. Lime : “Interrupt Timed Automata with Auxiliary Clocks and Parameters”, Fundamenta Informaticae, vol. 143 (3-4), pp. 235-259, (Polskie Towarzystwo Matematyczne) [Bérard 2016d]
• R. Boukharrou, J.‑M. Ilié, D. Saidouni : “Contextual time reasoning for mobile ambient agents”, International Journal of Wireless and Mobile Computing, vol. 10 (3), pp. 250-260, (Inderscience) [Boukharrou 2016]
• Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Learning from situated experiences for a contextual planning guidance”, Journal of Ambient Intelligence and Humanized Computing, vol. 7 (4), pp. 555-566, (Springer) [Chaouche 2016a]
• M. Güdemann, P. Poizat, G. Salaün, L. Ye : “VerChor: A Framework for the Design and Verification of Choreographies”, IEEE Transactions on Services Computing, vol. 9 (4), pp. 647-660, (IEEE) [Güdemann 2016]
• D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Detecting complex changes and refactorings during (Meta)model evolution”, Information Systems, vol. 62, Information Systems, (Elsevier) [Khelladi 2016e]
• F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, C. Rodríguez, F. Hulin‑Hubard : “MCC’2015 – The Fifth Model Checking Contest”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 9930, Lecture Notes in Computer Science, pp. 262-273, (Springer) [Kordon 2016b]
• D. Pfahl, M. Kuhrmann, R. Bendraou, R. Turner : “ICSSP 2015-Special Issue Introduction”, Journal of Software: Evolution and Process, vol. 28 (9), pp. 716-721, (John Wiley & Sons, Ltd.) [Pfahl 2016]
• T. Ziadi, J.‑L. Farges, S. Stinckwich, M. Ziane, S. Dhouib, F. Marmoiton, N. Morette, C. Novales, S. Kchir, B. Patin : “A Toolset to Address Variability in Mobile Robotics”, Journal of Software Engineering for Robotics, vol. 7 (1), pp. 20-35 [Ziadi 2016]