| equipos actuales : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL |
| Antiguos equipo : | Whisper |
| Publicaciones MoVe | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | Total |
|---|---|---|---|---|---|---|---|
| Libros | 1 | 0 | 0 | 0 | 1 | 2 | 4 |
| Libros editados | 2 | 3 | 2 | 3 | 0 | 1 | 11 |
| Artículos de revistas | 10 | 8 | 5 | 5 | 8 | 3 | 39 |
| Capítulos de libros | 1 | 1 | 1 | 2 | 0 | 0 | 5 |
| Documentos de conferencias | 17 | 22 | 18 | 17 | 12 | 2 | 88 |
| Habilitaciones | 2 | 1 | 0 | 1 | 0 | 0 | 4 |
| Tesis | 3 | 0 | 0 | 3 | 1 | 1 | 8 |
- B. Bérard, J. Mullins, M. Sassolas : “Quantifying Opacity”, Mathematical Structures in Computer Science, vol. 25 (Special issue 2), pp. 361-403, (Cambridge University Press (CUP)) [Bérard 2015a]
- B. Bérard, K. Chatterjee, N. Sznajder : “Probabilistic Opacity for Markov Decision Processes”, Information Processing Letters, vol. 115 (1), pp. 52-59, (Elsevier) [Bérard 2015b]
- B. Bérard, P. Courtieu, L. Millet, M. Potop‑Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain : “[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems”, International Journal of Informatics Society, vol. 7 (3), pp. 101-114, (Japan Informatics Society) [Bérard 2015d]
- R. Boukharrou, Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Dealing with temporal failure in ambient systems: a dynamic revision of plans”, Journal of Ambient Intelligence and Humanized Computing, vol. 6 (3), pp. 325-336, (Springer) [Boukharrou 2015a]
- R. Hebig, H. Giese : “On the complex nature of MDE evolution and its impact on changeability”, Software and Systems Modeling, pp. 1-24, (Springer Verlag) [Hebig 2015b]
- S. Lamprier, N. Baskiotis, T. Ziadi, L. Hillah : “The CARE Platform for the Analysis of Behavior Model Inference Techniques”, Information and Software Technology, vol. 60, pp. 32-50, (Elsevier) [Lamprier 2015a]