| Équipes actuelles : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Ancienne équipe : | Phare |
| Publications MoVe | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | Total |
|---|---|---|---|---|---|---|---|---|
| Livres | 0 | 0 | 0 | 1 | 6 | 2 | 0 | 9 |
| Éditions de livres | 3 | 3 | 3 | 0 | 0 | 0 | 0 | 9 |
| Articles de revues | 8 | 5 | 5 | 7 | 5 | 7 | 1 | 38 |
| Chapitres de livres | 1 | 0 | 2 | 0 | 0 | 1 | 0 | 4 |
| Conférences | 22 | 21 | 18 | 13 | 5 | 6 | 4 | 89 |
| Habilitations | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 2 |
| Thèses | 0 | 0 | 3 | 1 | 2 | 0 | 2 | 8 |
- B. Bérard, O. Kouchnarenko, J. Mullins, M. Sassolas : “Opacity for linear constraint Markov chains”, Discrete Event Dynamic Systems, vol. 28 (1), pp. 83-108, (Springer Verlag) [Bérard 2018a]
- B. Bérard, S. Haar, S. Schmitz, S. Schwoon : “The Complexity of Diagnosability and Opacity Verification for Petri Nets”, Fundamenta Informaticae, vol. 161 (4), pp. 317-349, (Polskie Towarzystwo Matematyczne) [Bérard 2018d]
- F. Kordon, D. Moldt : “Introduction to the special issue from Petri Nets 2016”, Science of Computer Programming, vol. 157, pp. 1-2, (Elsevier) [Kordon 2018a]
- J. Martinez, T. Ziadi, M. Papadakis, T. Bissyandé, J. Klein, Y. Le Traon : “Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants”, Information and Software Technology, (Elsevier) [Martinez 2018c]
- S. Tigane, L. Kahloul, S. Bourekkache, S. Baarir : “Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems”, International Journal of Critical Computer-Based Systems, vol. 8 (1), pp. 25, (Inderscience) [tigane 2018]