| 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 |
- K. Ghallab, T. Ziadi, Z. Chalal : “Migrating Individual Applications into Software Product Lines using the Mobioos Forge Platform”, 2023 30th Asia-Pacific Software Engineering Conference (APSEC), Seoul, Korea, Republic of, pp. 483-492, (IEEE), (ISBN: 979-8-3503-4417-2) [Ghallab 2023]
- A. Guifo Fodjo, J. LACMOU ZEUTOUO, S. Bowong : “Separation of Concerns in an Edge-Based Compartmental Modeling Framework”, 16th International Joint Conference on Biomedical Engineering Systems and Technologies, Lisbonne, Portugal [Guifo Fodjo 2023]
- L. Guillou, A. Sangnier, N. Sznajder : “Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous”, 34th International Conference on Concurrency Theory, CONCUR 2023, vol. 279, Leibniz International Proceedings in Informatics (LIPIcs), Antwerp, Belgium, pp. 7:1-7:17, (Schloss Dagstuhl - Leibniz-Zentrum für Informatik) [Guillou 2023]
- Y. Huang, S. Dhouib, L. Palacios Medinacelli, J. Malenfant : “Semantic Interoperability of Digital Twins: Ontology-based Capability Checking in AAS Modeling Framework”, 2023 IEEE 6th International Conference on Industrial Cyber-Physical Systems (ICPS), Wuhan, China, pp. 1-8, (IEEE) [Huang 2023]
- S. Saouli, S. Baarir, C. Dutheillet, J. Devriendt : “CosySEL: Improving SAT Solving Using Local Symmetries”, Verification, Model Checking, and Abstract Interpretation, vol. 13881, Lecture Notes in Computer Science, Boston (MA), United States, pp. 252-266, (Springer Nature Switzerland) [Saouli 2023]
- Y. Thierry‑Mieg : “Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets”, PNSE’23: Petri Nets for Software Engineering,, Lisbon, Portugal [Thierry-Mieg 2023]
- H. Xu, S. Baarir, T. Ziadi, S. Essodaigui, Y. Bossu, L. Hillah : “An Experience Report on the Optimization of the Product Configuration System of Renault *”, 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Toulouse, France, pp. 197-206, (IEEE), (ISBN: 979-8-3503-4004-4) [Xu 2023a]
- H. Xu, S. Baarir, T. Ziadi, S. Essodaigui, Y. Bossu, L. Messan Hillah : “Optimization of the Product Configuration System of Renault”, SAC '23: 38th ACM/SIGAPP Symposium on Applied Computing, SAC '23, Tallinn, Estonia, pp. 1486-1489, (ACM), (ISBN: 9781450395175) [Xu 2023b]