Horatiu Cheval, David Nowak, Vlad Rusu. Formal Definitions and Proofs for Partial (Co)Recursive Functions. 2023. ⟨hal-04360660v2⟩

Ikram Senoussaoui. Processor and memory co-scheduling of embedded real-time applications on multicore platforms. Embedded Systems. Université de Lille; Université d'Oran 1 Ahmed Ben Bella, 2023. English. ⟨NNT : ⟩. ⟨tel-04495150v1⟩

Sandro Grebant. Efficient tree-based symbolic WCET computation. Data Structures and Algorithms [cs.DS]. Université de Lille, 2023. English. ⟨NNT : 2023ULILB028⟩. ⟨tel-04394652v2⟩

David Nowak, Vlad Rusu. While Loops in Coq. 7th Symposium on Working Formal Methods (FROM 2023), Sep 2023, Bucarest, Romania. pp.96 - 109, ⟨10.4204/eptcs.389.8⟩. ⟨hal-04254872⟩

Leandro Gomes, Patrick Baillot, Marco Gaboardi. A Kleene algebra with tests for union bound reasoning on probabilistic programs. 2023. ⟨hal-04196675v1⟩

Clément Ballabriga, Julien Forget, Sandro Grebant, Giuseppe Lipari. New challenges in adaptive real-time systems with parametric WCET. RTSOPS 2023 - 12th International Real-Time Scheduling Open Problems Seminar, Jul 2023, Vienne, Austria. ⟨hal-04197411⟩

Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩. ⟨hal-04254710⟩

Julien Forget. Programming and analysis of critical real-time systems. Embedded Systems. Université de Lille, 2023. ⟨tel-04148643⟩

Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari. WCET analysis with procedure arguments as parameters. RTNS 2023: The 31st International Conference on Real-Time Networks and Systems, Jun 2023, Dortmund, Germany. pp.11-22, ⟨10.1145/3575757.3593655⟩. ⟨hal-04118213⟩

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné. Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Apr 2023, Paris, France. pp.565-570, ⟨10.1007/978-3-031-30820-8_37⟩. ⟨hal-04077678⟩