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 | 5 | 13 |
Habilitations | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- É. André, J. Arias, B. Barbot, F. Hulin‑Hubard, F. Kordon, V.‑F. Le, L. Petrucci : “CosyVerif: The Path to Formalisms Cohabitation”, 45th International Conference on Application and Theory of Petri Nets and Concurrency, vol. 14628, Lecture Notes in Computer Science, Geneva, Switzerland, pp. 432-444, (Springer Nature Switzerland) [André 2024]
- L. Guillou, A. Sangnier, N. Sznajder : “Safety Verification of Wait-Only Non-Blocking Broadcast Protocols”, Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Proceedings, vol. 14628, Lecture Notes in Computer Science, Geneva, Switzerland, pp. 291-311, (Springer Nature Switzerland) [Guillou 2024]
- D. Jaime, J. El Haddad, P. Poizat : “Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph”, 21st International Conference on Mining Software Repositories (MSR), Libonne, Portugal [Jaime 2024]
- R. Mzid, I. Rezigui, T. Ziadi : “Attention-based Method for Design Pattern Detection”, The European Conference on Software Architecture (ECSA), Luxembourg, Luxembourg [Mzid 2024]
- S. Saouli, S. Baarir, C. Dutheillet : “Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm”, 16th International Symposium, NFM 2024Moffett Field, CA, USA, June 4–6, 2024Proceedings, vol. 14627, Lecture Notes in Computer Science, Moffett Field, CA, United States, pp. 21-36, (Springer Nature Switzerland) [Saouli 2024]