|
|
A Formal Correctness Proof for an EDF Scheduler Implementation
Florian Vanhems
,
Vlad Rusu
,
David Nowak
,
Gilles Grimaud
Conference papers
hal-03671598v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Bunched Fuzz: Sensitivity for Vector Metrics
June Wunder
,
Arthur Azevedo De Amorim
,
Patrick Baillot
,
Marco Gaboardi
Conference papers
hal-03870966v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Sufficiently Complete Partial Orders: Towards Corecursion Without Corecursion in Coq
Vlad Rusu
,
David Nowak
2022
Other publications
hal-03936127v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Relational abstract interpretation of arrays in assembly code
Clément Ballabriga
,
Julien Forget
,
Jordy Ruiz
Journal articles
hal-03794951v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
BiGKAT: an algebraic framework for relational verification of probabilistic programs
Leandro Gomes
,
Patrick Baillot
,
Marco Gaboardi
2023
Preprints, Working Papers, ...
hal-04017128v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Defining Corecursive Functions in Coq Using Approximations
Vlad Rusu
,
David Nowak
Conference papers
hal-03671876v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-03512476v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Programing adaptive real-time systems
Frédéric Fort
Theses
tel-03948472v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Improving the reliability of heterogeneous multicore architecture for intelligent transportation systems
Fabien Bouquillon
Theses
tel-03895529v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision
Giuseppe Lipari
,
Fabien Bouquillon
,
Smail Niar
Conference papers
hal-03531143v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Towards Corecursion Without Corecursion in Coq
Vlad Rusu
,
David Nowak
2022
Preprints, Working Papers, ...
hal-03689027v4
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
Conference papers
hal-03938665v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Reducing the fault vulnerability of hard real-time systems
Fabien Bouquillon
,
Smail Niar
,
Giuseppe Lipari
Journal articles
hal-03842393v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Memory-processor co-scheduling for real-time tasks on network-on-chip manycore architectures
Chawki Benchehida
,
Mohammed Kamel Benhaoua
,
Houssam Zahaf
,
Giuseppe Lipari
Journal articles
hal-03595577v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|