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 |
- 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]