Подразделения : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Бывшая команда : | ACASA |
Публикации MoVe | 2023 | 2024 | Total |
---|---|---|---|
Книги | 0 | 0 | 0 |
Издания книг | 0 | 0 | 0 |
Статьи в журналах | 2 | 0 | 2 |
Статьи | 0 | 0 | 0 |
Статьи конференций | 7 | 1 | 8 |
Хабилитации | 0 | 0 | 0 |
Диссертация | 2 | 1 | 3 |
- S. Baarir, C. Braunstein, E. Encrenaz, J.‑M. Ilié, I. Mounier, D. Poitrenaud, S. Younes : “Feasibility Analysis for Robustness Quantification by Symbolic Model Checking”, Formal Methods in System Design, vol. 39 (2), pp. 165-184, (Springer Verlag) [Baarir 2011a]
- S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis, S. Haddad : “Lumping partially symmetrical stochastic models”, Performance Evaluation, vol. 68 (1), pp. 21-44, (Elsevier) [Baarir 2011b]
- O. Rogovchenko, J. Malenfant : “Interfaces riches pour des architectures de contrôle de robots compositionnelles”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 30 (6), pp. 711-739, (Lavoisier) [Rogovchenko 2011]
- M. Sassolas, M. Chechik, S. Uchitel : “Exploring Inconsistencies between Modal Transition Systems”, Software and Systems Modeling, vol. 10 (1), pp. 117-142, (Springer Verlag) [Sassolas 2011]