MoVe - Artículos de revistas

Publicaciones MoVe	2021	2022	2023	2024	2025	Total
Libros	6	2	0	0	0	8
Libros editados	0	0	0	1	0	1
Artículos de revistas	5	8	2	2	0	17
Capítulos de libros	0	1	0	0	0	1
Documentos de conferencias	7	8	8	10	3	36
Habilitaciones	0	0	0	0	0	0
Tesis	2	0	3	3	1	9

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]