Подразделения : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Бывшая команда : | ACASA |
Публикации MoVe | 2023 | 2024 | Total |
---|---|---|---|
Книги | 0 | 0 | 0 |
Издания книг | 0 | 0 | 0 |
Статьи в журналах | 3 | 1 | 4 |
Статьи | 0 | 0 | 0 |
Статьи конференций | 8 | 7 | 15 |
Хабилитации | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- 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]