default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hugues Cassé
@article{DBLP:journals/tc/GruinCRCS23,
author = {Alban Gruin and
Thomas Carle and
Christine Rochange and
Hugues Cass{\'{e}} and
Pascal Sainrat},
title = {MINOTAuR: {A} Timing Predictable {RISC-V} Core Featuring Speculative
Execution},
journal = {{IEEE} Trans. Computers},
volume = {72},
number = {1},
pages = {183--195},
year = {2023},
url = {https://doi.org/10.1109/TC.2022.3200000},
doi = {10.1109/TC.2022.3200000},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/GruinCRCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BaiCCR23,
author = {Zhenyu Bai and
Hugues Cass{\'{e}} and
Thomas Carle and
Christine Rochange},
title = {Computing Execution Times With Execution Decision Diagrams in the
Presence of Out-of-Order Resources},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {42},
number = {11},
pages = {3665--3678},
year = {2023},
url = {https://doi.org/10.1109/TCAD.2023.3258752},
doi = {10.1109/TCAD.2023.3258752},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BaiCCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BaiCMCR22,
author = {Zhenyu Bai and
Hugues Cass{\'{e}} and
Marianne De Michiel and
Thomas Carle and
Christine Rochange},
title = {A Framework for Calculating {WCET} Based on Execution Decision Diagrams},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {21},
number = {3},
pages = {26:1--26:26},
year = {2022},
url = {https://doi.org/10.1145/3476879},
doi = {10.1145/3476879},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/BaiCMCR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-07481,
author = {Zhenyu Bai and
Hugues Cass{\'{e}} and
Thomas Carle and
Christine Rochange},
title = {Computing Execution Times with eXecution Decision Diagrams in the
Presence of Out-Of-Order Resources},
journal = {CoRR},
volume = {abs/2207.07481},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.07481},
doi = {10.48550/ARXIV.2207.07481},
eprinttype = {arXiv},
eprint = {2207.07481},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-07481.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/CarleC21,
author = {Thomas Carle and
Hugues Cass{\'{e}}},
editor = {Christian Hochberger and
Lars Bauer and
Thilo Pionteck},
title = {Static Extraction of Memory Access Profiles for Multi-core Interference
Analysis of Real-Time Tasks},
booktitle = {Architecture of Computing Systems - 34th International Conference,
{ARCS} 2021, Virtual Event, June 7-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12800},
pages = {19--34},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81682-7\_2},
doi = {10.1007/978-3-030-81682-7\_2},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arcs/CarleC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/SotinVC21,
author = {Pascal Sotin and
Quentin Vermande and
Hugues Cass{\'{e}}},
editor = {Audrey Queudet and
Iain Bate and
Giuseppe Lipari},
title = {Data Cache Analysis by Counting Integer Points},
booktitle = {RTNS'2021: 29th International Conference on Real-Time Networks and
Systems, Nantes, France, April 7-9, 2021},
pages = {112--122},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453417.3453424},
doi = {10.1145/3453417.3453424},
timestamp = {Mon, 26 Jul 2021 10:39:04 +0200},
biburl = {https://dblp.org/rec/conf/rtns/SotinVC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GruinCCR21,
author = {Alban Gruin and
Thomas Carle and
Hugues Cass{\'{e}} and
Christine Rochange},
title = {Speculative Execution and Timing Predictability in an Open Source
{RISC-V} Core},
booktitle = {42nd {IEEE} Real-Time Systems Symposium, {RTSS} 2021, Dortmund, Germany,
December 7-10, 2021},
pages = {393--404},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RTSS52674.2021.00043},
doi = {10.1109/RTSS52674.2021.00043},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/GruinCCR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-17082,
author = {Thomas Carle and
Hugues Cass{\'{e}}},
title = {Static extraction of memory access profiles for multi-core interference
analysis of real-time tasks},
journal = {CoRR},
volume = {abs/2103.17082},
year = {2021},
url = {https://arxiv.org/abs/2103.17082},
eprinttype = {arXiv},
eprint = {2103.17082},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-17082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/BaiCMCR20,
author = {Zhenyu Bai and
Hugues Cass{\'{e}} and
Marianne De Michiel and
Thomas Carle and
Christine Rochange},
editor = {Jingling Xue and
Changhee Jung},
title = {Improving the Performance of {WCET} Analysis in the Presence of Variable
Latencies},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN/SIGBED} International Conference
on Languages, Compilers, and Tools for Embedded Systems, {LCTES} 2020,
London, UK, June 16, 2020},
pages = {119--130},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372799.3394371},
doi = {10.1145/3372799.3394371},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/BaiCMCR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SunJC19,
author = {Wei{-}Tsun Sun and
Eric Jenn and
Hugues Cass{\'{e}}},
editor = {Sebastian Altmeyer},
title = {Validating Static {WCET} Analysis: {A} Method and Its Application},
booktitle = {19th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2019, July 9, 2019, Stuttgart, Germany},
series = {OASIcs},
volume = {72},
pages = {6:1--6:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/OASIcs.WCET.2019.6},
doi = {10.4230/OASICS.WCET.2019.6},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/SunJC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/CarleC18,
author = {Thomas Carle and
Hugues Cass{\'{e}}},
editor = {Florian Brandner},
title = {Reducing Timing Interferences in Real-Time Applications Running on
Multicore Architectures},
booktitle = {18th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2018, July 3, 2018, Barcelona, Spain},
series = {OASIcs},
volume = {63},
pages = {3:1--3:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/OASIcs.WCET.2018.3},
doi = {10.4230/OASICS.WCET.2018.3},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/CarleC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/RuizCM17,
author = {Jordy Ruiz and
Hugues Cass{\'{e}} and
Marianne De Michiel},
title = {Working Around Loops for Infeasible Path Detection in Binary Programs},
booktitle = {17th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2017, Shanghai, China, September 17-18, 2017},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SCAM.2017.13},
doi = {10.1109/SCAM.2017.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/RuizCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MaizaRPBCCCCHJL17,
author = {Claire Maiza and
Pascal Raymond and
Catherine Parent{-}Vigouroux and
Armelle Bonenfant and
Fabienne Carrier and
Hugues Cass{\'{e}} and
Philippe Cuenot and
Denis Claraz and
Nicolas Halbwachs and
Erwan Jahier and
Hanbing Li and
Marianne De Michiel and
Vincent Mussot and
Isabelle Puaut and
Christine Rochange and
Erven Rohou and
Jordy Ruiz and
Pascal Sotin and
Wei{-}Tsun Sun},
editor = {Jan Reineke},
title = {The {W-SEPT} Project: Towards Semantic-Aware {WCET} Estimation},
booktitle = {17th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
series = {OASIcs},
volume = {57},
pages = {9:1--9:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.WCET.2017.9},
doi = {10.4230/OASICS.WCET.2017.9},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/MaizaRPBCCCCHJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/UngererBFKMSJGZ16,
author = {Theo Ungerer and
Christian Bradatsch and
Martin Frieb and
Florian Kluge and
J{\"{o}}rg Mische and
Alexander Stegmeier and
Ralf Jahr and
Mike Gerdes and
Pavel G. Zaykov and
Lucie Matusova and
Zai Jian Jia Li and
Zlatko Petrov and
Bert B{\"{o}}ddeker and
Sebastian Kehr and
Hans Regler and
Andreas Hugl and
Christine Rochange and
Haluk Ozaktas and
Hugues Cass{\'{e}} and
Armelle Bonenfant and
Pascal Sainrat and
Nick Lay and
David George and
Ian Broster and
Eduardo Qui{\~{n}}ones and
Milos Panic and
Jaume Abella and
Carles Hern{\'{a}}ndez and
Francisco J. Cazorla and
Sascha Uhrig and
Mathias Rohde and
Arthur Pyka},
title = {Parallelizing Industrial Hard Real-Time Applications for the parMERASA
Multicore},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {15},
number = {3},
pages = {53:1--53:27},
year = {2016},
url = {https://doi.org/10.1145/2910589},
doi = {10.1145/2910589},
timestamp = {Fri, 14 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/UngererBFKMSJGZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MussotRSMC16,
author = {Vincent Mussot and
Jordy Ruiz and
Pascal Sotin and
Marianne De Michiel and
Hugues Cass{\'{e}}},
editor = {Martin Schoeberl},
title = {Expressing and Exploiting Conflicts over Paths in {WCET} Analysis},
booktitle = {16th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2016, July 5, 2016, Toulouse, France},
series = {OASIcs},
volume = {55},
pages = {3:1--3:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.WCET.2016.3},
doi = {10.4230/OASICS.WCET.2016.3},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/MussotRSMC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SunC16,
author = {Wei{-}Tsun Sun and
Hugues Cass{\'{e}}},
editor = {Martin Schoeberl},
title = {Dynamic Branch Resolution Based on Combined Static Analyses},
booktitle = {16th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2016, July 5, 2016, Toulouse, France},
series = {OASIcs},
volume = {55},
pages = {8:1--8:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.WCET.2016.8},
doi = {10.4230/OASICS.WCET.2016.8},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/SunC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/PykaZCORU15,
author = {Arthur Pyka and
Pavel G. Zaykov and
Hugues Cass{\'{e}} and
Haluk Ozaktas and
Christine Rochange and
Sascha Uhrig},
title = {Case study: Performance and {WCET} analysis for parallelised avionic
applications with ODC\({}^{\mbox{2}}\)},
booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN}
2015, Cambridge, United Kingdom, July 22-24, 2015},
pages = {1400--1407},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INDIN.2015.7281939},
doi = {10.1109/INDIN.2015.7281939},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/PykaZCORU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/CasseOR15,
author = {Hugues Cass{\'{e}} and
Haluk Ozaktas and
Christine Rochange},
editor = {Francisco J. Cazorla},
title = {A Framework to Quantify the Overestimations of Static {WCET} Analysis},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2015, July 7, 2015, Lund, Sweden},
series = {OASIcs},
volume = {47},
pages = {1--10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WCET.2015.1},
doi = {10.4230/OASICS.WCET.2015.1},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/CasseOR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/RuizC15,
author = {Jordy Ruiz and
Hugues Cass{\'{e}}},
editor = {Francisco J. Cazorla},
title = {Using {SMT} Solving for the Lookup of Infeasible Paths in Binary Programs},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2015, July 7, 2015, Lund, Sweden},
series = {OASIcs},
volume = {47},
pages = {95--104},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WCET.2015.95},
doi = {10.4230/OASICS.WCET.2015.95},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/RuizC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/HerbegueFC14,
author = {Hajer Herbegue and
Mamoun Filali and
Hugues Cass{\'{e}}},
editor = {Erik Maehle and
Kay R{\"{o}}mer and
Wolfgang Karl and
Eduardo Tovar},
title = {Formal Architecture Specification for Time Analysis},
booktitle = {Architecture of Computing Systems - {ARCS} 2014 - 27th International
Conference, L{\"{u}}beck, Germany, February 25-28, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8350},
pages = {98--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04891-8\_9},
doi = {10.1007/978-3-319-04891-8\_9},
timestamp = {Thu, 14 Oct 2021 10:21:06 +0200},
biburl = {https://dblp.org/rec/conf/arcs/HerbegueFC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/UngererBGKJMFZPBKRHROCBSBLGQPACURP13,
author = {Theo Ungerer and
Christian Bradatsch and
Mike Gerdes and
Florian Kluge and
Ralf Jahr and
J{\"{o}}rg Mische and
Jo{\~{a}}o Fernandes and
Pavel G. Zaykov and
Zlatko Petrov and
Bert B{\"{o}}ddeker and
Sebastian Kehr and
Hans Regler and
Andreas Hugl and
Christine Rochange and
Haluk Ozaktas and
Hugues Cass{\'{e}} and
Armelle Bonenfant and
Pascal Sainrat and
Ian Broster and
Nick Lay and
David George and
Eduardo Qui{\~{n}}ones and
Milos Panic and
Jaume Abella and
Francisco J. Cazorla and
Sascha Uhrig and
Mathias Rohde and
Arthur Pyka},
title = {parMERASA - Multi-core Execution of Parallelised Hard Real-Time Applications
Supporting Analysability},
booktitle = {2013 Euromicro Conference on Digital System Design, {DSD} 2013, Los
Alamitos, CA, USA, September 4-6, 2013},
pages = {363--370},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSD.2013.46},
doi = {10.1109/DSD.2013.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/UngererBGKJMFZPBKRHROCBSBLGQPACURP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/HerbegueCFR13,
author = {Hajer Herbegue and
Hugues Cass{\'{e}} and
Mamoun Filali and
Christine Rochange},
title = {Hardware architecture specification and constraint-based {WCET} computation},
booktitle = {8th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2013, Porto, Portugal, June 19-21, 2013},
pages = {259--268},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SIES.2013.6601499},
doi = {10.1109/SIES.2013.6601499},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/HerbegueCFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/CasseBS13,
author = {Hugues Cass{\'{e}} and
Florian Bir{\'{e}}e and
Pascal Sainrat},
editor = {Claire Maiza},
title = {Multi-architecture Value Analysis for Machine Code},
booktitle = {13th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2013, July 9, 2013, Paris, France},
series = {OASIcs},
volume = {30},
pages = {42--52},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/OASIcs.WCET.2013.42},
doi = {10.4230/OASICS.WCET.2013.42},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/wcet/CasseBS13.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/rtns/BonenfantCMKKZ12,
author = {Armelle Bonenfant and
Hugues Cass{\'{e}} and
Marianne De Michiel and
Jens Knoop and
Laura Kov{\'{a}}cs and
Jakob Zwirchmayr},
editor = {Liliana Cucu{-}Grosjean and
Nicolas Navet and
Christine Rochange and
James H. Anderson},
title = {{FFX:} a portable {WCET} annotation language},
booktitle = {20th International Conference on Real-Time and Network Systems, {RTNS}
'12, Pont a Mousson, France - November 08 - 09, 2012},
pages = {91--100},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2392987.2392999},
doi = {10.1145/2392987.2392999},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtns/BonenfantCMKKZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MichielBC12,
author = {Marianne De Michiel and
Armelle Bonenfant and
Hugues Cass{\'{e}}},
editor = {Bertrand Jeannet},
title = {Normalisation of Loops with Covariant Variables},
booktitle = {Third Workshop on Tools for Automatic Program Analysis, {TAPAS} 2012,
Deauville, France, September 14, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {289},
pages = {41--51},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.11.005},
doi = {10.1016/J.ENTCS.2012.11.005},
timestamp = {Fri, 25 Nov 2022 14:43:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MichielBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/WolfGKUMMRCSU11,
author = {Julian Wolf and
Mike Gerdes and
Florian Kluge and
Sascha Uhrig and
J{\"{o}}rg Mische and
Stefan Metzlaff and
Christine Rochange and
Hugues Cass{\'{e}} and
Pascal Sainrat and
Theo Ungerer},
title = {{RTOS} support for execution of parallelized hard real-time tasks
on the {MERASA} multi-core processor},
journal = {Comput. Syst. Sci. Eng.},
volume = {26},
number = {6},
year = {2011},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/WolfGKUMMRCSU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/UngererCSBPRQGPWCUGHKMM10,
author = {Theo Ungerer and
Francisco J. Cazorla and
Pascal Sainrat and
Guillem Bernat and
Zlatko Petrov and
Christine Rochange and
Eduardo Qui{\~{n}}ones and
Mike Gerdes and
Marco Paolieri and
Julian Wolf and
Hugues Cass{\'{e}} and
Sascha Uhrig and
Irakli Guliashvili and
Michael Houston and
Florian Kluge and
Stefan Metzlaff and
J{\"{o}}rg Mische},
title = {Merasa: Multicore Execution of Hard Real-Time Applications Supporting
Analyzability},
journal = {{IEEE} Micro},
volume = {30},
number = {5},
pages = {66--75},
year = {2010},
url = {https://doi.org/10.1109/MM.2010.78},
doi = {10.1109/MM.2010.78},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/UngererCSBPRQGPWCUGHKMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/CasseSBM10,
author = {Hugues Cass{\'{e}} and
Pascal Sainrat and
Cl{\'{e}}ment Ballabriga and
Marianne De Michiel},
editor = {Jean{-}Charles Fabre and
Olivier Guetta and
Mario Trapp},
title = {Experimentation of {WCET} computation on both ends of automotive processor
range},
booktitle = {1st Workshop on Critical Automotive Applications: Robustness {\&}
Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {67--70},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1772643.1772663},
doi = {10.1145/1772643.1772663},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/CasseSBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MichielBBC10,
author = {Marianne De Michiel and
Armelle Bonenfant and
Cl{\'{e}}ment Ballabriga and
Hugues Cass{\'{e}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Partial Flow Analysis with oRange},
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 {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {479--482},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_43},
doi = {10.1007/978-3-642-16561-0\_43},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/MichielBBC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/WolfGKUMMRCSU10,
author = {Julian Wolf and
Mike Gerdes and
Florian Kluge and
Sascha Uhrig and
J{\"{o}}rg Mische and
Stefan Metzlaff and
Christine Rochange and
Hugues Cass{\'{e}} and
Pascal Sainrat and
Theo Ungerer},
title = {{RTOS} Support for Parallel Execution of Hard Real-Time Applications
on the {MERASA} Multi-core Processor},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
5-6 May 2010},
pages = {193--201},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISORC.2010.31},
doi = {10.1109/ISORC.2010.31},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/WolfGKUMMRCSU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/BallabrigaCRS10,
author = {Cl{\'{e}}ment Ballabriga and
Hugues Cass{\'{e}} and
Christine Rochange and
Pascal Sainrat},
editor = {Sang Lyul Min and
Robert G. Pettit IV and
Peter P. Puschner and
Theo Ungerer},
title = {{OTAWA:} An Open Toolbox for Adaptive {WCET} Analysis},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems - 8th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2010, Waidhofen/Ybbs, Austria,
October 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6399},
pages = {35--46},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16256-5\_6},
doi = {10.1007/978-3-642-16256-5\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/seus/BallabrigaCRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/LefftzBCCCMMMPV10,
author = {Vincent Lefftz and
Jean Bertrand and
Hugues Cass{\'{e}} and
Christophe Clienti and
Philippe Coussy and
Laurent Maillet{-}Contoz and
Philippe Mercier and
Pierre Moreau and
Laurence Pierre and
Emmanuel Vaumorin},
title = {A Design Flow for Critical Embedded Systems},
booktitle = {{IEEE} Fifth International Symposium on Industrial Embedded Systems,
{SIES} 2010, University of Trento, Italy, July 7-9, 2010},
pages = {229--233},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/SIES.2010.5551393},
doi = {10.1109/SIES.2010.5551393},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/LefftzBCCCMMMPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-6031,
author = {Hugues Cass{\'{e}} and
Karine Heydemann and
Haluk Ozaktas and
Jonathan Ponroy and
Christine Rochange and
Olivier Zendra},
title = {A framework to experiment optimizations for real-time and embedded
software},
journal = {CoRR},
volume = {abs/1011.6031},
year = {2010},
url = {http://arxiv.org/abs/1011.6031},
eprinttype = {arXiv},
eprint = {1011.6031},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-6031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BallabrigaCM09,
author = {Cl{\'{e}}ment Ballabriga and
Hugues Cass{\'{e}} and
Marianne De Michiel},
editor = {Niklas Holsti},
title = {A Generic Framework for Blackbox Components in {WCET} Computation},
booktitle = {9th Intl. Workshop on Worst-Case Execution Time Analysis, {WCET} 2009,
Dublin, Ireland, July 1-3, 2009},
series = {OASIcs},
volume = {10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2290},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/BallabrigaCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BallabrigaC08,
author = {Cl{\'{e}}ment Ballabriga and
Hugues Cass{\'{e}}},
title = {Improving the First-Miss Computation in Set-Associative Instruction
Caches},
booktitle = {20th Euromicro Conference on Real-Time Systems, {ECRTS} 2008, 2-4
July 2008, Prague, Czech Republic, Proceedings},
pages = {341--350},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ECRTS.2008.34},
doi = {10.1109/ECRTS.2008.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BallabrigaC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/MichielBCS08,
author = {Marianne De Michiel and
Armelle Bonenfant and
Hugues Cass{\'{e}} and
Pascal Sainrat},
title = {Static Loop Bound Analysis of {C} Programs Based on Flow Analysis
and Abstract Interpretation},
booktitle = {The Fourteenth {IEEE} Internationl Conference on Embedded and Real-Time
Computing Systems and Applications, {RTCSA} 2008, Kaohisung, Taiwan,
25-27 August 2008, Proceedings},
pages = {161--166},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTCSA.2008.53},
doi = {10.1109/RTCSA.2008.53},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/MichielBCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BallabrigaCS08,
author = {Cl{\'{e}}ment Ballabriga and
Hugues Cass{\'{e}} and
Pascal Sainrat},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {An improved approach for set-associative instruction cache partial
analysis},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {360--367},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363778},
doi = {10.1145/1363686.1363778},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/BallabrigaCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/NemerCSB08,
author = {Fadia Nemer and
Hugues Cass{\'{e}} and
Pascal Sainrat and
Jean Paul Bahsoun},
title = {Inter-task {WCET} computation for a-way instruction caches},
booktitle = {{IEEE} Third International Symposium on Industrial Embedded Systems,
{SIES} 2008, Montpellier / La Grande Motte, France, June 11-13, 2008},
pages = {169--176},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/SIES.2008.4577696},
doi = {10.1109/SIES.2008.4577696},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/NemerCSB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BallabrigaC08,
author = {Cl{\'{e}}ment Ballabriga and
Hugues Cass{\'{e}}},
editor = {Raimund Kirner},
title = {Improving the {WCET} computation time by {IPET} using control flow
graph partitioning},
booktitle = {8th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
Prague, Czech Republic, July 1, 2008},
series = {OASIcs},
volume = {8},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1670},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/BallabrigaC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HolstiGBBBBCCKKKLMMPRRSS08,
author = {Niklas Holsti and
Jan Gustafsson and
Guillem Bernat and
Cl{\'{e}}ment Ballabriga and
Armelle Bonenfant and
Roman Bourgade and
Hugues Cass{\'{e}} and
Daniel Cordes and
Albrecht Kadlec and
Raimund Kirner and
Jens Knoop and
Paul Lokuciejewski and
Nicholas Merriam and
Marianne De Michiel and
Adrian Prantl and
Bernhard Rieder and
Christine Rochange and
Pascal Sainrat and
Markus Schordan},
editor = {Raimund Kirner},
title = {{WCET} 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop
on Worst-Case Execution Time {(WCET)} Analysis},
booktitle = {8th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
Prague, Czech Republic, July 1, 2008},
series = {OASIcs},
volume = {8},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1663},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/HolstiGBBBBCCKKKLMMPRRSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/NemerCSA07,
author = {Fadia Nemer and
Hugues Cass{\'{e}} and
Pascal Sainrat and
Ali Awada},
title = {Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction
Cache Analysis},
booktitle = {{IEEE} Second International Symposium on Industrial Embedded Systems,
{SIES} 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6,
2007},
pages = {25--32},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SIES.2007.4297313},
doi = {10.1109/SIES.2007.4297313},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/NemerCSA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/NemerCSBM06,
author = {Fadia Nemer and
Hugues Cass{\'{e}} and
Pascal Sainrat and
Jean Paul Bahsoun and
Marianne De Michiel},
editor = {Frank Mueller},
title = {PapaBench: a Free Real-Time Benchmark},
booktitle = {6th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
July 4, 2006, Dresden, Germany},
series = {OASIcs},
volume = {4},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/678},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/NemerCSBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/CasseFRS02,
author = {Hugues Cass{\'{e}} and
Louis F{\'{e}}raud and
Christine Rochange and
Pascal Sainrat},
title = {Une approche pour r{\'{e}}duire la complexit{\'{e}} du flot
de contr{\^{o}}le dans les programmes {C}},
journal = {Tech. Sci. Informatiques},
volume = {21},
number = {7},
pages = {1009--1032},
year = {2002},
url = {http://tsi.revuesonline.com/article.jsp?articleId=3831},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/CasseFRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigarch/CasseFRS99,
author = {Hugues Cass{\'{e}} and
Louis F{\'{e}}raud and
Christine Rochange and
Pascal Sainrat},
title = {Using the abstract interpretation technique for static pointer analysis},
journal = {{SIGARCH} Comput. Archit. News},
volume = {27},
number = {1},
pages = {47--50},
year = {1999},
url = {https://doi.org/10.1145/309758.309780},
doi = {10.1145/309758.309780},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigarch/CasseFRS99.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-04-24 22:48 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:
