Claire Pagetti

82 papers A 7B 9C 7Misc 11Journal 31Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Convolutions Predictable Offloading to an Accelerator: Formalization and Optimization. CoRR Benjamin Husson, Mohammed Belcaid, Thomas Carle, Claire Pagetti
2026	J	`jnl`	Extension of ACETONE C code generator for multi-core architectures. CoRR Yanis Aït-Aïssa, Thomas Carle, Sergei Chichin, Benjamin Lesage, Claire Pagetti
2026	J	`jnl`	LARD 2.0: Enhanced Datasets and Benchmarking for Autonomous Landing Systems. CoRR Yassine Bougacha, Geoffrey Delhomme, Mélanie Ducoffe, Augustin Fuchs, Jean-Brice Ginestet, Jacques Girard, Sofiane Kraiem, Franck Mamalet, Vincent Mussot, Claire Pagetti, Thierry Sammour
2025	J	`jnl`	Challenges of neural network accelerators for aeronautics - position paper. Real Time Syst. Benjamin Lesage, Adrien Gauffriau, Claire Pagetti, Nicolas Valot
2025	J	`jnl`	Implementation of airborne ML models with semantics preservation. CoRR Nicolas Valot, Louis Fabre, Benjamin Lesage, Ammar Mechouche, Claire Pagetti
2025	J	`jnl`	Open-source Stand-Alone Versatile Tensor Accelerator. CoRR Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau, Claire Pagetti
2025	C	`conf`	Towards a validated core memory model through (MP)SoC events. ISORC Alfonso Mascareñas González, Frédéric Boniol, Benjamin Lesage, Claire Pagetti
2025	J	`jnl`	Tradeoffs in Reactive Systems Design (Dagstuhl Seminar 25091). Dagstuhl Reports Jerónimo Castrillón Mazo, Chadlia Jerad, Edward A. Lee, Claire Pagetti, Shaokai Jerry Lin
2024	A	`conf`	A Predictable SIMD Library for GEMM Routines. RTAS Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Victor Jégu, Claire Pagetti
2024	J	`jnl`	COOK Access Control on an embedded Volta GPU. CoRR Benjamin Lesage, Frédéric Boniol, Claire Pagetti
2024	J	`jnl`	Certified ML Object Detection for Surveillance Missions. CoRR Mohammed Belcaid, Eric Bonnafous, Louis Crison, Christophe Faure, Eric Jenn, Claire Pagetti
2024	J	`jnl`	How to design a dataset compliant with an ML-based system ODD? CoRR Cyril Cappi, Noémie Cohen, Mélanie Ducoffe, Christophe Gabreau, Laurent Gardes, Adrien Gauffriau, Jean-Brice Ginestet, Franck Mamalet, Vincent Mussot, Claire Pagetti, David Vigouroux
2024	J	`jnl`	Methodology for Formal Verification of Hardware Safety Strategies Using SMT. IEEE Embed. Syst. Lett. Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau, Claire Pagetti
2024	J	`jnl`	Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML. CoRR Benjamin Lesage, Frédéric Boniol, Kevin Delmas, Adrien Gauffriau, Alfonso Mascareñas González, Claire Pagetti
2024	J	`jnl`	Verification for Object Detection - IBP IoU. CoRR Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza, Christophe Gabreau, Claire Pagetti, Xavier Pucel, Audrey Galametz
2023	J	`jnl`	Extending a predictable machine learning framework with efficient gemm-based convolution routines. Real Time Syst. Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
2023	J	`jnl`	Formal description of ML models for unambiguous implementation. CoRR Adrien Gauffriau, Claire Pagetti
2023	J	`jnl`	LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing. CoRR Mélanie Ducoffe, Maxime Carrere, Léo Féliers, Adrien Gauffriau, Vincent Mussot, Claire Pagetti, Thierry Sammour
2022	J	`jnl`	ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact). Dagstuhl Artifacts Ser. Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
2022	B	`conf`	ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems. ECRTS Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
2022	Misc	`conf`	Egress-TT Configurations for TSN Networks. RTNS Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel
2022	B	`conf`	Quality of Fault Injection Strategies on Hardware Accelerator. SAFECOMP Iban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galtié, Claire Pagetti
2022	—	`conf`	Verification of machine learning based cyber-physical systems: a comparative study. HSCC Arthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion, Claire Pagetti
2021	—	`conf`	Safety Verification of Neural Network Controlled Systems. DSN Workshops Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti
2021	B	`conf`	Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. SAFECOMP Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière
2021	J	`jnl`	White Paper Machine Learning in Certified Systems. CoRR Hervé Delseny, Christophe Gabreau, Adrien Gauffriau, Bernard Beaudouin, Ludovic Ponsolle, Lucian Alecu, Hugues Bonnin, Brice Beltran, Didier Duchel, Jean-Brice Ginestet, Alexandre Hervieu, Ghilaine Martinez, Sylvain Pasquet, Kevin Delmas, Claire Pagetti, Jean-Marc Gabriel, Camille Chapdelaine, Sylvaine Picard, Mathieu Damour, Cyril Cappi, Laurent Gardès, Florence de Grancey, Eric Jenn, Baptiste Lefèvre, Grégory Flandin, Sébastien Gerchinovitz, Franck Mamalet, Alexandre Albore
2020	B	`conf`	On How to Identify Cache Coherence: Case of the NXP QorIQ T4240. ECRTS Nathanaël Sensfelder, Julien Brunel, Claire Pagetti
2020	A	`conf`	Patterns for Certification Standards. CAiSE Kevin Delmas, Claire Pagetti, Thomas Polacsek
2020	J	`jnl`	Safety Verification of Neural Network Controlled Systems. CoRR Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti
2019	J	`jnl`	GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms. ACM Trans. Embed. Comput. Syst. Guy Durrieu, Claire Pagetti
2019	J	`jnl`	Guest editorial: special issue on Real-Time and Network Systems. Real Time Syst. Enrico Bini, Claire Pagetti
2019	—	`conf`	Identification of Multi-Core Interference. HASE Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder
2019	J	`jnl`	Modeling Cache Coherence to Expose Interference (Artifact). Dagstuhl Artifacts Ser. Nathanaël Sensfelder, Julien Brunel, Claire Pagetti
2019	B	`conf`	Modeling Cache Coherence to Expose Interference. ECRTS Nathanaël Sensfelder, Julien Brunel, Claire Pagetti
2018	Misc	`conf`	Automated generation of time-predictable executables on multicore. RTNS Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, Arno Luppold
2018	A	`conf`	Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications. DATE Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, Pascal Richard
2018	J	`jnl`	Note on the exact delay stability margin computation of hybrid dynamical systems. CoRR V. Bellet, Charles Poussot-Vassal, Claire Pagetti, Thomas Loquen
2017	Misc	`ed.`	Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS 2017, Grenoble, France, October 04 - 06, 2017 RTNS Enrico Bini, Claire Pagetti
2017	B	`conf`	SMT-Based Synthesis of Fault-Tolerant Architectures. SAFECOMP Kevin Delmas, Rémi Delmas, Claire Pagetti
2017	—	`conf`	SMT-based architecture modelling for safety assessment. SIES Kevin Delmas, Remi Delmas, Claire Pagetti
2017	C	`conf`	Verifying end-to-end real-time constraints on multi-periodic models. ETFA Julien Forget, Frédéric Boniol, Claire Pagetti
2016	Misc	`conf`	Mapping hard real-time applications on many-core processors. RTNS Quentin Perret, Pascal Maurère, Éric Noulard, Claire Pagetti, Pascal Sainrat, Benoît Triquet
2016	A	`conf`	Temporal Isolation of Hard Real-Time Applications on Many-Core Processors. RTAS Quentin Perret, Pascal Maurère, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoit Triquet
2015	B	`conf`	Automatic Architecture Hardening Using Safety Patterns. SAFECOMP Kevin Delmas, Rémi Delmas, Claire Pagetti
2015	J	`jnl`	Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique. Tech. Sci. Informatiques Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
2015	J	`jnl`	Off-line mapping of multi-rate dependent task sets to many-core platforms. Real Time Syst. Wolfgang Puffitsch, Eric Noulard, Claire Pagetti
2015	—	`book`	Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs. (Programming mutli/many-core COTS for critical embedded systems). Claire Pagetti
2014	Misc	`conf`	Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. RTNS Angeliki Kritikakou, Christine Rochange, Madeleine Faugère, Claire Pagetti, Matthieu Roy, Sylvain Girbal, Daniel Gracia Pérez
2014	J	`jnl`	End-to-end latency and temporal consistency analysis in networked real-time systems. Int. J. Crit. Comput. Based Syst. Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont
2014	B	`conf`	Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems. ECRTS Angeliki Kritikakou, Claire Pagetti, Olivier Baldellon, Matthieu Roy, Christine Rochange
2014	A	`conf`	The ROSACE case study: From Simulink specification to multi/many-core execution. RTAS Claire Pagetti, David Saussié, Romain Gratia, Eric Noulard, Pierre Siron
2013	C	`conf`	Distributed Simulation of Heterogeneous and Real-Time Systems. DS-RT Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler
2013	Misc	`conf`	End-to-end latency computation in a multi-periodic design. SAC Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget
2013	—	`conf`	Explicit precedence constraints in safety-critical Java. JTRES Wolfgang Puffitsch, Eric Noulard, Claire Pagetti
2013	—	`conf`	Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. NASA Formal Methods Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont
2013	A	`conf`	Mapping a multi-rate synchronous language to a many-core processor. IEEE Real-Time and Embedded Technology and Applications Symposium Wolfgang Puffitsch, Eric Noulard, Claire Pagetti
2012	B	`conf`	A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. APLAS Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
2012	—	`conf`	Deterministic Execution Model on COTS Hardware. ARCS Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti
2012	Misc	`conf`	Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks. SAC Julie Baro, Frédéric Boniol, Mikel Cordovilla, Eric Noulard, Claire Pagetti
2011	Misc	`conf`	Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset. RTNS Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti
2011	C	`conf`	Dynamic priority scheduling of periodic tasks with extended precedences. ETFA Julien Forget, Emmanuel Grolleau, Claire Pagetti, Pascal Richard
2011	C	`conf`	Latency and freshness analysis on IMA systems. ETFA Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti
2011	J	`jnl`	Multi-task Implementation of Multi-periodic Synchronous Programs. Discret. Event Dyn. Syst. Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens
2011	Misc	`conf`	Multiprocessor schedulability analyser. SAC Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti
2011	—	`conf`	Worst Case Temporal Consistency in Integrated Modular Avionics Systems. HASE Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti
2010	Misc	`conf`	A real-time architecture design language for multi-rate embedded control systems. SAC Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2010	—	`conf`	Analyzing End-to-End Functional Delays on an IMA Platform. ISoLA (1) Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol
2010	A	`conf`	Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. IEEE Real-Time and Embedded Technology and Applications Symposium Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti
2009	—	`conf`	Implementing Multi-Periodic Critical Systems: from Design to Code Generation FMA Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2009	J	`jnl`	Preliminary design of future reconfigurable IMA platforms. SIGBED Rev. Pierre Bieber, Eric Noulard, Claire Pagetti, Thierry Planche, Francois Vialard
2009	J	`jnl`	Verification of real-time systems with preemption: negative and positive results. Innov. Syst. Softw. Eng. Frédéric Boniol, Jérôme Ermont, Claire Pagetti
2008	—	`conf`	A Framework for Distributing Real-Time Functions. FORMATS Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu
2008	—	`conf`	A Multi-Periodic Synchronous Data-Flow Language. HASE Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2008	—	`conf`	Vers la génération de modèles de sûreté de fonctionnement. CAL Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy
2008	—	`conf`	Vers la génération de modèles de sûreté de fonctionnement. LMO Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy
2007	C	`conf`	Formal Functionally Deterministic Scheduling. ISoLA Frédéric Boniol, Claire Pagetti, François Revest
2007	J	`jnl`	Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués. Obj. Logiciel Base données Réseaux Wolfgang Theurer, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti
2006	C	`conf`	Around Hopcroft's Algorithm. CIAA Manuel Baclet, Claire Pagetti
2005	Misc	`conf`	Synchronization of periodic clocks. EMSOFT Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet
2004	J	`jnl`	A Timed Extension for ALTARICA. Fundam. Informaticae Franck Cassez, Claire Pagetti, Olivier H. Roux
2004	—	`—`	Extension temps réel d'AltaRica. (Real time extension of AltaRica). Claire Pagetti
2004	—	`conf`	On the Urgency Expressiveness. FSTTCS Michaël Adélaïde, Claire Pagetti