Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
Publications APR | 2023 | 2024 | Total |
---|---|---|---|
Livres | 0 | 0 | 0 |
Éditions de livres | 0 | 0 | 0 |
Articles de revues | 10 | 2 | 12 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 8 | 4 | 12 |
Habilitations | 1 | 0 | 1 |
Thèses | 2 | 1 | 3 |
- A. Curiel, A. Genitrini : “Lexicographic Unranking Algorithms for the Twelvefold Way”, 35th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2024), vol. 302, Leibniz International Proceedings in Informatics (LIPIcs), Bath, United Kingdom, pp. 17:1-17:14, (Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik) [Curiel 2024]
- R. Monat, M. Milanese, F. Parolini, J. Boillot, A. Ouadjaout, A. Miné : “Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)”, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, vol. 14572, Lecture Notes in Computer Science, Luxembourg City, Luxembourg, pp. 387-392, (Springer Nature Switzerland) [Monat 2024b]
- M. Razafintsialonina, D. Bühler, A. Miné, V. Perrelle, J. Signoles : “Réutilisations de caches et d'invariants pour l'analyse statique incrémentale”, 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Saint-Jacut-de-la-Mer, France [Razafintsialonina 2024]
- L. Sylvestre, J. Sérot, E. Chailloux : “Hardware Implementation of OCaml Using a Synchronous Functional Language”, Practical Aspects of Declarative Languages, vol. 14512, Lecture Notes in Computer Science, Londres, United Kingdom, pp. 151-168, (Springer Nature Switzerland), (ISBN: 978-3-031-52037-2) [Sylvestre 2024]