الوحدات الحالية : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
الفـرق السـابـقــة : | ACASA |
إصدارات MoVe | 2023 | 2024 | Total |
---|---|---|---|
مخـبرمـخـبر LIP6 | 0 | 0 | 0 |
إصدار كـتب | 0 | 0 | 0 |
مـنشـورات في مـجلات | 3 | 1 | 4 |
فصـول في كـتب | 0 | 0 | 0 |
منشورات | 8 | 7 | 15 |
Habilitations | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- 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]