MoVe - Conference papers

Current teams :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publications MoVe	2015	2016	2017	2018	2019	2020	Total
Books	0	0	0	0	0	3	3
Edited books	0	0	0	2	3	0	5
Journal articles	2	1	3	3	6	5	20
Book chapters	0	1	0	1	2	0	4
Conference papers	6	1	4	13	18	17	59
Habilitations	1	2	1	0	1	0	5
Thesis	2	3	0	0	3	0	8

S. Lamprier, T. Ziadi, N. Baskiotis, L. Hillah : “Exact and Efficient Temporal Steering of Software Behavioral Model Inference”, Proc. of 19^th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Tianjin, China, pp. 166-175, (IEEE) [Lamprier 2014]
L. Millet, M. Potop‑Butucaru, N. Sznajder, S. Tixeuil : “On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering”, SSS 2014 - 16^th International Symposium on Stabilization, Safety and Security of Distributed Systems, vol. 8756, Lecture Notes in Computer Science, Paderborn, Germany, pp. 237-251, (Springer) [Millet 2014]
A. Yessad, I. Mounier, J.‑M. Labat, F. Kordon, Th. Carron : “Have you found the error? A Formal Framework for Learning Game Verification”, 9^th European Conference on Technology Enhanced Learning, vol. 8719, Lecture Notes in Computer Science, Graz, Austria, pp. 476-481, (Springer) [Yessad 2014a]