Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mathieu Jan
@article{DBLP:journals/iacr/TollecHNABCHJM24,
author = {Simon Tollec and
Vedad Hadzic and
Pascal Nasahl and
Mihail Asavoae and
Roderick Bloem and
Damien Courouss{\'{e}} and
Karine Heydemann and
Mathieu Jan and
Stefan Mangard},
title = {Fault-Resistant Partitioning of Secure CPUs for System Co-Verification
against Faults},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {247},
year = {2024},
url = {https://eprint.iacr.org/2024/247},
timestamp = {Mon, 18 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/TollecHNABCHJM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/TollecACHJ23,
author = {Simon Tollec and
Mihail Asavoae and
Damien Courouss{\'{e}} and
Karine Heydemann and
Mathieu Jan},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {{\(\mu\)}ARCHIFI: Formal Modeling and Verification Strategies for
Microarchitectural Fault Injections},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {101--109},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_18},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_18},
timestamp = {Wed, 13 Dec 2023 14:38:51 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/TollecACHJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BinderABHJ22,
author = {Benjamin Binder and
Mihail Asavoae and
Florian Brandner and
Belgacem Ben Hedia and
Mathieu Jan},
title = {Formal modeling and verification for amplification timing anomalies
in the superscalar TriCore architecture},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {3},
pages = {415--440},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00655-1},
doi = {10.1007/S10009-022-00655-1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BinderABHJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdtc/TollecACHJ22,
author = {Simon Tollec and
Mihail Asavoae and
Damien Courouss{\'{e}} and
Karine Heydemann and
Mathieu Jan},
title = {Exploration of Fault Effects on Formal {RISC-V} Microarchitecture
Models},
booktitle = {Workshop on Fault Detection and Tolerance in Cryptography, {FDTC}
2022, Virtual Event / Italy, September 16, 2022},
pages = {73--83},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/FDTC57191.2022.00017},
doi = {10.1109/FDTC57191.2022.00017},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdtc/TollecACHJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/AsavoaeMBVJ22,
author = {Mihail Asavoae and
Oumaima Matoussi and
Asmae Bouachtala and
Hai{-}Dang Vu and
Mathieu Jan},
editor = {Tobias Grosser and
Kyoungwoo Lee},
title = {A memory interference analysis using a formal timing analyzer {(WIP)}},
booktitle = {{LCTES} '22: 23rd {ACM} {SIGPLAN/SIGBED} International Conference
on Languages, Compilers, and Tools for Embedded Systems, San Diego,
CA, USA, 14 June 2022},
pages = {146--150},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519941.3535077},
doi = {10.1145/3519941.3535077},
timestamp = {Mon, 20 Jun 2022 16:11:45 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/AsavoaeMBVJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BensaidATJ22,
author = {Samira Ait Bensaid and
Mihail Asavoae and
Farhat Thabet and
Mathieu Jan},
title = {Deriving Pipeline Models for Timing Analysis from High-Level {HDL}
Processor Designs},
booktitle = {20th {ACM-IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2022, Shanghai, China, October 13-14,
2022},
pages = {1--8},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MEMOCODE57689.2022.9954598},
doi = {10.1109/MEMOCODE57689.2022.9954598},
timestamp = {Wed, 07 Dec 2022 23:11:51 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BensaidATJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BensaidATJ22,
author = {Samira Ait Bensaid and
Mihail Asavoae and
Farhat Thabet and
Mathieu Jan},
title = {Work in Progress: Automatic Construction of Pipeline Datapaths from
High-Level {HDL} Code},
booktitle = {28th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2022, Milano, Italy, May 4-6, 2022},
pages = {305--308},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/RTAS54340.2022.00034},
doi = {10.1109/RTAS54340.2022.00034},
timestamp = {Mon, 04 Jul 2022 17:06:22 +0200},
biburl = {https://dblp.org/rec/conf/rtas/BensaidATJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BinderABHJ22,
author = {Benjamin Binder and
Mihail Asavoae and
Florian Brandner and
Belgacem Ben Hedia and
Mathieu Jan},
title = {The Role of Causality in a Formal Definition of Timing Anomalies},
booktitle = {28th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2022, Taipei, Taiwan, August 23-25,
2022},
pages = {91--102},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/RTCSA55878.2022.00016},
doi = {10.1109/RTCSA55878.2022.00016},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/BinderABHJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BehnamJ21,
author = {Moris Behnam and
Mathieu Jan},
title = {Selected papers presented at the 26th International Conference on
Real-Time and Network Systems {(RTNS} 2018)},
journal = {Real Time Syst.},
volume = {57},
number = {1-2},
pages = {1--3},
year = {2021},
url = {https://doi.org/10.1007/s11241-021-09366-3},
doi = {10.1007/S11241-021-09366-3},
timestamp = {Fri, 18 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/BehnamJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BinderAHBJ21,
author = {Benjamin Binder and
Mihail Asavoae and
Belgacem Ben Hedia and
Florian Brandner and
Mathieu Jan},
title = {Is This Still Normal? Putting Definitions of Timing Anomalies to the
Test},
booktitle = {27th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2021, Houston, TX, USA, August 18-20,
2021},
pages = {139--148},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RTCSA52859.2021.00024},
doi = {10.1109/RTCSA52859.2021.00024},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/BinderAHBJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/HebbacheBJP20,
author = {Farouk Hebbache and
Florian Brandner and
Mathieu Jan and
Laurent Pautet},
title = {Work-conserving dynamic time-division multiplexing for multi-criticality
systems},
journal = {Real Time Syst.},
volume = {56},
number = {2},
pages = {124--170},
year = {2020},
url = {https://doi.org/10.1007/s11241-019-09336-w},
doi = {10.1007/S11241-019-09336-W},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/HebbacheBJP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/JanASL20,
author = {Mathieu Jan and
Mihail Asavoae and
Martin Schoeberl and
Edward A. Lee},
title = {Formal Semantics of Predictable Pipelines: a Comparative Study},
booktitle = {25th Asia and South Pacific Design Automation Conference, {ASP-DAC}
2020, Beijing, China, January 13-16, 2020},
pages = {103--108},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ASP-DAC47756.2020.9045351},
doi = {10.1109/ASP-DAC47756.2020.9045351},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/JanASL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BinderABHJ20,
author = {Benjamin Binder and
Mihail Asavoae and
Florian Brandner and
Belgacem Ben Hedia and
Mathieu Jan},
editor = {Maurice H. ter Beek and
Dejan Nickovic},
title = {Scalable Detection of Amplification Timing Anomalies for the Superscalar
TriCore Architecture},
booktitle = {Formal Methods for Industrial Critical Systems - 25th International
Conference, {FMICS} 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12327},
pages = {151--169},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58298-2\_6},
doi = {10.1007/978-3-030-58298-2\_6},
timestamp = {Wed, 29 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BinderABHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/AsavoaeHJHS19,
author = {Mihail Asavoae and
Imane Haur and
Mathieu Jan and
Belgacem Ben Hedia and
Martin Schoeberl},
editor = {Roger D. Chamberlain and
Martin Edin Grimheden and
Walid Taha},
title = {Towards Formal Co-validation of Hardware and Software Timing Models
of CPSs},
booktitle = {Cyber Physical Systems. Model-Based Design - 9th International Workshop,
CyPhy 2019, and 15th International Workshop, {WESE} 2019, New York
City, NY, USA, October 17-18, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11971},
pages = {203--227},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41131-2\_10},
doi = {10.1007/978-3-030-41131-2\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/AsavoaeHJHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/HebbacheBJP19,
author = {Farouk Hebbache and
Florian Brandner and
Mathieu Jan and
Laurent Pautet},
editor = {Sophie Quinton},
title = {Arbitration-Induced Preemption Delays},
booktitle = {31st Euromicro Conference on Real-Time Systems, {ECRTS} 2019, July
9-12, 2019, Stuttgart, Germany},
series = {LIPIcs},
volume = {133},
pages = {19:1--19:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2019.19},
doi = {10.4230/LIPICS.ECRTS.2019.19},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/HebbacheBJP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LohstrohSJWL19,
author = {Marten Lohstroh and
Martin Schoeberl and
Mathieu Jan and
Edward Wang and
Edward A. Lee},
title = {Programs with ironclad timing guarantees: work-in-progress},
booktitle = {Proceedings of the International Conference on Embedded Software Companion,
New York, NY, USA, October 13-18, 2019},
pages = {1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3349568.3351553},
doi = {10.1145/3349568.3351553},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/LohstrohSJWL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/NajiABJ18,
author = {Amine Naji and
Sahar Abbaspour and
Florian Brandner and
Mathieu Jan},
title = {Analysis of preemption costs for the stack cache},
journal = {Real Time Syst.},
volume = {54},
number = {3},
pages = {700--744},
year = {2018},
url = {https://doi.org/10.1007/s11241-018-9298-7},
doi = {10.1007/S11241-018-9298-7},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/NajiABJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/HebbacheJBP18,
author = {Farouk Hebbache and
Mathieu Jan and
Florian Brandner and
Laurent Pautet},
title = {Shedding the Shackles of Time-Division Multiplexing},
booktitle = {2018 {IEEE} Real-Time Systems Symposium, {RTSS} 2018, Nashville, TN,
USA, December 11-14, 2018},
pages = {456--468},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/RTSS.2018.00059},
doi = {10.1109/RTSS.2018.00059},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/HebbacheJBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/AsavoaeHJ18,
author = {Mihail Asavoae and
Belgacem Ben Hedia and
Mathieu Jan},
editor = {Florian Brandner},
title = {Formal Executable Models for Automatic Detection of Timing Anomalies},
booktitle = {18th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2018, July 3, 2018, Barcelona, Spain},
series = {OASIcs},
volume = {63},
pages = {2:1--2:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/OASIcs.WCET.2018.2},
doi = {10.4230/OASICS.WCET.2018.2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcet/AsavoaeHJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtns/2018,
editor = {Yassine Ouhammou and
Fr{\'{e}}d{\'{e}}ric Ridouard and
Emmanuel Grolleau and
Mathieu Jan and
Moris Behnam},
title = {Proceedings of the 26th International Conference on Real-Time Networks
and Systems, {RTNS} 2018, Chasseneuil-du-Poitou, France, October 10-12,
2018},
publisher = {{ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3273905},
timestamp = {Sat, 13 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtns/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AbdallahJEF16,
author = {Laure Abdallah and
Mathieu Jan and
J{\'{e}}r{\^{o}}me Ermont and
Christian Fraboul},
title = {Reducing the Contention Experienced by Real-Time Core-to-I/O Flows
over a Tilera-Like Network on Chip},
booktitle = {28th Euromicro Conference on Real-Time Systems, {ECRTS} 2016, Toulouse,
France, July 5-8, 2016},
pages = {86--96},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ECRTS.2016.9},
doi = {10.1109/ECRTS.2016.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/AbdallahJEF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/NabecHBJG16,
author = {Briag Le Nabec and
Belgacem Ben Hedia and
Jean{-}Philippe Babau and
Mathieu Jan and
Hela Guesmi},
editor = {Rolf Drechsler and
Robert Wille},
title = {Modeling legacy code with {BIP:} how to reduce the gap between formal
description and real-time implementation},
booktitle = {2016 Forum on Specification and Design Languages, {FDL} 2016, Bremen,
Germany, September 14-16, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FDL.2016.7880385},
doi = {10.1109/FDL.2016.7880385},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/NabecHBJG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/GuesmiHJBB16,
author = {Hela Guesmi and
Belgacem Ben Hedia and
Mathieu Jan and
Simon Bliudze and
Saddek Bensalem},
title = {Poster Abstract: Towards Correct Transformation: From High-Level Models
to Time-Triggered Implementations},
booktitle = {2016 {IEEE} Real-Time and Embedded Technology and Applications Symposium
(RTAS), Vienna, Austria, April 11-14, 2016},
pages = {52},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTAS.2016.7461354},
doi = {10.1109/RTAS.2016.7461354},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/GuesmiHJBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/AbdallahJEF16,
author = {Laure Abdallah and
Mathieu Jan and
J{\'{e}}r{\^{o}}me Ermont and
Christian Fraboul},
title = {Poster Abstract: {I/O} Contention Aware Mapping of Multi-Criticalities
Real-Time Applications over Many-Core Architectures},
booktitle = {2016 {IEEE} Real-Time and Embedded Technology and Applications Symposium
(RTAS), Vienna, Austria, April 11-14, 2016},
pages = {55},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTAS.2016.7461348},
doi = {10.1109/RTAS.2016.7461348},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/AbdallahJEF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LegoutJP15,
author = {Vincent Legout and
Mathieu Jan and
Laurent Pautet},
title = {Scheduling algorithms to reduce the static energy consumption of real-time
systems},
journal = {Real Time Syst.},
volume = {51},
number = {2},
pages = {153--191},
year = {2015},
url = {https://doi.org/10.1007/s11241-014-9207-7},
doi = {10.1007/S11241-014-9207-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/LegoutJP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/AbbaspourBNJ15,
author = {Sahar Abbaspour and
Florian Brandner and
Amine Naji and
Mathieu Jan},
editor = {Julien Forget},
title = {Efficient context switching for the stack cache: implementation and
analysis},
booktitle = {Proceedings of the 23rd International Conference on Real Time Networks
and Systems, {RTNS} 2015, Lille, France, November 4-6, 2015},
pages = {119--128},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2834848.2834861},
doi = {10.1145/2834848.2834861},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtns/AbbaspourBNJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/AbdallahJEF15,
author = {Laure Abdallah and
Mathieu Jan and
J{\'{e}}r{\^{o}}me Ermont and
Christian Fraboul},
title = {Wormhole networks properties and their use for optimizing worst case
delay analysis of many-cores},
booktitle = {10th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2015, Siegen, Germany, June 8-10, 2015},
pages = {59--68},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SIES.2015.7185041},
doi = {10.1109/SIES.2015.7185041},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sies/AbdallahJEF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtns/2014,
editor = {Mathieu Jan and
Belgacem Ben Hedia and
Jo{\"{e}}l Goossens and
Claire Maiza},
title = {22nd International Conference on Real-Time Networks and Systems, {RTNS}
'14, Versaille, France, October 8-10, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2659787},
isbn = {978-1-4503-2727-5},
timestamp = {Tue, 30 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtns/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChabrolRDJHOZ13,
author = {Damien Chabrol and
Didier Roux and
Vincent David and
Mathieu Jan and
Moha Ait Hmid and
Patrice Oudin and
Gilles Zeppa},
editor = {Enrico Macii},
title = {Time- and angle-triggered real-time kernel},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {1060--1062},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.223},
doi = {10.7873/DATE.2013.223},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/ChabrolRDJHOZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/LegoutJP13,
author = {Vincent Legout and
Mathieu Jan and
Laurent Pautet},
editor = {Michel Auguin and
Robert de Simone and
Robert I. Davis and
Emmanuel Grolleau},
title = {A scheduling algorithm to reduce the static energy consumption of
multiprocessor real-time systems},
booktitle = {21st International Conference on Real-Time Networks and Systems, {RTNS}
2013, Sophia Antipolis, France, October 17-18, 2013},
pages = {99--108},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2516821.2516839},
doi = {10.1145/2516821.2516839},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtns/LegoutJP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZaourarJP13,
author = {Lilia Zaourar and
Mathieu Jan and
Maurice Pitel},
title = {Cache-aware static scheduling for hard real-time multicore systems
based on communication affinities},
journal = {CoRR},
volume = {abs/1312.4509},
year = {2013},
url = {http://arxiv.org/abs/1312.4509},
eprinttype = {arXiv},
eprint = {1312.4509},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZaourarJP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/JanJKKLLNPPRS12,
author = {Mathieu Jan and
Christophe Jouvray and
Fabrice Kordon and
Antonio Kung and
Jimmy Lalande and
Fr{\'{e}}d{\'{e}}ric Loiret and
Juan F. Navas and
Laurent Pautet and
Jacques Pulou and
Ansgar Radermacher and
Lionel Seinturier},
title = {Flex-eWare: a flexible model driven solution for designing and implementing
embedded distributed systems},
journal = {Softw. Pract. Exp.},
volume = {42},
number = {12},
pages = {1467--1494},
year = {2012},
url = {https://doi.org/10.1002/spe.1143},
doi = {10.1002/SPE.1143},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/JanJKKLLNPPRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/LemerreOCJJ11,
author = {Matthieu Lemerre and
Emmanuel Ohayon and
Damien Chabrol and
Mathieu Jan and
Marie{-}B{\'{e}}n{\'{e}}dicte Jacques},
title = {Method and Tools for Mixed-Criticality Real-Time Applications within
PharOS},
booktitle = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2011,
Newport Beach, CA, USA, March 28-31, 2011},
pages = {41--48},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISORCW.2011.15},
doi = {10.1109/ISORCW.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/LemerreOCJJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/JanCD11,
author = {Mathieu Jan and
Jean{-}Sylvain Camier and
Vincent David},
editor = {S{\'{e}}bastien Faucou and
Alan Burns and
Laurent George},
title = {Scheduling safety-critical real-time bus accesses using Time-Constrained
Automata},
booktitle = {19th International Conference on Real-Time and Network Systems, {RTNS}
'11, Nantes, France, September 29-30, 2011. Proceedings},
pages = {87--96},
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/JanCD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/MegelJDF11,
author = {Thomas Megel and
Mathieu Jan and
Vincent David and
Christian Fraboul},
editor = {S{\'{e}}bastien Faucou and
Alan Burns and
Laurent George},
title = {Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed
Systems},
booktitle = {19th International Conference on Real-Time and Network Systems, {RTNS}
'11, Nantes, France, September 29-30, 2011. Proceedings},
pages = {159--168},
year = {2011},
url = {http://rtns2011.irccyn.ec-nantes.fr/files/rtns2011.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtns/MegelJDF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/JanDLP10,
author = {Mathieu Jan and
Vincent David and
Jimmy Lalande and
Maurice Pitel},
title = {Usage of the safety-oriented real-time {OASIS} approach to build deterministic
protection relays},
booktitle = {{IEEE} Fifth International Symposium on Industrial Embedded Systems,
{SIES} 2010, University of Trento, Italy, July 7-9, 2010},
pages = {128--135},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/SIES.2010.5551378},
doi = {10.1109/SIES.2010.5551378},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sies/JanDLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/HeraultLPQCJ09,
author = {Thomas H{\'{e}}rault and
Thomas Largillier and
Sylvain Peyronnet and
Benjamin Qu{\'{e}}tier and
Franck Cappello and
Mathieu Jan},
editor = {Gearold Johnson and
Carsten Trinitis and
Georgi Gaydadjiev and
Alexander V. Veidenbaum},
title = {High accuracy failure injection in parallel and distributed systems
using virtualization},
booktitle = {Proceedings of the 6th Conference on Computing Frontiers, 2009, Ischia,
Italy, May 18-20, 2009},
pages = {193--196},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1531743.1531774},
doi = {10.1145/1531743.1531774},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cf/HeraultLPQCJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/IosupLJADWE08,
author = {Alexandru Iosup and
Hui Li and
Mathieu Jan and
Shanny Anoep and
Catalin Dumitrescu and
Lex Wolters and
Dick H. J. Epema},
title = {The Grid Workloads Archive},
journal = {Future Gener. Comput. Syst.},
volume = {24},
number = {7},
pages = {672--686},
year = {2008},
url = {https://doi.org/10.1016/j.future.2008.02.003},
doi = {10.1016/J.FUTURE.2008.02.003},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/IosupLJADWE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpc/HeraultJLPQC08,
author = {Thomas H{\'{e}}rault and
Mathieu Jan and
Thomas Largillier and
Sylvain Peyronnet and
Benjamin Qu{\'{e}}tier and
Franck Cappello},
editor = {Wolfgang Gentzsch and
Lucio Grandinetti and
Gerhard R. Joubert},
title = {Emulation platform for high accuracy failure injection in grids},
booktitle = {High Speed and Large Scale Scientific Computing - Selected Papers
from the High Performance Computing Workshop, Cetraro, Italy, June
30 - July 4, 2008},
series = {Advances in Parallel Computing},
volume = {18},
pages = {127--140},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-60750-073-5-127},
doi = {10.3233/978-1-60750-073-5-127},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpc/HeraultJLPQC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/AntoniuJN08,
author = {Gabriel Antoniu and
Mathieu Jan and
David A. Noblet},
title = {A practical example of convergence of {P2P} and grid computing: An
evaluation of JXTA's communication performance on grid networking
infrastructures},
booktitle = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IPDPS.2008.4536338},
doi = {10.1109/IPDPS.2008.4536338},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/AntoniuJN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/AntoniuBJPP07,
author = {Gabriel Antoniu and
Hinde{-}Lilia Bouziane and
Mathieu Jan and
Christian P{\'{e}}rez and
Thierry Priol},
title = {Combining data sharing with the master-worker paradigm in the common
component architecture},
journal = {Clust. Comput.},
volume = {10},
number = {3},
pages = {265--276},
year = {2007},
url = {https://doi.org/10.1007/s10586-007-0034-7},
doi = {10.1007/S10586-007-0034-7},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cluster/AntoniuBJPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/IosupJSE07,
author = {Alexandru Iosup and
Mathieu Jan and
Omer Ozan Sonmez and
Dick H. J. Epema},
editor = {Anne{-}Marie Kermarrec and
Luc Boug{\'{e}} and
Thierry Priol},
title = {The Characteristics and Performance of Groups of Jobs in Grids},
booktitle = {Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference,
Rennes, France, August 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4641},
pages = {382--393},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74466-5\_42},
doi = {10.1007/978-3-540-74466-5\_42},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/IosupJSE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grid/IosupJSE07,
author = {Alexandru Iosup and
Mathieu Jan and
Omer Ozan Sonmez and
Dick H. J. Epema},
title = {On the dynamic resource availability in grids},
booktitle = {8th {IEEE/ACM} International Conference on Grid Computing {(GRID}
2007), September 19-21, 2007, Austin, Texas, USA, Proceedings},
pages = {26--33},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/GRID.2007.4354112},
doi = {10.1109/GRID.2007.4354112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/grid/IosupJSE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/AntoniuCDFJ07,
author = {Gabriel Antoniu and
Eddy Caron and
Fr{\'{e}}d{\'{e}}ric Desprez and
Aur{\'{e}}lia F{\`{e}}vre and
Mathieu Jan},
editor = {Srinivas Aluru and
Manish Parashar and
Ramamurthy Badrinath and
Viktor K. Prasanna},
title = {Towards a Transparent Data Access Model for the GridRPCParadigm},
booktitle = {High Performance Computing - HiPC 2007, 14th International Conference,
Goa, India, December 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4873},
pages = {269--284},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77220-0\_27},
doi = {10.1007/978-3-540-77220-0\_27},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/hipc/AntoniuCDFJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/AntoniuCJD07,
author = {Gabriel Antoniu and
Lo{\"{\i}}c Cudennec and
Mathieu Jan and
Mike Duigou},
title = {Performance scalability of the {JXTA} {P2P} framework},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--10},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370299},
doi = {10.1109/IPDPS.2007.370299},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/AntoniuCJD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Jan06,
author = {Mathieu Jan},
title = {{JUXMEM} : un service de partage transparent de donn{\'{e}}es
pour grilles de calcul fond{\'{e}} sur une approche pair-{\`{a}}-pair},
school = {University of Rennes 1, France},
year = {2006},
url = {https://tel.archives-ouvertes.fr/tel-00425078},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Jan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/AntoniuBBJP06,
author = {Gabriel Antoniu and
Hinde{-}Lilia Bouziane and
Landry Breuil and
Mathieu Jan and
Christian P{\'{e}}rez},
title = {Enabling Transparent Data Sharing in Component Models},
booktitle = {Sixth {IEEE} International Symposium on Cluster Computing and the
Grid (CCGrid 2006), 16-19 May 2006, Singapore},
pages = {430--433},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CCGRID.2006.40},
doi = {10.1109/CCGRID.2006.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/AntoniuBBJP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coregrid/AldinucciDAJ06,
author = {Marco Aldinucci and
Marco Danelutto and
Gabriel Antoniu and
Mathieu Jan},
editor = {Sergei Gorlatch and
Marian Bubak and
Thierry Priol},
title = {Fault-Tolerant Data Sharing for High-level Grid: {A} Hierarchical
Storage Architecture},
booktitle = {Achievements in European Research on Grid Systems: CoreGRID Integration
Workshop 2006, Krakow, Poland, October 19-20, Selected Papers},
pages = {67--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-72812-4\_6},
doi = {10.1007/978-0-387-72812-4\_6},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coregrid/AldinucciDAJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/AntoniuBJ05,
author = {Gabriel Antoniu and
Luc Boug{\'{e}} and
Mathieu Jan},
title = {JuxMem: An Adaptive Supportive Platform for Data Sharing on the Grid},
journal = {Scalable Comput. Pract. Exp.},
volume = {6},
number = {3},
year = {2005},
url = {http://www.scpe.org/index.php/scpe/article/view/336},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/AntoniuBJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/AntoniuHJN05,
author = {Gabriel Antoniu and
Philip J. Hatcher and
Mathieu Jan and
David A. Noblet},
title = {Performance evaluation of {JXTA} communication layers},
booktitle = {5th International Symposium on Cluster Computing and the Grid (CCGrid
2005), 9-12 May, 2005, Cardiff, {UK}},
pages = {251--258},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CCGRID.2005.1558562},
doi = {10.1109/CCGRID.2005.1558562},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/AntoniuHJN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/AntoniuJN05,
author = {Gabriel Antoniu and
Mathieu Jan and
David A. Noblet},
editor = {Laurence Tianruo Yang and
Omer F. Rana and
Beniamino Di Martino and
Jack J. Dongarra},
title = {Enabling the {P2P} {JXTA} Platform for High-Performance Networking
Grid Infrastructures},
booktitle = {High Performance Computing and Communications, First International
Conference, {HPCC} 2005, Sorrento, Italy, September 21-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3726},
pages = {429--439},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11557654\_52},
doi = {10.1007/11557654\_52},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/AntoniuJN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AntoniuBBCDJMS04,
author = {Gabriel Antoniu and
Marin Bertier and
Luc Boug{\'{e}} and
Eddy Caron and
Fr{\'{e}}d{\'{e}}ric Desprez and
Mathieu Jan and
S{\'{e}}bastien Monnet and
Pierre Sens},
editor = {Vladimir Getov and
Domenico Laforenza and
Alexander Reinefeld},
title = {{GDS:} An Architecture Proposal for a Grid Data-Sharing Service},
booktitle = {Future Generation Grids: Proceedings of the Workshop on Future Generation
Grids, November 1-5, 2004, Dagstuhl, Germany},
pages = {133--152},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-0-387-29445-2\_8},
doi = {10.1007/978-0-387-29445-2\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AntoniuBBCDJMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/AntoniuBJM04,
author = {Gabriel Antoniu and
Luc Boug{\'{e}} and
Mathieu Jan and
S{\'{e}}bastien Monnet},
editor = {Marco Danelutto and
Marco Vanneschi and
Domenico Laforenza},
title = {Large-Scale Deployment in {P2P} Experiments Using the {JXTA} Distributed
Framework},
booktitle = {Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference,
Pisa, Italy, August 31-September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3149},
pages = {1038--1047},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27866-5\_140},
doi = {10.1007/978-3-540-27866-5\_140},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/AntoniuBJM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 02:26 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:
