Loading...
Derniers dépôts
-
Irman Faqrizal, Quentin Nivon, Gwen Salaün. Automated Repair of Violated Eventually Properties in Concurrent Programs. 12th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2024, Lisbon, Portugal, April 14-15, 2024, Apr 2024, Lisbon (Portugal), Portugal. ⟨10.1145/3644033.3644383⟩. ⟨hal-04566873⟩
-
Quentin Guilloteau, Florina M Ciorba, Millian Poquet, Dorian Goepp, Olivier Richard. Longevity of Artifacts in Leading Parallel and Distributed Systems Conferences: a Review of the State of the Practice in 2023. ACM Conference on Reproducibility and Replicability (REP 2024), ACM, Jun 2024, Rennes, France. à paraître. ⟨hal-04562691⟩