default search action
Claire Pagetti
Person information
- affiliation: ONERA, Toulouse, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c48]Iryna De Albuquerque Silva
, Thomas Carle, Adrien Gauffriau, Victor Jégu, Claire Pagetti:
A Predictable SIMD Library for GEMM Routines. RTAS 2024: 55-67 - [i10]Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza, Christophe Gabreau, Claire Pagetti, Xavier Pucel, Audrey Galametz:
Verification for Object Detection - IBP IoU. CoRR abs/2403.08788 (2024) - [i9]Benjamin Lesage, Frédéric Boniol, Kevin Delmas, Adrien Gauffriau, Alfonso Mascareñas González, Claire Pagetti:
Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML. CoRR abs/2406.12346 (2024) - [i8]Mohammed Belcaid, Eric Bonnafous, Louis Crison, Christophe Faure, Eric Jenn, Claire Pagetti:
Certified ML Object Detection for Surveillance Missions. CoRR abs/2406.12362 (2024) - [i7]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:
How to design a dataset compliant with an ML-based system ODD? CoRR abs/2406.14027 (2024) - [i6]Benjamin Lesage, Frédéric Boniol, Claire Pagetti:
COOK Access Control on an embedded Volta GPU. CoRR abs/2406.14081 (2024) - 2023
- [j13]Iryna De Albuquerque Silva
Extending a predictable machine learning framework with efficient gemm-based convolution routines. Real Time Syst. 59(3): 408-437 (2023) - [i5]Mélanie Ducoffe, Maxime Carrere, Léo Féliers, Adrien Gauffriau, Vincent Mussot, Claire Pagetti, Thierry Sammour:
LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing. CoRR abs/2304.09938 (2023) - [i4]Adrien Gauffriau, Claire Pagetti:
Formal description of ML models for unambiguous implementation. CoRR abs/2307.12713 (2023) - 2022
- [j12]Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti:
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact). Dagstuhl Artifacts Ser. 8(1): 06:1-06:2 (2022) - [c47]Iryna De Albuquerque Silva
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems. ECRTS 2022: 3:1-3:19 - [c46]Arthur Clavière
Verification of machine learning based cyber-physical systems: a comparative study. HSCC 2022: 22:1-22:16 - [c45]Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel:
Egress-TT Configurations for TSN Networks. RTNS 2022: 58-69 - [c44]Iban Guinebert, Andres Barrilado, Kevin Delmas
Quality of Fault Injection Strategies on Hardware Accelerator. SAFECOMP 2022: 222-236 - 2021
- [c43]Arthur Clavière
Safety Verification of Neural Network Controlled Systems. DSN Workshops 2021: 47-54 - [c42]Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière
Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. SAFECOMP 2021: 34-48 - [i3]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:
White Paper Machine Learning in Certified Systems. CoRR abs/2103.10529 (2021) - 2020
- [c41]Kevin Delmas
Patterns for Certification Standards. CAiSE 2020: 417-432 - [c40]Nathanaël Sensfelder, Julien Brunel, Claire Pagetti:
On How to Identify Cache Coherence: Case of the NXP QorIQ T4240. ECRTS 2020: 13:1-13:22 - [i2]Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti:
Safety Verification of Neural Network Controlled Systems. CoRR abs/2011.05174 (2020)
2010 – 2019
- 2019
- [j11]Nathanaël Sensfelder, Julien Brunel, Claire Pagetti:
Modeling Cache Coherence to Expose Interference (Artifact). Dagstuhl Artifacts Ser. 5(1): 07:1-07:2 (2019) - [j10]Enrico Bini, Claire Pagetti:
Guest editorial: special issue on Real-Time and Network Systems. Real Time Syst. 55(2): 293-295 (2019) - [j9]Guy Durrieu, Claire Pagetti
GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms. ACM Trans. Embed. Comput. Syst. 18(5): 41:1-41:24 (2019) - [c39]Nathanaël Sensfelder, Julien Brunel, Claire Pagetti:
Modeling Cache Coherence to Expose Interference. ECRTS 2019: 18:1-18:22 - [c38]Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder:
Identification of Multi-Core Interference. HASE 2019: 98-106 - 2018
- [c37]Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, Pascal Richard:
Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications. DATE 2018: 231-236 - [c36]Claire Pagetti, Julien Forget, Heiko Falk
Automated generation of time-predictable executables on multicore. RTNS 2018: 104-113 - [i1]V. Bellet, Charles Poussot-Vassal, Claire Pagetti, Thomas Loquen:
Note on the exact delay stability margin computation of hybrid dynamical systems. CoRR abs/1811.07534 (2018) - 2017
- [c35]Julien Forget, Frédéric Boniol, Claire Pagetti:
Verifying end-to-end real-time constraints on multi-periodic models. ETFA 2017: 1-8 - [c34]Kevin Delmas, Rémi Delmas, Claire Pagetti:
SMT-Based Synthesis of Fault-Tolerant Architectures. SAFECOMP 2017: 287-302 - [c33]Kevin Delmas, Remi Delmas, Claire Pagetti:
SMT-based architecture modelling for safety assessment. SIES 2017: 1-8 - [e1]Enrico Bini, Claire Pagetti:
Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS 2017, Grenoble, France, October 04 - 06, 2017. ACM 2017, ISBN 978-1-4503-5286-4 [contents] - 2016
- [c32]Quentin Perret, Pascal Maurère, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoit Triquet:
Temporal Isolation of Hard Real-Time Applications on Many-Core Processors. RTAS 2016: 37-47 - [c31]Quentin Perret, Pascal Maurère, Éric Noulard, Claire Pagetti, Pascal Sainrat, Benoît Triquet:
Mapping hard real-time applications on many-core processors. RTNS 2016: 235-244 - 2015
- [b2]Claire Pagetti:
Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs. (Programming mutli/many-core COTS for critical embedded systems). National Polytechnic Institute of Toulouse, France, 2015 - [j8]Wolfgang Puffitsch
Off-line mapping of multi-rate dependent task sets to many-core platforms. Real Time Syst. 51(5): 526-565 (2015) - [j7]Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti:
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique. Tech. Sci. Informatiques 34(5): 601-626 (2015) - [c30]Kevin Delmas, Rémi Delmas, Claire Pagetti:
Automatic Architecture Hardening Using Safety Patterns. SAFECOMP 2015: 283-296 - 2014
- [j6]Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont
End-to-end latency and temporal consistency analysis in networked real-time systems. Int. J. Crit. Comput. Based Syst. 5(3/4): 172-196 (2014) - [c29]Angeliki Kritikakou
Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems. ECRTS 2014: 119-128 - [c28]Claire Pagetti, David Saussié
The ROSACE case study: From Simulink specification to multi/many-core execution. RTAS 2014: 309-318 - [c27]Angeliki Kritikakou
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. RTNS 2014: 139 - 2013
- [c26]Gilles Lasnier, Janette Cardoso
Distributed Simulation of Heterogeneous and Real-Time Systems. DS-RT 2013: 55-62 - [c25]Wolfgang Puffitsch
Explicit precedence constraints in safety-critical Java. JTRES 2013: 21-28 - [c24]Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont:
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. NASA Formal Methods 2013: 93-107 - [c23]Wolfgang Puffitsch
Mapping a multi-rate synchronous language to a many-core processor. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 293-302 - [c22]Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget:
End-to-end latency computation in a multi-periodic design. SAC 2013: 1682-1687 - 2012
- [c21]Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti:
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. APLAS 2012: 223-238 - [c20]Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti:
Deterministic Execution Model on COTS Hardware. ARCS 2012: 98-110 - [c19]Julie Baro, Frédéric Boniol, Mikel Cordovilla, Eric Noulard, Claire Pagetti:
Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks. SAC 2012: 1815-1820 - 2011
- [j5]Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens:
Multi-task Implementation of Multi-periodic Synchronous Programs. Discret. Event Dyn. Syst. 21(3): 307-338 (2011) - [c18]Julien Forget
Dynamic priority scheduling of periodic tasks with extended precedences. ETFA 2011: 1-8 - [c17]Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti:
Latency and freshness analysis on IMA systems. ETFA 2011: 1-8 - [c16]Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti:
Worst Case Temporal Consistency in Integrated Modular Avionics Systems. HASE 2011: 212-219 - [c15]Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti:
Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset. RTNS 2011: 107-116 - [c14]Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti:
Multiprocessor schedulability analyser. SAC 2011: 735-741 - 2010
- [c13]Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol:
Analyzing End-to-End Functional Delays on an IMA Platform. ISoLA (1) 2010: 243-257 - [c12]Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti:
Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 301-310 - [c11]Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti:
A real-time architecture design language for multi-rate embedded control systems. SAC 2010: 527-534
2000 – 2009
- 2009
- [j4]Frédéric Boniol, Jérôme Ermont, Claire Pagetti:
Verification of real-time systems with preemption: negative and positive results. Innov. Syst. Softw. Eng. 5(3): 163-179 (2009) - [j3]Pierre Bieber, Eric Noulard, Claire Pagetti, Thierry Planche, Francois Vialard:
Preliminary design of future reconfigurable IMA platforms. SIGBED Rev. 6(3): 7 (2009) - [c10]Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti:
Implementing Multi-Periodic Critical Systems: from Design to Code Generation. FMA 2009: 34-48 - 2008
- [c9]Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy:
Vers la génération de modèles de sûreté de fonctionnement. CAL 2008: 157-172 - [c8]Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu:
A Framework for Distributing Real-Time Functions. FORMATS 2008: 155-169 - [c7]Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti:
A Multi-Periodic Synchronous Data-Flow Language. HASE 2008: 251-260 - [c6]Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy:
Vers la génération de modèles de sûreté de fonctionnement. LMO 2008: 59-61 - 2007
- [j2]Wolfgang Theurer, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti:
Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués. Obj. Logiciel Base données Réseaux 13(2-3): 79-110 (2007) - [c5]Frédéric Boniol, Claire Pagetti, François Revest:
Formal Functionally Deterministic Scheduling. ISoLA 2007: 33-40 - 2006
- [c4]Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet:
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. POPL 2006: 180-193 - [c3]Manuel Baclet, Claire Pagetti:
Around Hopcroft's Algorithm. CIAA 2006: 114-125 - 2005
- [c2]Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet:
Synchronization of periodic clocks. EMSOFT 2005: 339-342 - 2004
- [b1]Claire Pagetti:
Extension temps réel d'AltaRica. (Real time extension of AltaRica). École centrale de Nantes, France, 2004 - [j1]Franck Cassez, Claire Pagetti, Olivier H. Roux:
A Timed Extension for ALTARICA. Fundam. Informaticae 62(3-4): 291-332 (2004) - [c1]Michaël Adélaïde, Claire Pagetti:
On the Urgency Expressiveness. FSTTCS 2004: 71-83
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: