Claire Pagetti

IEEE Embed. Syst. Lett., December, 2024

COOK Access Control on an embedded Volta GPU.

[BibT_eX]

[DOI]

Benjamin Lesage

Alfonso Mascareñas González

CoRR, 2024

How to design a dataset compliant with an ML-based system ODD?

[BibT_eX]

[DOI]

CoRR, 2024

Certified ML Object Detection for Surveillance Missions.

[BibT_eX]

[DOI]

CoRR, 2024

Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML.

[BibT_eX]

[DOI]

CoRR, 2024

Verification for Object Detection - IBP IoU.

[BibT_eX]

[DOI]

CoRR, 2024

A Predictable SIMD Library for GEMM Routines.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

2023

Extending a predictable machine learning framework with efficient gemm-based convolution routines.

[BibT_eX]

[DOI]

Thomas Carle

Real Time Syst., September, 2023

Formal description of ML models for unambiguous implementation.

[BibT_eX]

[DOI]

CoRR, 2023

LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing.

[BibT_eX]

[DOI]

CoRR, 2023

2022

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact).

[BibT_eX]

[DOI]

Thomas Carle

Laura Altieri Sambartolomé

Dagstuhl Artifacts Ser., 2022

Quality of Fault Injection Strategies on Hardware Accelerator.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2022

Egress-TT Configurations for TSN Networks.

[BibT_eX]

[DOI]

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

Verification of machine learning based cyber-physical systems: a comparative study.

[BibT_eX]

[DOI]

Arthur Clavière

Eric Asselin

Christophe Garion

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems.

[BibT_eX]

[DOI]

Thomas Carle

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

2021

White Paper Machine Learning in Certified Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2021

Safety Verification of Neural Network Controlled Systems.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020

On How to Identify Cache Coherence: Case of the NXP QorIQ T4240.

[BibT_eX]

[DOI]

Julien Brunel

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

Patterns for Certification Standards.

[BibT_eX]

[DOI]

Thomas Polacsek

Proceedings of the Advanced Information Systems Engineering, 2020

2019

GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms.

[BibT_eX]

[DOI]

Guy Durrieu

ACM Trans. Embed. Comput. Syst., 2019

Guest editorial: special issue on Real-Time and Network Systems.

[BibT_eX]

[DOI]

Enrico Bini

Real Time Syst., 2019

Modeling Cache Coherence to Expose Interference (Artifact).

[BibT_eX]

[DOI]

Julien Brunel

Dagstuhl Artifacts Ser., 2019

Identification of Multi-Core Interference.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Modeling Cache Coherence to Expose Interference.

[BibT_eX]

[DOI]

Julien Brunel

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

2018

Note on the exact delay stability margin computation of hybrid dynamical systems.

[BibT_eX]

[DOI]

V. Bellet

Charles Poussot-Vassal

Thomas Loquen

CoRR, 2018

Automated generation of time-predictable executables on multicore.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

SMT-based architecture modelling for safety assessment.

[BibT_eX]

[DOI]

Remi Delmas

Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

SMT-Based Synthesis of Fault-Tolerant Architectures.

[BibT_eX]

[DOI]

Rémi Delmas

Proceedings of the Computer Safety, Reliability, and Security, 2017

Verifying end-to-end real-time constraints on multi-periodic models.

[BibT_eX]

[DOI]

Julien Forget

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Mapping hard real-time applications on many-core processors.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Temporal Isolation of Hard Real-Time Applications on Many-Core Processors.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

2015

Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2015

Off-line mapping of multi-rate dependent task sets to many-core platforms.

[BibT_eX]

[DOI]

Wolfgang Puffitsch

Eric Noulard

Real Time Syst., 2015

Automatic Architecture Hardening Using Safety Patterns.

[BibT_eX]

[DOI]

Rémi Delmas

Proceedings of the Computer Safety, Reliability, and Security, 2015

Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs. (Programming mutli/many-core COTS for critical embedded systems).

[BibT_eX]

[DOI]

, 2015

2014

End-to-end latency and temporal consistency analysis in networked real-time systems.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2014

Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

The ROSACE case study: From Simulink specification to multi/many-core execution.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

2013

End-to-end latency computation in a multi-periodic design.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Mapping a multi-rate synchronous language to a many-core processor.

[BibT_eX]

[DOI]

Wolfgang Puffitsch

Eric Noulard

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

Explicit precedence constraints in safety-critical Java.

[BibT_eX]

[DOI]

Wolfgang Puffitsch

Eric Noulard

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

Distributed Simulation of Heterogeneous and Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2013

2012

Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Deterministic Execution Model on COTS Hardware.

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems - ARCS 2012 - 25th International Conference, Munich, Germany, February 28, 2012

A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Multi-task Implementation of Multi-periodic Synchronous Programs.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2011

Multiprocessor schedulability analyser.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Worst Case Temporal Consistency in Integrated Modular Avionics Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Latency and freshness analysis on IMA systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Dynamic priority scheduling of periodic tasks with extended precedences.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

A real-time architecture design language for multi-rate embedded control systems.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Analyzing End-to-End Functional Delays on an IMA Platform.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Preliminary design of future reconfigurable IMA platforms.

[BibT_eX]

[DOI]

SIGBED Rev., 2009

Verification of real-time systems with preemption: negative and positive results.

[BibT_eX]

[DOI]

Jérôme Ermont

Innov. Syst. Softw. Eng., 2009

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

[BibT_eX]

[DOI]

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008

A Multi-Periodic Synchronous Data-Flow Language.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

A Framework for Distributing Real-Time Functions.

[BibT_eX]

[DOI]

Pierre-Emmanuel Hladik

Frédéric Aspro

Victor Jégu

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Vers la génération de modèles de sûreté de fonctionnement.

[BibT_eX]

[DOI]

Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008

2007

Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2007

Formal Functionally Deterministic Scheduling.

[BibT_eX]

[DOI]

François Revest

Proceedings of the ISoLA 2007, 2007

2006

Around Hopcroft's Algorithm.

[BibT_eX]

[DOI]

Manuel Baclet

Proceedings of the Implementation and Application of Automata, 2006

<i>N</i>-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

Synchronization of periodic clocks.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

2004

Extension temps réel d'AltaRica. (Real time extension of AltaRica).

[BibT_eX]

[DOI]

PhD thesis, 2004

A Timed Extension for ALTARICA.

[BibT_eX]

[DOI]

Franck Cassez

Olivier H. Roux

Fundam. Informaticae, 2004

On the Urgency Expressiveness.

[BibT_eX]

[DOI]

Michaël Adélaïde