Équipes actuelles : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | Phare |
Publications MoVe | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | Total |
---|---|---|---|---|---|---|---|---|
Livres | 0 | 0 | 0 | 1 | 6 | 2 | 0 | 9 |
Éditions de livres | 3 | 3 | 3 | 0 | 0 | 0 | 0 | 9 |
Articles de revues | 8 | 5 | 5 | 7 | 5 | 7 | 1 | 38 |
Chapitres de livres | 1 | 0 | 2 | 0 | 0 | 1 | 0 | 4 |
Conférences | 22 | 21 | 18 | 13 | 5 | 6 | 4 | 89 |
Habilitations | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 2 |
Thèses | 0 | 0 | 3 | 1 | 2 | 0 | 2 | 8 |
- 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]