Claire Pagetti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
35
Venues
14
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
35 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAFECOMP | Formal Target Aware Training of Machine Learning Models. | Nicolas Valot, Louis Fabre, Benjamin Lesage, Ammar Mechouche, Claire Pagetti |
| 2025 | ISORC | Towards a validated core memory model through (MP)SoC events. | Alfonso Mascareas Gonzlez, Frdric Boniol, Benjamin Lesage, Claire Pagetti |
| 2024 | RTAS | A Predictable SIMD Library for GEMM Routines. | Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Victor Jgu, Claire Pagetti |
| 2022 | ECRTS | ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems. | Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti |
| 2022 | RTNS | Egress-TT Configurations for TSN Networks. | Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel |
| 2022 | SAFECOMP | Quality of Fault Injection Strategies on Hardware Accelerator. | Iban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galti, Claire Pagetti |
| 2021 | DSN | Safety Verification of Neural Network Controlled Systems. | Arthur Clavire, Eric Asselin, Christophe Garion, Claire Pagetti |
| 2021 | SAFECOMP | Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. | Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavire |
| 2020 | CaiSE | Patterns for Certification Standards. | Kevin Delmas, Claire Pagetti, Thomas Polacsek |
| 2020 | ECRTS | On How to Identify Cache Coherence: Case of the NXP QorIQ T4240. | Nathanal Sensfelder, Julien Brunel, Claire Pagetti |
| 2019 | ECRTS | Modeling Cache Coherence to Expose Interference. | Nathanal Sensfelder, Julien Brunel, Claire Pagetti |
| 2018 | DATE | Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications. | Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, Pascal Richard |
| 2018 | RTNS | Automated generation of time-predictable executables on multicore. | Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, Arno Luppold |
| 2017 | ETFA | Verifying end-to-end real-time constraints on multi-periodic models. | Julien Forget, Frdric Boniol, Claire Pagetti |
| 2017 | SAFECOMP | SMT-Based Synthesis of Fault-Tolerant Architectures. | Kevin Delmas, Rmi Delmas, Claire Pagetti |
| 2016 | RTAS | Temporal Isolation of Hard Real-Time Applications on Many-Core Processors. | Quentin Perret, Pascal Maurre, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoit Triquet |
| 2016 | RTNS | Mapping hard real-time applications on many-core processors. | Quentin Perret, Pascal Maurre, ric Noulard, Claire Pagetti, Pascal Sainrat, Benot Triquet |
| 2015 | SAFECOMP | Automatic Architecture Hardening Using Safety Patterns. | Kevin Delmas, Rmi Delmas, Claire Pagetti |
| 2014 | ECRTS | Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems. | Angeliki Kritikakou, Claire Pagetti, Olivier Baldellon, Matthieu Roy, Christine Rochange |
| 2014 | RTAS | The ROSACE case study: From Simulink specification to multi/many-core execution. | Claire Pagetti, David Saussi, Romain Gratia, Eric Noulard, Pierre Siron |
| 2014 | RTNS | Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. | Angeliki Kritikakou, Christine Rochange, Madeleine Faugre, Claire Pagetti, Matthieu Roy, Sylvain Girbal, Daniel Gracia Prez |
| 2013 | SAC | End-to-end latency computation in a multi-periodic design. | Rmy Wyss, Frdric Boniol, Claire Pagetti, Julien Forget |
| 2013 | RTAS | Mapping a multi-rate synchronous language to a many-core processor. | Wolfgang Puffitsch, Eric Noulard, Claire Pagetti |
| 2012 | APLAS | A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. | Rmy Wyss, Frdric Boniol, Julien Forget, Claire Pagetti |
| 2012 | SAC | Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks. | Julie Baro, Frdric Boniol, Mikel Cordovilla, Eric Noulard, Claire Pagetti |
| 2011 | ETFA | Dynamic priority scheduling of periodic tasks with extended precedences. | Julien Forget, Emmanuel Grolleau, Claire Pagetti, Pascal Richard |
| 2011 | ETFA | Latency and freshness analysis on IMA systems. | Michal Lauer, Jrme Ermont, Frdric Boniol, Claire Pagetti |
| 2011 | SAC | Multiprocessor schedulability analyser. | Mikel Cordovilla, Frdric Boniol, Eric Noulard, Claire Pagetti |
| 2011 | RTNS | Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset. | Mikel Cordovilla, Frdric Boniol, Julien Forget, Eric Noulard, Claire Pagetti |
| 2010 | ISoLA | Analyzing End-to-End Functional Delays on an IMA Platform. | Michal Lauer, Jrme Ermont, Claire Pagetti, Frdric Boniol |
| 2010 | SAC | A real-time architecture design language for multi-rate embedded control systems. | Julien Forget, Frdric Boniol, David Lesens, Claire Pagetti |
| 2010 | RTAS | Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. | Julien Forget, Frdric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti |
| 2007 | ISoLA | Formal Functionally Deterministic Scheduling. | Frdric Boniol, Claire Pagetti, Franois Revest |
| 2006 | POPL | Untitled record | Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
| 2005 | EMSOFT | Synchronization of periodic clocks. | Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |