default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Claire Pagetti
@inproceedings{DBLP:conf/rtas/SilvaCGJP24,
author = {Iryna De Albuquerque Silva and
Thomas Carle and
Adrien Gauffriau and
Victor J{\'{e}}gu and
Claire Pagetti},
title = {A Predictable {SIMD} Library for {GEMM} Routines},
booktitle = {30th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2024, Hong Kong, May 13-16, 2024},
pages = {55--67},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/RTAS61025.2024.00013},
doi = {10.1109/RTAS61025.2024.00013},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtas/SilvaCGJP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-08788,
author = {No{\'{e}}mie Cohen and
M{\'{e}}lanie Ducoffe and
Ryma Boumazouza and
Christophe Gabreau and
Claire Pagetti and
Xavier Pucel and
Audrey Galametz},
title = {Verification for Object Detection - {IBP} IoU},
journal = {CoRR},
volume = {abs/2403.08788},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.08788},
doi = {10.48550/ARXIV.2403.08788},
eprinttype = {arXiv},
eprint = {2403.08788},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-08788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-12346,
author = {Benjamin Lesage and
Fr{\'{e}}d{\'{e}}ric Boniol and
Kevin Delmas and
Adrien Gauffriau and
Alfonso Mascare{\~{n}}as Gonz{\'{a}}lez and
Claire Pagetti},
title = {Towards the Certification of Hybrid Architectures: Analysing Interference
on Hardware Accelerators through {PML}},
journal = {CoRR},
volume = {abs/2406.12346},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.12346},
doi = {10.48550/ARXIV.2406.12346},
eprinttype = {arXiv},
eprint = {2406.12346},
timestamp = {Fri, 12 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-12346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-12362,
author = {Mohammed Belcaid and
Eric Bonnafous and
Louis Crison and
Christophe Faure and
Eric Jenn and
Claire Pagetti},
title = {Certified {ML} Object Detection for Surveillance Missions},
journal = {CoRR},
volume = {abs/2406.12362},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.12362},
doi = {10.48550/ARXIV.2406.12362},
eprinttype = {arXiv},
eprint = {2406.12362},
timestamp = {Fri, 12 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-12362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-14027,
author = {Cyril Cappi and
No{\'{e}}mie Cohen and
M{\'{e}}lanie Ducoffe and
Christophe Gabreau and
Laurent Gardes and
Adrien Gauffriau and
Jean{-}Brice Ginestet and
Franck Mamalet and
Vincent Mussot and
Claire Pagetti and
David Vigouroux},
title = {How to design a dataset compliant with an ML-based system ODD?},
journal = {CoRR},
volume = {abs/2406.14027},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.14027},
doi = {10.48550/ARXIV.2406.14027},
eprinttype = {arXiv},
eprint = {2406.14027},
timestamp = {Fri, 12 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-14027.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-14081,
author = {Benjamin Lesage and
Fr{\'{e}}d{\'{e}}ric Boniol and
Claire Pagetti},
title = {{COOK} Access Control on an embedded Volta {GPU}},
journal = {CoRR},
volume = {abs/2406.14081},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.14081},
doi = {10.48550/ARXIV.2406.14081},
eprinttype = {arXiv},
eprint = {2406.14081},
timestamp = {Fri, 12 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-14081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/SilvaCGP23,
author = {Iryna De Albuquerque Silva and
Thomas Carle and
Adrien Gauffriau and
Claire Pagetti},
title = {Extending a predictable machine learning framework with efficient
gemm-based convolution routines},
journal = {Real Time Syst.},
volume = {59},
number = {3},
pages = {408--437},
year = {2023},
url = {https://doi.org/10.1007/s11241-023-09407-z},
doi = {10.1007/S11241-023-09407-Z},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/SilvaCGP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-09938,
author = {M{\'{e}}lanie Ducoffe and
Maxime Carrere and
L{\'{e}}o F{\'{e}}liers and
Adrien Gauffriau and
Vincent Mussot and
Claire Pagetti and
Thierry Sammour},
title = {{LARD} - Landing Approach Runway Detection - Dataset for Vision Based
Landing},
journal = {CoRR},
volume = {abs/2304.09938},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.09938},
doi = {10.48550/ARXIV.2304.09938},
eprinttype = {arXiv},
eprint = {2304.09938},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-09938.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-12713,
author = {Adrien Gauffriau and
Claire Pagetti},
title = {Formal description of {ML} models for unambiguous implementation},
journal = {CoRR},
volume = {abs/2307.12713},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.12713},
doi = {10.48550/ARXIV.2307.12713},
eprinttype = {arXiv},
eprint = {2307.12713},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-12713.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SilvaCGP22,
author = {Iryna De Albuquerque Silva and
Thomas Carle and
Adrien Gauffriau and
Claire Pagetti},
title = {{ACETONE:} Predictable Programming Framework for {ML} Applications
in Safety-Critical Systems (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {1},
pages = {06:1--06:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.1.6},
doi = {10.4230/DARTS.8.1.6},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SilvaCGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SilvaCGP22,
author = {Iryna De Albuquerque Silva and
Thomas Carle and
Adrien Gauffriau and
Claire Pagetti},
editor = {Martina Maggio},
title = {{ACETONE:} Predictable Programming Framework for {ML} Applications
in Safety-Critical Systems},
booktitle = {34th Euromicro Conference on Real-Time Systems, {ECRTS} 2022, July
5-8, 2022, Modena, Italy},
series = {LIPIcs},
volume = {231},
pages = {3:1--3:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2022.3},
doi = {10.4230/LIPICS.ECRTS.2022.3},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/SilvaCGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ClaviereSAGP22,
author = {Arthur Clavi{\`{e}}re and
Laura Altieri Sambartolom{\'{e}} and
Eric Asselin and
Christophe Garion and
Claire Pagetti},
editor = {Ezio Bartocci and
Sylvie Putot},
title = {Verification of machine learning based cyber-physical systems: a comparative
study},
booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems:
Computation and Control, Milan, Italy, May 4 - 6, 2022},
pages = {22:1--22:16},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3501710.3519540},
doi = {10.1145/3501710.3519540},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ClaviereSAGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/ChaineBPW22,
author = {Pierre{-}Julien Chaine and
Marc Boyer and
Claire Pagetti and
Franck Wartel},
editor = {Yasmina Abdedda{\"{\i}}m and
Liliana Cucu{-}Grosjean and
Geoffrey Nelissen and
Laurent Pautet},
title = {Egress-TT Configurations for {TSN} Networks},
booktitle = {{RTNS} 2022: The 30th International Conference on Real-Time Networks
and Systems, Paris, France, June 7 - 8, 2022},
pages = {58--69},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3534879.3534885},
doi = {10.1145/3534879.3534885},
timestamp = {Mon, 13 Jun 2022 16:41:40 +0200},
biburl = {https://dblp.org/rec/conf/rtns/ChaineBPW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GuinebertBDGP22,
author = {Iban Guinebert and
Andres Barrilado and
Kevin Delmas and
Franck Galti{\'{e}} and
Claire Pagetti},
editor = {Mario Trapp and
Francesca Saglietti and
Marc Spisl{\"{a}}nder and
Friedemann Bitsch},
title = {Quality of Fault Injection Strategies on Hardware Accelerator},
booktitle = {Computer Safety, Reliability, and Security - 41st International Conference,
{SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13414},
pages = {222--236},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14835-4\_15},
doi = {10.1007/978-3-031-14835-4\_15},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GuinebertBDGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ClaviereAGP21,
author = {Arthur Clavi{\`{e}}re and
Eric Asselin and
Christophe Garion and
Claire Pagetti},
title = {Safety Verification of Neural Network Controlled Systems},
booktitle = {51st Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks Workshops, {DSN} Workshops 2021, Taipei, Taiwan, June
21-24, 2021},
pages = {47--54},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DSN-W52860.2021.00019},
doi = {10.1109/DSN-W52860.2021.00019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/ClaviereAGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DamourGGGGHHPPC21,
author = {Mathieu Damour and
Florence de Grancey and
Christophe Gabreau and
Adrien Gauffriau and
Jean{-}Brice Ginestet and
Alexandre Hervieu and
Thomas Huraux and
Claire Pagetti and
Ludovic Ponsolle and
Arthur Clavi{\`{e}}re},
editor = {Ibrahim Habli and
Mark Sujan and
Friedemann Bitsch},
title = {Towards Certification of a Reduced Footprint ACAS-Xu System: {A} Hybrid
ML-Based Solution},
booktitle = {Computer Safety, Reliability, and Security - 40th International Conference,
{SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12852},
pages = {34--48},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83903-1\_3},
doi = {10.1007/978-3-030-83903-1\_3},
timestamp = {Sun, 28 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/DamourGGGGHHPPC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10529,
author = {Herv{\'{e}} Delseny and
Christophe Gabreau and
Adrien Gauffriau and
Bernard Beaudouin and
Ludovic Ponsolle and
Lucian Alecu and
Hugues Bonnin and
Brice Beltran and
Didier Duchel and
Jean{-}Brice Ginestet and
Alexandre Hervieu and
Ghilaine Martinez and
Sylvain Pasquet and
Kevin Delmas and
Claire Pagetti and
Jean{-}Marc Gabriel and
Camille Chapdelaine and
Sylvaine Picard and
Mathieu Damour and
Cyril Cappi and
Laurent Gard{\`{e}}s and
Florence de Grancey and
Eric Jenn and
Baptiste Lef{\`{e}}vre and
Gr{\'{e}}gory Flandin and
S{\'{e}}bastien Gerchinovitz and
Franck Mamalet and
Alexandre Albore},
title = {White Paper Machine Learning in Certified Systems},
journal = {CoRR},
volume = {abs/2103.10529},
year = {2021},
url = {https://arxiv.org/abs/2103.10529},
eprinttype = {arXiv},
eprint = {2103.10529},
timestamp = {Sun, 28 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/DelmasPP20,
author = {Kevin Delmas and
Claire Pagetti and
Thomas Polacsek},
editor = {Schahram Dustdar and
Eric Yu and
Camille Salinesi and
Dominique Rieu and
Vik Pant},
title = {Patterns for Certification Standards},
booktitle = {Advanced Information Systems Engineering - 32nd International Conference,
CAiSE 2020, Grenoble, France, June 8-12, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12127},
pages = {417--432},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49435-3\_26},
doi = {10.1007/978-3-030-49435-3\_26},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/DelmasPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SensfelderBP20,
author = {Nathana{\"{e}}l Sensfelder and
Julien Brunel and
Claire Pagetti},
editor = {Marcus V{\"{o}}lp},
title = {On How to Identify Cache Coherence: Case of the {NXP} QorIQ {T4240}},
booktitle = {32nd Euromicro Conference on Real-Time Systems, {ECRTS} 2020, July
7-10, 2020, Virtual Conference},
series = {LIPIcs},
volume = {165},
pages = {13:1--13:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2020.13},
doi = {10.4230/LIPICS.ECRTS.2020.13},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/SensfelderBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-05174,
author = {Arthur Clavi{\`{e}}re and
Eric Asselin and
Christophe Garion and
Claire Pagetti},
title = {Safety Verification of Neural Network Controlled Systems},
journal = {CoRR},
volume = {abs/2011.05174},
year = {2020},
url = {https://arxiv.org/abs/2011.05174},
eprinttype = {arXiv},
eprint = {2011.05174},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-05174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SensfelderBP19,
author = {Nathana{\"{e}}l Sensfelder and
Julien Brunel and
Claire Pagetti},
title = {Modeling Cache Coherence to Expose Interference (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {1},
pages = {07:1--07:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.1.7},
doi = {10.4230/DARTS.5.1.7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SensfelderBP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BiniP19,
author = {Enrico Bini and
Claire Pagetti},
title = {Guest editorial: special issue on Real-Time and Network Systems},
journal = {Real Time Syst.},
volume = {55},
number = {2},
pages = {293--295},
year = {2019},
url = {https://doi.org/10.1007/s11241-019-09335-x},
doi = {10.1007/S11241-019-09335-X},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/BiniP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/DurrieuP19,
author = {Guy Durrieu and
Claire Pagetti},
title = {GRec: Automatic Computation of Reconfiguration Graphs for Multi-core
Platforms},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {18},
number = {5},
pages = {41:1--41:24},
year = {2019},
url = {https://doi.org/10.1145/3350533},
doi = {10.1145/3350533},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/DurrieuP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SensfelderBP19,
author = {Nathana{\"{e}}l Sensfelder and
Julien Brunel and
Claire Pagetti},
editor = {Sophie Quinton},
title = {Modeling Cache Coherence to Expose Interference},
booktitle = {31st Euromicro Conference on Real-Time Systems, {ECRTS} 2019, July
9-12, 2019, Stuttgart, Germany},
series = {LIPIcs},
volume = {133},
pages = {18:1--18:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2019.18},
doi = {10.4230/LIPICS.ECRTS.2019.18},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/SensfelderBP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BoniolPS19,
author = {Fr{\'{e}}d{\'{e}}ric Boniol and
Claire Pagetti and
Nathana{\"{e}}l Sensfelder},
editor = {Dongjin Yu and
Vu Nguyen and
Congfeng Jiang},
title = {Identification of Multi-Core Interference},
booktitle = {19th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2019, Hangzhou, China, January 3-5, 2019},
pages = {98--106},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HASE.2019.00024},
doi = {10.1109/HASE.2019.00024},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/hase/BoniolPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/NguyenOGFPR18,
author = {Thanh{-}Dat Nguyen and
Yassine Ouhammou and
Emmanuel Grolleau and
Julien Forget and
Claire Pagetti and
Pascal Richard},
editor = {Jan Madsen and
Ayse K. Coskun},
title = {Design and analysis of semaphore precedence constraints: {A} model-based
approach for deterministic communications},
booktitle = {2018 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
pages = {231--236},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/DATE.2018.8342008},
doi = {10.23919/DATE.2018.8342008},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/NguyenOGFPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/PagettiFFOL18,
author = {Claire Pagetti and
Julien Forget and
Heiko Falk and
Dominic Oehlert and
Arno Luppold},
editor = {Yassine Ouhammou and
Fr{\'{e}}d{\'{e}}ric Ridouard and
Emmanuel Grolleau and
Mathieu Jan and
Moris Behnam},
title = {Automated generation of time-predictable executables on multicore},
booktitle = {Proceedings of the 26th International Conference on Real-Time Networks
and Systems, {RTNS} 2018, Chasseneuil-du-Poitou, France, October 10-12,
2018},
pages = {104--113},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3273905.3273907},
doi = {10.1145/3273905.3273907},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtns/PagettiFFOL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-07534,
author = {V. Bellet and
Charles Poussot{-}Vassal and
Claire Pagetti and
Thomas Loquen},
title = {Note on the exact delay stability margin computation of hybrid dynamical
systems},
journal = {CoRR},
volume = {abs/1811.07534},
year = {2018},
url = {http://arxiv.org/abs/1811.07534},
eprinttype = {arXiv},
eprint = {1811.07534},
timestamp = {Wed, 17 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-07534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ForgetBP17,
author = {Julien Forget and
Fr{\'{e}}d{\'{e}}ric Boniol and
Claire Pagetti},
title = {Verifying end-to-end real-time constraints on multi-periodic models},
booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ETFA.2017.8247612},
doi = {10.1109/ETFA.2017.8247612},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/ForgetBP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DelmasDP17,
author = {Kevin Delmas and
R{\'{e}}mi Delmas and
Claire Pagetti},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {SMT-Based Synthesis of Fault-Tolerant Architectures},
booktitle = {Computer Safety, Reliability, and Security - 36th International Conference,
{SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10488},
pages = {287--302},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66266-4\_19},
doi = {10.1007/978-3-319-66266-4\_19},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/DelmasDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/DelmasDP17,
author = {Kevin Delmas and
Remi Delmas and
Claire Pagetti},
title = {SMT-based architecture modelling for safety assessment},
booktitle = {12th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2017, Toulouse, France, June 14-16, 2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SIES.2017.7993379},
doi = {10.1109/SIES.2017.7993379},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/DelmasDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtns/2017,
editor = {Enrico Bini and
Claire Pagetti},
title = {Proceedings of the 25th International Conference on Real-Time Networks
and Systems, {RTNS} 2017, Grenoble, France, October 04 - 06, 2017},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3139258},
isbn = {978-1-4503-5286-4},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtns/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/PerretMNPST16,
author = {Quentin Perret and
Pascal Maur{\`{e}}re and
Eric Noulard and
Claire Pagetti and
Pascal Sainrat and
Benoit Triquet},
title = {Temporal Isolation of Hard Real-Time Applications on Many-Core Processors},
booktitle = {2016 {IEEE} Real-Time and Embedded Technology and Applications Symposium
(RTAS), Vienna, Austria, April 11-14, 2016},
pages = {37--47},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTAS.2016.7461363},
doi = {10.1109/RTAS.2016.7461363},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/PerretMNPST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/PerretMNPST16,
author = {Quentin Perret and
Pascal Maur{\`{e}}re and
{\'{E}}ric Noulard and
Claire Pagetti and
Pascal Sainrat and
Beno{\^{\i}}t Triquet},
editor = {Alain Plantec and
Frank Singhoff and
S{\'{e}}bastien Faucou and
Lu{\'{\i}}s Miguel Pinho},
title = {Mapping hard real-time applications on many-core processors},
booktitle = {Proceedings of the 24th International Conference on Real-Time Networks
and Systems, {RTNS} 2016, Brest, France, October 19-21, 2016},
pages = {235--244},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2997465.2997496},
doi = {10.1145/2997465.2997496},
timestamp = {Tue, 29 Dec 2020 18:28:06 +0100},
biburl = {https://dblp.org/rec/conf/rtns/PerretMNPST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Pagetti15,
author = {Claire Pagetti},
title = {Programmation s{\^{u}}re de plates-formes embarqu{\'{e}}es de
type multi/pluri-c{\oe}urs. (Programming mutli/many-core {COTS} for
critical embedded systems)},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-01247922},
timestamp = {Sat, 30 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Pagetti15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/PuffitschNP15,
author = {Wolfgang Puffitsch and
Eric Noulard and
Claire Pagetti},
title = {Off-line mapping of multi-rate dependent task sets to many-core platforms},
journal = {Real Time Syst.},
volume = {51},
number = {5},
pages = {526--565},
year = {2015},
url = {https://doi.org/10.1007/s11241-015-9232-1},
doi = {10.1007/S11241-015-9232-1},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/PuffitschNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/WyssBFP15,
author = {R{\'{e}}my Wyss and
Fr{\'{e}}d{\'{e}}ric Boniol and
Julien Forget and
Claire Pagetti},
title = {Calcul de propri{\'{e}}t{\'{e}}s temps r{\'{e}}el de
bout-en-bout dans un programme synchrone multi-p{\'{e}}riodique},
journal = {Tech. Sci. Informatiques},
volume = {34},
number = {5},
pages = {601--626},
year = {2015},
url = {https://doi.org/10.3166/tsi.34.601-626},
doi = {10.3166/TSI.34.601-626},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/WyssBFP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DelmasDP15,
author = {Kevin Delmas and
R{\'{e}}mi Delmas and
Claire Pagetti},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Automatic Architecture Hardening Using Safety Patterns},
booktitle = {Computer Safety, Reliability, and Security - 34th International Conference,
{SAFECOMP} 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9337},
pages = {283--296},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24255-2\_21},
doi = {10.1007/978-3-319-24255-2\_21},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/DelmasDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/LauerBPE14,
author = {Micha{\"{e}}l Lauer and
Fr{\'{e}}d{\'{e}}ric Boniol and
Claire Pagetti and
J{\'{e}}r{\^{o}}me Ermont},
title = {End-to-end latency and temporal consistency analysis in networked
real-time systems},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {5},
number = {3/4},
pages = {172--196},
year = {2014},
url = {https://doi.org/10.1504/IJCCBS.2014.064667},
doi = {10.1504/IJCCBS.2014.064667},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/LauerBPE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/KritikakouPBRR14,
author = {Angeliki Kritikakou and
Claire Pagetti and
Olivier Baldellon and
Matthieu Roy and
Christine Rochange},
title = {Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems},
booktitle = {26th Euromicro Conference on Real-Time Systems, {ECRTS} 2014, Madrid,
Spain, July 8-11, 2014},
pages = {119--128},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ECRTS.2014.14},
doi = {10.1109/ECRTS.2014.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/KritikakouPBRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/PagettiSGNS14,
author = {Claire Pagetti and
David Saussi{\'{e}} and
Romain Gratia and
Eric Noulard and
Pierre Siron},
title = {The {ROSACE} case study: From Simulink specification to multi/many-core
execution},
booktitle = {20th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2014, Berlin, Germany, April 15-17, 2014},
pages = {309--318},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTAS.2014.6926012},
doi = {10.1109/RTAS.2014.6926012},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/PagettiSGNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/KritikakouRFPRGP14,
author = {Angeliki Kritikakou and
Christine Rochange and
Madeleine Faug{\`{e}}re and
Claire Pagetti and
Matthieu Roy and
Sylvain Girbal and
Daniel Gracia P{\'{e}}rez},
editor = {Mathieu Jan and
Belgacem Ben Hedia and
Jo{\"{e}}l Goossens and
Claire Maiza},
title = {Distributed run-time {WCET} controller for concurrent critical tasks
in mixed-critical systems},
booktitle = {22nd International Conference on Real-Time Networks and Systems, {RTNS}
'14, Versaille, France, October 8-10, 2014},
pages = {139},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2659787.2659799},
doi = {10.1145/2659787.2659799},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtns/KritikakouRFPRGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/LasnierCSPD13,
author = {Gilles Lasnier and
Janette Cardoso and
Pierre Siron and
Claire Pagetti and
Patricia Derler},
title = {Distributed Simulation of Heterogeneous and Real-Time Systems},
booktitle = {17th {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications, {DS-RT} 2013, Delft, The Netherlands,
October 30 - November 1, 2013},
pages = {55--62},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DS-RT.2013.14},
doi = {10.1109/DS-RT.2013.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/LasnierCSPD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/PuffitschNP13,
author = {Wolfgang Puffitsch and
Eric Noulard and
Claire Pagetti},
editor = {Fridtjof Siebert and
Kelvin Nilsen},
title = {Explicit precedence constraints in safety-critical Java},
booktitle = {The 11th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '13, Karlsruhe, Germany, October 9-11,
2013},
pages = {21--28},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2512989.2512997},
doi = {10.1145/2512989.2512997},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/PuffitschNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BoniolLPE13,
author = {Fr{\'{e}}d{\'{e}}ric Boniol and
Micha{\"{e}}l Lauer and
Claire Pagetti and
J{\'{e}}r{\^{o}}me Ermont},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Freshness and Reactivity Analysis in Globally Asynchronous Locally
Time-Triggered Systems},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {93--107},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_7},
doi = {10.1007/978-3-642-38088-4\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BoniolLPE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/PuffitschNP13,
author = {Wolfgang Puffitsch and
Eric Noulard and
Claire Pagetti},
title = {Mapping a multi-rate synchronous language to a many-core processor},
booktitle = {19th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2013, Philadelphia, PA, USA, April 9-11, 2013},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RTAS.2013.6531101},
doi = {10.1109/RTAS.2013.6531101},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/PuffitschNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/WyssBPF13,
author = {R{\'{e}}my Wyss and
Fr{\'{e}}d{\'{e}}ric Boniol and
Claire Pagetti and
Julien Forget},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {End-to-end latency computation in a multi-periodic design},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1682--1687},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480678},
doi = {10.1145/2480362.2480678},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/WyssBPF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/WyssBFP12,
author = {R{\'{e}}my Wyss and
Fr{\'{e}}d{\'{e}}ric Boniol and
Julien Forget and
Claire Pagetti},
editor = {Ranjit Jhala and
Atsushi Igarashi},
title = {A Synchronous Language with Partial Delay Specification for Real-Time
Systems Programming},
booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7705},
pages = {223--238},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35182-2\_16},
doi = {10.1007/978-3-642-35182-2\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/WyssBFP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/BoniolCNP12,
author = {Fr{\'{e}}d{\'{e}}ric Boniol and
Hugues Cass{\'{e}} and
Eric Noulard and
Claire Pagetti},
editor = {Andreas Herkersdorf and
Kay R{\"{o}}mer and
Uwe Brinkschulte},
title = {Deterministic Execution Model on {COTS} Hardware},
booktitle = {Architecture of Computing Systems - {ARCS} 2012 - 25th International
Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7179},
pages = {98--110},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28293-5\_9},
doi = {10.1007/978-3-642-28293-5\_9},
timestamp = {Thu, 14 Oct 2021 10:21:06 +0200},
biburl = {https://dblp.org/rec/conf/arcs/BoniolCNP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BaroBCNP12,
author = {Julie Baro and
Fr{\'{e}}d{\'{e}}ric Boniol and
Mikel Cordovilla and
Eric Noulard and
Claire Pagetti},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Off-line (Optimal) multiprocessor scheduling of dependent periodic
tasks},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1815--1820},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232071},
doi = {10.1145/2245276.2232071},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/BaroBCNP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/PagettiFBCL11,
author = {Claire Pagetti and
Julien Forget and
Fr{\'{e}}d{\'{e}}ric Boniol and
Mikel Cordovilla and
David Lesens},
title = {Multi-task Implementation of Multi-periodic Synchronous Programs},
journal = {Discret. Event Dyn. Syst.},
volume = {21},
number = {3},
pages = {307--338},
year = {2011},
url = {https://doi.org/10.1007/s10626-011-0107-x},
doi = {10.1007/S10626-011-0107-X},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/PagettiFBCL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ForgetGPR11,
author = {Julien Forget and
Emmanuel Grolleau and
Claire Pagetti and
Pascal Richard},
editor = {Zoubir Mammeri},
title = {Dynamic priority scheduling of periodic tasks with extended precedences},
booktitle = {{IEEE} 16th Conference on Emerging Technologies {\&} Factory Automation,
{ETFA} 2011, Toulouse, France, September 5-9, 2011},
pages = {1--8},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ETFA.2011.6059015},
doi = {10.1109/ETFA.2011.6059015},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/ForgetGPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/LauerEBP11,
author = {Micha{\"{e}}l Lauer and
J{\'{e}}r{\^{o}}me Ermont and
Fr{\'{e}}d{\'{e}}ric Boniol and
Claire Pagetti},
editor = {Zoubir Mammeri},
title = {Latency and freshness analysis on {IMA} systems},
booktitle = {{IEEE} 16th Conference on Emerging Technologies {\&} Factory Automation,
{ETFA} 2011, Toulouse, France, September 5-9, 2011},
pages = {1--8},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ETFA.2011.6059017},
doi = {10.1109/ETFA.2011.6059017},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/LauerEBP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LauerEBP11,
author = {Micha{\"{e}}l Lauer and
J{\'{e}}r{\^{o}}me Ermont and
Fr{\'{e}}d{\'{e}}ric Boniol and
Claire Pagetti},
editor = {Taghi M. Khoshgoftaar},
title = {Worst Case Temporal Consistency in Integrated Modular Avionics Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {212--219},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.48},
doi = {10.1109/HASE.2011.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LauerEBP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/CordovillaBFNP11,
author = {Mikel Cordovilla and
Fr{\'{e}}d{\'{e}}ric Boniol and
Julien Forget and
Eric Noulard and
Claire Pagetti},
editor = {S{\'{e}}bastien Faucou and
Alan Burns and
Laurent George},
title = {Developing critical embedded systems on multicore architectures: the
{PRELUDE-SCHEDMCORE} toolset},
booktitle = {19th International Conference on Real-Time and Network Systems, {RTNS}
'11, Nantes, France, September 29-30, 2011. Proceedings},
pages = {107--116},
year = {2011},
url = {http://rtns2011.irccyn.ec-nantes.fr/files/rtns2011.pdf},
timestamp = {Thu, 17 Mar 2022 16:13:49 +0100},
biburl = {https://dblp.org/rec/conf/rtns/CordovillaBFNP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CordovillaBNP11,
author = {Mikel Cordovilla and
Fr{\'{e}}d{\'{e}}ric Boniol and
Eric Noulard and
Claire Pagetti},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Multiprocessor schedulability analyser},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {735--741},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982345},
doi = {10.1145/1982185.1982345},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/CordovillaBNP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LauerEPB10,
author = {Micha{\"{e}}l Lauer and
J{\'{e}}r{\^{o}}me Ermont and
Claire Pagetti and
Fr{\'{e}}d{\'{e}}ric Boniol},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Analyzing End-to-End Functional Delays on an {IMA} Platform},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {243--257},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0\_21},
doi = {10.1007/978-3-642-16558-0\_21},
timestamp = {Sun, 02 Jun 2019 21:11:28 +0200},
biburl = {https://dblp.org/rec/conf/isola/LauerEPB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ForgetBGLP10,
author = {Julien Forget and
Fr{\'{e}}d{\'{e}}ric Boniol and
Emmanuel Grolleau and
David Lesens and
Claire Pagetti},
editor = {Marco Caccamo},
title = {Scheduling Dependent Periodic Tasks without Synchronization Mechanisms},
booktitle = {16th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2010, Stockholm, Sweden, April 12-15, 2010},
pages = {301--310},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RTAS.2010.26},
doi = {10.1109/RTAS.2010.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ForgetBGLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ForgetBLP10,
author = {Julien Forget and
Fr{\'{e}}d{\'{e}}ric Boniol and
David Lesens and
Claire Pagetti},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {A real-time architecture design language for multi-rate embedded control
systems},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {527--534},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774196},
doi = {10.1145/1774088.1774196},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/ForgetBLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BoniolEP09,
author = {Fr{\'{e}}d{\'{e}}ric Boniol and
J{\'{e}}r{\^{o}}me Ermont and
Claire Pagetti},
title = {Verification of real-time systems with preemption: negative and positive
results},
journal = {Innov. Syst. Softw. Eng.},
volume = {5},
number = {3},
pages = {163--179},
year = {2009},
url = {https://doi.org/10.1007/s11334-009-0093-4},
doi = {10.1007/S11334-009-0093-4},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BoniolEP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BieberNPPV09,
author = {Pierre Bieber and
Eric Noulard and
Claire Pagetti and
Thierry Planche and
Francois Vialard},
title = {Preliminary design of future reconfigurable {IMA} platforms},
journal = {{SIGBED} Rev.},
volume = {6},
number = {3},
pages = {7},
year = {2009},
url = {https://doi.org/10.1145/1851340.1851349},
doi = {10.1145/1851340.1851349},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/BieberNPPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-2871,
author = {Julien Forget and
Fr{\'{e}}d{\'{e}}ric Boniol and
David Lesens and
Claire Pagetti},
editor = {Manuela{-}Luminita Bujorianu and
Michael Fisher},
title = {Implementing Multi-Periodic Critical Systems: from Design to Code
Generation},
booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
2009, Eindhoven, The Netherlands, 3rd November 2009},
series = {{EPTCS}},
volume = {20},
pages = {34--48},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.20.4},
doi = {10.4204/EPTCS.20.4},
timestamp = {Tue, 21 Sep 2021 18:08:28 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-2871.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/DumasPSBD08,
author = {Xavier Dumas and
Claire Pagetti and
Laurent Sagaspe and
Pierre Bieber and
Philippe Dhaussy},
editor = {Yamine A{\"{\i}}t Ameur},
title = {Vers la g{\'{e}}n{\'{e}}ration de mod{\`{e}}les de s{\^{u}}ret{\'{e}}
de fonctionnement},
booktitle = {2{\`{e}}me Conf{\'{e}}rence Francophone sur les Architectures
Logicielles {(CAL} 2008), 3-7 Mars 2008, Montr{\'{e}}al, Qu{\'{e}}bec,
Canada},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-L-2}},
pages = {157--172},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2008},
url = {http://editions-rnti.fr/?inprocid=1000677},
timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
biburl = {https://dblp.org/rec/conf/cal/DumasPSBD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BoniolHPAJ08,
author = {Fr{\'{e}}d{\'{e}}ric Boniol and
Pierre{-}Emmanuel Hladik and
Claire Pagetti and
Fr{\'{e}}d{\'{e}}ric Aspro and
Victor J{\'{e}}gu},
editor = {Franck Cassez and
Claude Jard},
title = {A Framework for Distributing Real-Time Functions},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {155--169},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_12},
doi = {10.1007/978-3-540-85778-5\_12},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BoniolHPAJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ForgetBLP08,
author = {Julien Forget and
Fr{\'{e}}d{\'{e}}ric Boniol and
David Lesens and
Claire Pagetti},
title = {A Multi-Periodic Synchronous Data-Flow Language},
booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
Nanjing, China, December 3 - 5, 2008},
pages = {251--260},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HASE.2008.47},
doi = {10.1109/HASE.2008.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ForgetBLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/DumasPSBD08,
author = {Xavier Dumas and
Claire Pagetti and
Laurent Sagaspe and
Pierre Bieber and
Philippe Dhaussy},
editor = {Houari A. Sahraoui and
Mireille Blay{-}Fornarino and
Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc},
title = {Vers la g{\'{e}}n{\'{e}}ration de mod{\`{e}}les de s{\^{u}}ret{\'{e}}
de fonctionnement},
booktitle = {Langages et Mod{\`{e}}les {\`{a}} Objets, {LMO} 2008, Montr{\'{e}}al,
Qu{\'{e}}bec, Canada, 5-7 mars 2008},
series = {{RNTI}},
volume = {{L-1}},
pages = {59--61},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2008},
url = {http://editions-rnti.fr/?inprocid=1000578},
timestamp = {Fri, 25 Apr 2014 17:34:28 +0200},
biburl = {https://dblp.org/rec/conf/lmo/DumasPSBD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/TheurerBDP07,
author = {Wolfgang Theurer and
Fr{\'{e}}d{\'{e}}ric Boniol and
Philippe Dhaussy and
Claire Pagetti},
title = {Un cadre conceptuel pour la mod{\'{e}}lisation multi point de
vue de syst{\`{e}}mes embarqu{\'{e}}s},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {13},
number = {2-3},
pages = {79--110},
year = {2007},
url = {https://doi.org/10.3166/obj.13.2-3.79-110},
doi = {10.3166/OBJ.13.2-3.79-110},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/TheurerBDP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BoniolPR07,
author = {Fr{\'{e}}d{\'{e}}ric Boniol and
Claire Pagetti and
Fran{\c{c}}ois Revest},
editor = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels},
title = {Formal Functionally Deterministic Scheduling},
booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
Verification and Validation, Poitiers-Futuroscope, France, December
12-14, 2007},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-SM-1}},
pages = {33--40},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2007},
url = {http://editions-rnti.fr/?inprocid=1000531},
timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
biburl = {https://dblp.org/rec/conf/isola/BoniolPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CohenDEPPP06,
author = {Albert Cohen and
Marc Duranton and
Christine Eisenbeis and
Claire Pagetti and
Florence Plateau and
Marc Pouzet},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {\emph{N}-synchronous Kahn networks: a relaxed model of synchrony for
real-time systems},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {180--193},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111054},
doi = {10.1145/1111037.1111054},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/CohenDEPPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BacletP06,
author = {Manuel Baclet and
Claire Pagetti},
editor = {Oscar H. Ibarra and
Hsu{-}Chun Yen},
title = {Around Hopcroft's Algorithm},
booktitle = {Implementation and Application of Automata, 11th International Conference,
{CIAA} 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4094},
pages = {114--125},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11812128\_12},
doi = {10.1007/11812128\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/BacletP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CohenDEPPP05,
author = {Albert Cohen and
Marc Duranton and
Christine Eisenbeis and
Claire Pagetti and
Florence Plateau and
Marc Pouzet},
editor = {Wayne H. Wolf},
title = {Synchronization of periodic clocks},
booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
International Conference On Embedded Software, Proceedings},
pages = {339--342},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086228.1086289},
doi = {10.1145/1086228.1086289},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/CohenDEPPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Pagetti04,
author = {Claire Pagetti},
title = {Extension temps r{\'{e}}el d'AltaRica. (Real time extension of
AltaRica)},
school = {{\'{E}}cole centrale de Nantes, France},
year = {2004},
url = {https://tel.archives-ouvertes.fr/tel-00006316},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Pagetti04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CassezPR04,
author = {Franck Cassez and
Claire Pagetti and
Olivier H. Roux},
title = {A Timed Extension for {ALTARICA}},
journal = {Fundam. Informaticae},
volume = {62},
number = {3-4},
pages = {291--332},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-3-4-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CassezPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AdelaideP04,
author = {Micha{\"{e}}l Ad{\'{e}}la{\"{\i}}de and
Claire Pagetti},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {On the Urgency Expressiveness},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {71--83},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_7},
doi = {10.1007/978-3-540-30538-5\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AdelaideP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-08-05 21:13 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:
