Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | ACASA |
Publications APR | 2023 | 2024 | Total |
---|---|---|---|
Books | 0 | 0 | 0 |
Edited books | 0 | 0 | 0 |
Journal articles | 10 | 2 | 12 |
Book chapters | 0 | 0 | 0 |
Conference papers | 7 | 3 | 10 |
Habilitations | 1 | 0 | 1 |
Thesis | 2 | 0 | 2 |
- 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 2024]
- 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]