Equipes atuais : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Time anterior : | ACASA |
Publicações MoVe | 2023 | 2024 | Total |
---|---|---|---|
Livros | 0 | 0 | 0 |
Livros Editados | 0 | 0 | 0 |
Jornais | 2 | 0 | 2 |
Capítulos de livros | 0 | 0 | 0 |
Artigos de Conferencia | 7 | 1 | 8 |
Habilitações (Livre Docência) | 0 | 0 | 0 |
Teses | 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]