É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 | 1 | 1 |
Articles de revues | 2 | 2 | 4 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 8 | 9 | 17 |
Habilitations | 0 | 0 | 0 |
Soutenances de thèse | 2 | 1 | 3 |
- N. Amat, E. Amparore, B. Berthomieu, P. Bouvier, S. Zilio, F. Hulin‑Hubard, P. Jensen, L. Jezequel, F. Kordon, Sh. Li, E. Paviot‑Adet, L. Petrucci, J. Srba, Y. Thierry‑Mieg, K. Wolf : “Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023”, TOOLympics Challenge 2023, vol. 14550, Lecture Notes in Computer Science, Paris, France, pp. 52-89, (Springer Nature Switzerland), (ISBN: 978-3-031-67695-6) [Amat 2024]
- É. 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 : “Phase-Bounded Broadcast Networks over Topologies of Communication”, 35th International Conference on Concurrency Theory (CONCUR 2024), vol. 311, Leibniz International Proceedings in Informatics (LIPIcs), Calgary, AL, Canada, pp. 26:1-26:16, (Schloss Dagstuhl – Leibniz-Zentrum für Informatik), (ISBN: 978-3-95977-339-3) [Guillou 2024a]
- 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 2024b]
- 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 2024a]
- D. Jaime, P. Poizat, J. El Haddad, Th. Degueule : “Balancing the Quality and Cost of Updating Dependencies”, 39th IEEE/ACM International Conference on Automated Software Engineering (ASE), Sacramento, United States [Jaime 2024c]
- 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]
- H. Xu, S. Baarir, T. Ziadi, S. Essodaigui, Y. Bossu : “Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An experience report”, 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024), Limassol, Cyprus [Xu 2024]