2025
Journal articles
- titre
- Easing Maintenance of Academic Static Analyzers
- auteur
- Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
- article
- International Journal on Software Tools for Technology Transfer, 2025, CSV 2024 Special Issue, ⟨10.1007/s10009-024-00770-1⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Session Types for the Concurrent Composition of Interactive Differential Privacy
- auteur
- Victor Sannier, Patrick Baillot, Marco Gaboardi
- article
- CSF 2025 – 38th IEEE Computer Security Foundations Symposium, Jun 2025, Santa Cruz, CA, United States
- Accès au texte intégral et bibtex
-
- titre
- BiGKAT: an algebraic framework for relational verification of probabilistic programs
- auteur
- Leandro Gomes, Patrick Baillot, Marco Gaboardi
- article
- Foundations of Software Science and Computation Structures – 28th International Conference, FoSSaCS 2025, May 2025, Hamilton, Ontario, Canada, Canada
- Accès au texte intégral et bibtex
-
- titre
- Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution)
- auteur
- Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
- article
- Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025, May 2025, Hamilton, Ontario, Canada
- Accès au texte intégral et bibtex
-
- titre
- CUTECat: Concolic Execution for Computational Law
- auteur
- Pierre Goutagny, Aymeric Fromherz, Raphaël Monat
- article
- ESOP 2025 – 34th European Symposium on Programming, May 2025, Hamilton, ON, Canada
- Accès au texte intégral et bibtex
-
- titre
- A Kleene algebra with tests for union bound reasoning about probabilistic programs
- auteur
- Leandro Gomes, Patrick Baillot, Marco Gaboardi
- article
- 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Feb 2025, Amsterdam, Netherlands. pp.35:1–35:19, ⟨10.4230/LIPIcs.CSL.2025.35⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- CODE beyond FAIR
- auteur
- Roberto Di Cosmo, Sabrina Granger, Konrad Hinsen, Nicolas Jullien, Daniel Le Berre, Violaine Louvet, Camille Maumet, Clémentine Maurice, Raphaël Monat, Nicolas P. Rougier
- article
- 2025
- Accès au texte intégral et bibtex
-
2024
Journal articles
- titre
- Formal Definitions and Proofs for Partial (Co)Recursive Functions
- auteur
- Horatiu Cheval, David Nowak, Vlad Rusu
- article
- Journal of Logic and Algebraic Methods in Programming, 2024, 141, pp.27. ⟨10.1016/j.jlamp.2024.100999⟩
- Accès au texte intégral et bibtex
-
- titre
- Memory-processor co-scheduling of AECR-DAG real-time tasks on partitioned multicore platforms with scratchpads
- auteur
- Ikram Senoussaoui, Giuseppe Lipari, Houssam-Eddine Zahaf, Mohammed Kamal Benhaoua
- article
- Journal of Systems Architecture, 2024, 150, pp.103117. ⟨10.1016/j.sysarc.2024.103117⟩
- Accès au texte intégral et bibtex
-
- titre
- Parametric WCET as a function of procedure arguments: analysis and applications
- auteur
- Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari
- article
- Journal of Systems Architecture, 2024, 148, ⟨10.1016/j.sysarc.2024.103086⟩
- Accès au texte intégral et bibtex
-
- titre
- Traffic Control via Fleets of Connected and Automated Vehicles
- auteur
- Chiara Daini, Maria Laura Delle Monache, Paola Goatin, Antonella Ferrara
- article
- IEEE Transactions on Intelligent Transportation Systems, 2024, pp.1. ⟨10.1109/TITS.2024.3506703⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Towards Efficient Parallel GPU Scheduling: Interference Awareness with Schedule Abstraction
- auteur
- Nordine Feddal, Giuseppe Lipari, Houssam-Eddine Zahaf
- article
- 32nd International Conference on Real-Time Networks and Systems (RTNS 2024), ACM, Nov 2024, Porto, Portugal. pp.82-93, ⟨10.1145/3696355.3696361⟩
- Accès au texte intégral et bibtex
-
- titre
- A Linear Type System for Lp-Metric Sensitivity Analysis
- auteur
- Victor Sannier, Patrick Baillot
- article
- Formal Structures for Computation and Deduction (FSCD), Jul 2024, Tallinn, Estonia. pp.12:1–12:22, ⟨10.4230/LIPIcs.FSCD.2024.12⟩
- Accès au texte intégral et bibtex
-
- titre
- Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)
- auteur
- Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné
- article
- Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr 2024, Luxembourg City, Luxembourg. pp.387 – 392, ⟨10.1007/978-3-031-57256-2_26⟩
- Accès au texte intégral et bibtex
-
- titre
- On Basic Feasible Functionals and the Interpretation Method
- auteur
- Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
- article
- FoSSaCS 2024 – 27th International Conference on Foundations of Software Science and Computation Structures, Apr 2024, Luxembourg, Luxembourg. pp.70-91, ⟨10.1007/978-3-031-57231-9_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
- auteur
- Raphaël Monat, Aymeric Fromherz, Denis Merigoux
- article
- ESOP 2024 – 33rd European Symposium on Programming, Apr 2024, Luxembourg City, Luxembourg. pp.421-450, ⟨10.1007/978-3-031-57267-8_16⟩
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- Interacting moving bottlenecks in traffic flow
- auteur
- Paola Goatin, Chiara Daini, Maria Laura Delle Monache, Antonella Ferrara
- article
- Networks and Heterogeneous Media, 2023, 18 (2), pp.930-945. ⟨10.3934/nhm.2023040⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- While Loops in Coq
- auteur
- David Nowak, Vlad Rusu
- article
- 7th Symposium on Working Formal Methods (FROM 2023), Sep 2023, Bucarest, Romania. pp.96 – 109, ⟨10.4204/eptcs.389.8⟩
- Accès au texte intégral et bibtex
-
- titre
- New challenges in adaptive real-time systems with parametric WCET
- auteur
- Clément Ballabriga, Julien Forget, Sandro Grebant, Giuseppe Lipari
- article
- RTSOPS 2023 – 12th International Real-Time Scheduling Open Problems Seminar, Jul 2023, Vienne, Austria
- Accès au texte intégral et bibtex
-
- titre
- From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (invited)
- auteur
- Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun
- article
- 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienne, Austria. pp.19:1–19:18, ⟨10.4230/LIPIcs.ECRTS.2023.19⟩
- Accès au texte intégral et bibtex
-
- titre
- WCET analysis with procedure arguments as parameters
- auteur
- Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari
- article
- RTNS 2023: The 31st International Conference on Real-Time Networks and Systems, Jun 2023, Dortmund, Germany. pp.11-22, ⟨10.1145/3575757.3593655⟩
- Accès au texte intégral et bibtex
-
- titre
- Work In Progress: A New Task Model for Real-Time DNNs over GPU
- auteur
- Mourad Dridi, Yasmina Abdeddaim, Chiara Daini
- article
- 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2023, San Antonio, United States. pp.337-340, ⟨10.1109/RTAS58335.2023.00035⟩
- Accès au texte intégral et bibtex
-
- titre
- Bunched Fuzz: Sensitivity for Vector Metrics
- auteur
- June Wunder, Arthur Azevedo De Amorim, Patrick Baillot, Marco Gaboardi
- article
- ESOP 2023 – European Symposium on Programming, Apr 2023, Paris, France. ⟨10.48550/arXiv.2202.01901⟩
- Accès au bibtex
-
- titre
- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)
- auteur
- Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs
- auteur
- Milla Valnet, Raphaël Monat, Antoine Miné
- article
- JFLA 2023 – 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.211-242
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- Programming and analysis of critical real-time systems
- auteur
- Julien Forget
- article
- Embedded Systems. Université de Lille, 2023
- Accès au texte intégral et bibtex
-
Other publications
- titre
- From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
- auteur
- Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun
- article
- 2023, ⟨10.4230/DARTS.9.1.4⟩
- Accès au texte intégral et bibtex
-
Theses
- titre
- Processor and memory co-scheduling of embedded real-time applications on multicore platforms
- auteur
- Ikram Senoussaoui
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lille; Université Oran 1 (Algérie), 2023. English. ⟨NNT : 2023ULILB051⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient tree-based symbolic WCET computation
- auteur
- Sandro Grebant
- article
- Data Structures and Algorithms [cs.DS]. Université de Lille, 2023. English. ⟨NNT : 2023ULILB028⟩
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- Reducing the fault vulnerability of hard real-time systems
- auteur
- Fabien Bouquillon, Smail Niar, Giuseppe Lipari
- article
- Journal of Systems Architecture, 2022, 133, pp.102758. ⟨10.1016/j.sysarc.2022.102758⟩
- Accès au texte intégral et bibtex
-
- titre
- Relational abstract interpretation of arrays in assembly code
- auteur
- Clément Ballabriga, Julien Forget, Jordy Ruiz
- article
- Formal Methods in System Design, 2022, ⟨10.1007/s10703-022-00399-3⟩
- Accès au texte intégral et bibtex
-
- titre
- A Linux-Based Support for Developing Real-Time Applications on Heterogeneous Platforms with Dynamic FPGA Reconfiguration
- auteur
- Marco Pagani, Alessandro Biondi, Mauro Marinoni, Lorenzo Molinari, Giuseppe Lipari, Giorgio Buttazzo
- article
- Future Generation Computer Systems, 2022, 129, pp.125-140. ⟨10.1016/j.future.2021.11.007⟩
- Accès au texte intégral et bibtex
-
- titre
- Memory-processor co-scheduling for real-time tasks on network-on-chip manycore architectures
- auteur
- Chawki Benchehida, Mohammed Kamel Benhaoua, Houssam Zahaf, Giuseppe Lipari
- article
- International Journal of High Performance Systems Architecture (IJHPSA), 2022, 11 (1), pp.1-11. ⟨10.1504/IJHPSA.2022.121877⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Toward memory-centric scheduling for PREM task on multicore platforms, when processor assignments are specified
- auteur
- Ikram Senoussaoui, Mohammed Kamel Benhaoua, Houssam-Eddine Zahaf, Giuseppe Lipari
- article
- EDiS 2022 – 3rd International Conference on Embedded & Distributed Systems, Nov 2022, Oran, France. pp.11-15, ⟨10.1109/EDiS57230.2022.9996534⟩
- Accès au texte intégral et bibtex
-
- titre
- Contention-free scheduling of PREM tasks on partitioned multicore platforms
- auteur
- Ikram Senoussaoui, Houssam-Eddine Zahaf, Giuseppe Lipari, Kamel Benhaoua
- article
- 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2022, Stuttgart, Germany
- Accès au texte intégral et bibtex
-
- titre
- Centralized Traffic Control via Small Fleets of Connected and Automated Vehicles
- auteur
- Chiara Daini, Paola Goatin, Maria Laura Delle Monache, Antonella Ferrara
- article
- 2022 European Control Conference (ECC), Jul 2022, London, United Kingdom. pp.371-376
- Accès au texte intégral et bibtex
-
- titre
- Defining Corecursive Functions in Coq Using Approximations
- auteur
- Vlad Rusu, David Nowak
- article
- ECOOP, Jun 2022, Berlin, Germany. ⟨10.4230/LIPIcs.ECOOP.2022.12⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formal Correctness Proof for an EDF Scheduler Implementation
- auteur
- Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud
- article
- RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, May 2022, Milan, Italy. ⟨10.1109/RTAS54340.2022.00030⟩
- Accès au texte intégral et bibtex
-
- titre
- Synchronous semantics of multi-mode multi-periodic systems
- auteur
- Frédéric Fort, Julien Forget
- article
- SAC ’22: The 37th ACM/SIGAPP Symposium on Applied Computing, Apr 2022, Virtual Event, France. pp.1248-1257, ⟨10.1145/3477314.3507271⟩
- Accès au texte intégral et bibtex
-
- titre
- Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision
- auteur
- Giuseppe Lipari, Fabien Bouquillon, Smail Niar
- article
- The 37th ACM/SIGAPP Symposium On Applied Computing, Apr 2022, Brno, Czech Republic. ⟨10.1145/3477314.3507027⟩
- Accès au texte intégral et bibtex
-
Proceedings
- titre
- Working Formal Methods Symposium
- auteur
- Vlad Rusu
- article
- FROM’22, Electronic Proceedings in Theoretical Computer Science, 369, 2022, ⟨10.4204/EPTCS.369⟩
- Accès au bibtex
-
Theses
- titre
- Improving the reliability of heterogeneous multicore architecture for intelligent transportation systems
- auteur
- Fabien Bouquillon
- article
- Embedded Systems. Université de Lille, 2022. English. ⟨NNT : 2022ULILB021⟩
- Accès au texte intégral et bibtex
-
- titre
- Programing adaptive real-time systems
- auteur
- Frédéric Fort
- article
- Programming Languages [cs.PL]. Université de Lille, 2022. English. ⟨NNT : 2022ULILB024⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- Towards Corecursion Without Corecursion in Coq
- auteur
- Vlad Rusu, David Nowak
- article
- 2022
- Accès au texte intégral et bibtex
-
2021
Journal articles
- titre
- (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
- auteur
- Vlad Rusu, David Nowak
- article
- Journal of Logical and Algebraic Methods in Programming, 2021, 118, ⟨10.1016/j.jlamp.2020.100619⟩
- Accès au texte intégral et bibtex
-
2020
Software
- titre
- pip_edf_scheduler
- auteur
- Gilles Grimaud, David Nowak, Vlad Rusu, Florian Vanhems
- article
- 2020, ⟨swh:1:dir:25301689cda60e938ba55243da1bfe7137563b79;origin=https://hal.archives-ouvertes.fr/hal-04429830;visit=swh:1:snp:3736179f223a1f39b86a1d803c559b4f4b76ffd6;anchor=swh:1:rel:759571c7c5be6020911ce733a23ead06b5884787;path=/⟩
- Accès au texte intégral et bibtex
-