MoVe - Jornais

Pesquisa
Publicações
Research reports

Current teams : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL

Publicações MoVe	2021	2022	2023	2024	2025	Total
Livros	6	2	0	0	0	8
Livros Editados	0	0	0	1	0	1
Jornais	5	8	2	2	0	17
Capítulos de livros	0	1	0	0	0	1
Artigos de Conferencia	7	8	8	10	3	36
Habilitações (Livre Docência)	0	0	0	0	0	0
Teses	2	0	3	3	1	9

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]