Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | ACASA |
Publications MoVe | 2023 | 2024 | Total |
---|---|---|---|
Books | 0 | 0 | 0 |
Edited books | 0 | 0 | 0 |
Journal articles | 3 | 1 | 4 |
Book chapters | 0 | 0 | 0 |
Conference papers | 8 | 7 | 15 |
Habilitations | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- 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]