现有科研组 : | 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 |
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “A Higher-order Agent Model with Contextual Management for Ambient Systems”, Transactions on Computational Collective Intelligence XVI, vol. 8780, pp. 146-169 [Chaouche 2014c]
- J.‑R. Falleri, X. Blanc, R. Bendraou, M. Almeida Da Silva, C. Teyton : “Incremental inconsistency detection with low memory overhead”, Software: Practice and Experience, vol. 44 (5), pp. 621-641, (Wiley) [Falleri 2014]
- G. Geeraerts, J.‑F. Raskin, N. Sznajder : “On regions and zones for event-clock automata”, Formal Methods in System Design, vol. 45 (3), pp. 330-380, (Springer Verlag) [Geeraerts 2014]
- R. Khefifi, P. Poizat, F. Saïs : “Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures”, Revue des Nouvelles Technologies de l'Information, vol. RNTI-W-2, pp. 75-89, (Editions RNTI) [Khefifi 2014]
- O. Melekhova : “Coordination dans la décision pour les architectures autonomiques à grande échelle”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 33 (1-2), pp. 31-62, (Lavoisier) [Melekhova 2014]
- M. Thabet, M. Boufaïda, F. Kordon : “An Approach for Developing an Interoperability Mechanism Between Cloud Providers”, International Journal of Space-Based and Situated Computing, vol. 4 (2), pp. 88-99, (Inderscience) [Thabet 2014]
- A. Yessad, I. Mounier, Th. Carron, F. Kordon, J.‑M. Labat : “Formal Framework to improve the reliability of concurrent and collaborative learning games”, EAI Endorsed Transactions on Serious Games, vol. 14 (2), pp. e4, (ICST) [Yessad 2014b]
- Y. Zhang, B. Bérard, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Controllability for Discrete Event Systems Modeled in VeriJ”, International Journal of Critical Computer-Based Systems, vol. 5 (3/4), pp. 218-240, (Inderscience) [Zhang 2014]