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]
M. Milanese, A. Miné : “Generation of Violation Witnesses by Under-Approximating Abstract Interpretation”, Verification, Model Checking, and Abstract Interpretation, vol. 14499, Lecture Notes in Computer Science, London, United Kingdom, pp. 50-73, (Springer Nature Switzerland), (ISBN: 978-3-031-50524-9) [Milanese 2024a]
N. Moussaoui Remil, C. Urban, A. Miné : “Automatic Detection of Vulnerable Variables for CTL Properties of Programs”, 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 100, EPiC Series in Computing, Port Louis, Mauritius, pp. 116-126, (EasyChair) [Moussaoui Remil 2024]
L. Sylvestre, E. Chailloux, J. Sérot : “Work-in-Progress: mixing computation and interaction on FPGA”, Proceedings of the International Conference on Embedded Software, Hambourg, Germany, pp. pp.5-6, (ACM), (ISBN: 9798400702914) [Sylvestre 2024a]
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 2024b]
L. Sylvestre, J. Sérot, E. Chailloux : “Programming parallelism on FPGAs with Eclat”, Proceedings of 17th International Symposia on High-Level Parallel Programming and Applications HLPP 2024, Proceedings of 17th INTERNATIONAL SYMPOSIUM ON HIGH-LEVEL PARALLEL PROGRAMMING AND APPLICATIONS HLPP 2024, Pisa, Italy, pp. pp.69-88 [Sylvestre 2024c]