Search - Archive ouverte HAL Access content directly

Filter your results

18 Results
Structure: Internal structure identifier : 1081309
Image document

A Formal Correctness Proof for an EDF Scheduler Implementation

Florian Vanhems , Vlad Rusu , David Nowak , Gilles Grimaud
RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, May 2022, Milan, Italy. ⟨10.1109/RTAS54340.2022.00030⟩
Conference papers hal-03671598v2

Bunched Fuzz: Sensitivity for Vector Metrics

June Wunder , Arthur Azevedo De Amorim , Patrick Baillot , Marco Gaboardi
European Symposium on Programming (ESOP), Apr 2023, Paris, France. ⟨10.48550/arXiv.2202.01901⟩
Conference papers hal-03870966v1

Sufficiently Complete Partial Orders: Towards Corecursion Without Corecursion in Coq

Vlad Rusu , David Nowak
Other publications hal-03936127v1
Image document

Relational abstract interpretation of arrays in assembly code

Clément Ballabriga , Julien Forget , Jordy Ruiz
Formal Methods in System Design, 2022, ⟨10.1007/s10703-022-00399-3⟩
Journal articles hal-03794951v1
Image document

BiGKAT: an algebraic framework for relational verification of probabilistic programs

Leandro Gomes , Patrick Baillot , Marco Gaboardi
Preprints, Working Papers, ... hal-04017128v1
Image document

Defining Corecursive Functions in Coq Using Approximations

Vlad Rusu , David Nowak
ECOOP, Jun 2022, Berlin, Germany. ⟨10.4230/LIPIcs.ECOOP.2022.12⟩
Conference papers hal-03671876v1
Image document

A Linux-Based Support for Developing Real-Time Applications on Heterogeneous Platforms with Dynamic FPGA Reconfiguration

Marco Pagani , Alessandro Biondi , Mauro Marinoni , Lorenzo Molinari , Giuseppe Lipari et al.
Future Generation Computer Systems, 2022, 129, pp.125-140. ⟨10.1016/j.future.2021.11.007⟩
Journal articles hal-03512476v1
Image document

Contention-free scheduling of PREM tasks on partitioned multicore platforms

Ikram Senoussaoui , Houssam-Eddine Zahaf , Giuseppe Lipari , Kamel Benhaoua
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2022, Stuttgart, Germany
Conference papers hal-03834177v1
Image document

Programing adaptive real-time systems

Frédéric Fort
Programming Languages [cs.PL]. Université de Lille, 2022. English. ⟨NNT : 2022ULILB024⟩
Theses tel-03948472v2
Image document

Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs

Milla Valnet , Raphaël Monat , Antoine Miné
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.211-242
Conference papers hal-03936718v2
Image document

Synchronous semantics of multi-mode multi-periodic systems

Frédéric Fort , Julien Forget
SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Apr 2022, Virtual Event, France. pp.1248-1257, ⟨10.1145/3477314.3507271⟩
Conference papers hal-03817684v2
Image document

Mapping Hard Real-Time Tasks on Network-on-Chip Manycore Architectures

Chawki Benchehida
Embedded Systems. Université de Lille; Université d'Oran 1, 2021. English. ⟨NNT : ⟩
Theses tel-03514023v2
Image document

Improving the reliability of heterogeneous multicore architecture for intelligent transportation systems

Fabien Bouquillon
Embedded Systems. Université de Lille, 2022. English. ⟨NNT : 2022ULILB021⟩
Theses tel-03895529v2
Image document

Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision

Giuseppe Lipari , Fabien Bouquillon , Smail Niar
The 37th ACM/SIGAPP Symposium On Applied Computing, Apr 2022, Brno, Czech Republic. ⟨10.1145/3477314.3507027⟩
Conference papers hal-03531143v1
Image document

Towards Corecursion Without Corecursion in Coq

Vlad Rusu , David Nowak
Preprints, Working Papers, ... hal-03689027v4
Image document

Toward memory-centric scheduling for PREM task on multicore platforms, when processor assignments are specified

Ikram Senoussaoui , Mohammed Kamel Benhaoua , Houssam-Eddine Zahaf , Giuseppe Lipari
EDiS 2022 - 3rd International Conference on Embedded & Distributed Systems, Nov 2022, Oran, France. pp.11-15, ⟨10.1109/EDiS57230.2022.9996534⟩
Conference papers hal-03938665v1
Image document

Reducing the fault vulnerability of hard real-time systems

Fabien Bouquillon , Smail Niar , Giuseppe Lipari
Journal of Systems Architecture, 2022, 133, pp.102758. ⟨10.1016/j.sysarc.2022.102758⟩
Journal articles hal-03842393v1
Image document

Memory-processor co-scheduling for real-time tasks on network-on-chip manycore architectures

Chawki Benchehida , Mohammed Kamel Benhaoua , Houssam Zahaf , Giuseppe Lipari
International Journal of High Performance Systems Architecture (IJHPSA), 2022, 11 (1), pp.1-11. ⟨10.1504/IJHPSA.2022.121877⟩
Journal articles hal-03595577v1