Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
Publications MoVe | 2023 | 2024 | Total |
---|---|---|---|
Livres | 0 | 0 | 0 |
Éditions de livres | 0 | 0 | 0 |
Articles de revues | 2 | 0 | 2 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 7 | 1 | 8 |
Habilitations | 0 | 0 | 0 |
Thèses | 2 | 1 | 3 |
- Y. Amoussou‑Guenou, S. Baarir, M. Potop‑Butucaru, N. Sznajder, L. Tible, S. Tixeuil : “On the Encoding and Solving of Partial Information Games”, Networked Systems, vol. 12129, Lecture Notes in Computer Science, Marrakech, Morocco, pp. 60-76, (Springer International Publishing), (ISBN: 978-3-030-67087-0) [Amoussou-Guenou 2021c]
- S. Houhou, S. Baarir, P. Poizat, Ph. Quéinnec : “A Direct Formal Semantics for BPMN Time-Related Constructs”, ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering, online, Czechia, pp. 138-149 [Houhou 2021]
- Y. Huang, S. Dhouib, J. Malenfant : “AAS Capability-Based Operation and Engineering of Flexible Production Lines”, 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Vasteras, Sweden, pp. 01-04, (IEEE) [Huang 2021a]
- Y. Huang, S. Dhouib, J. Malenfant : “An AAS Modeling Tool for Capability-Based Engineering of Flexible Production Lines”, IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society, Toronto, Canada, pp. 1-6, (IEEE) [Huang 2021b]
- R. Saddem‑Yagoubi, P. Poizat, S. Houhou : “Business Processes Meet Spatial Concerns: the sBPMN Verification Framework”, FM 2021 - 24th International Symposium on Formal Methods, vol. 13047, Lecture Notes in Computer Science, Beijing, China, pp. 218-234 [Saddem-Yagoubi 2021]
- H. Xu, S. Baarir, T. Ziadi, L. Hillah, S. Essodaigui, Y. Bossu : “Optimisation for the product configuration system of Renault: towards an integration of symmetries”, 25th ACM International Systems and Software Product Line Conference - Volume B, vol. B, SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, pp. 86-90, (ACM) [Xu 2021]