Search dblp for Publications

export results for "stream:streams/conf/wcet:"

 download as .bib file

@inproceedings{DBLP:conf/wcet/GonzalezCLBD23,
  author       = {Alfonso Mascare{\~{n}}as Gonz{\'{a}}lez and
                  Jean{-}Baptiste Chaudron and
                  R{\'{e}}gine Leconte and
                  Youcef Bouchebaba and
                  David Doose},
  editor       = {Peter W{\"{a}}gemann},
  title        = {Exploring iGPU Memory Interference Response to {L2} Cache Locking},
  booktitle    = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  pages        = {3:1--3:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2023.3},
  doi          = {10.4230/OASICS.WCET.2023.3},
  timestamp    = {Wed, 26 Jul 2023 16:04:58 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GonzalezCLBD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GruinCRS23,
  author       = {Alban Gruin and
                  Thomas Carle and
                  Christine Rochange and
                  Pascal Sainrat},
  editor       = {Peter W{\"{a}}gemann},
  title        = {Validation of Processor Timing Models Using Cycle-Accurate Timing
                  Simulators},
  booktitle    = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  pages        = {2:1--2:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2023.2},
  doi          = {10.4230/OASICS.WCET.2023.2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GruinCRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/JadhavF23,
  author       = {Shashank Jadhav and
                  Heiko Falk},
  editor       = {Peter W{\"{a}}gemann},
  title        = {Efficient and Effective Multi-Objective Optimization for Real-Time
                  Multi-Task Systems},
  booktitle    = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  pages        = {5:1--5:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2023.5},
  doi          = {10.4230/OASICS.WCET.2023.5},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/JadhavF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/JadhavF23a,
  author       = {Shashank Jadhav and
                  Heiko Falk},
  editor       = {Peter W{\"{a}}gemann},
  title        = {Towards Multi-Objective Dynamic {SPM} Allocation},
  booktitle    = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  pages        = {6:1--6:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2023.6},
  doi          = {10.4230/OASICS.WCET.2023.6},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/JadhavF23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/JeanmouginSRC23,
  author       = {Louison Jeanmougin and
                  Pascal Sotin and
                  Christine Rochange and
                  Thomas Carle},
  editor       = {Peter W{\"{a}}gemann},
  title        = {Warp-Level {CFG} Construction for {GPU} Kernel {WCET} Analysis},
  booktitle    = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  pages        = {1:1--1:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2023.1},
  doi          = {10.4230/OASICS.WCET.2023.1},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/JeanmouginSRC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KolevH23,
  author       = {Rumen Rumenov Kolev and
                  Christopher Helpa},
  editor       = {Peter W{\"{a}}gemann},
  title        = {Analyzing the Stability of Relative Performance Differences Between
                  Cloud and Embedded Environments},
  booktitle    = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  pages        = {8:1--8:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2023.8},
  doi          = {10.4230/OASICS.WCET.2023.8},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KolevH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MarounSP23,
  author       = {Emad Jacob Maroun and
                  Martin Schoeberl and
                  Peter P. Puschner},
  editor       = {Peter W{\"{a}}gemann},
  title        = {Constant-Loop Dominators for Single-Path Code Optimization},
  booktitle    = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  pages        = {7:1--7:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2023.7},
  doi          = {10.4230/OASICS.WCET.2023.7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/MarounSP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MutsF23,
  author       = {Kateryna Muts and
                  Heiko Falk},
  editor       = {Peter W{\"{a}}gemann},
  title        = {Clustering Solutions of Multiobjective Function Inlining Problem},
  booktitle    = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  pages        = {4:1--4:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2023.4},
  doi          = {10.4230/OASICS.WCET.2023.4},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/MutsF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/WegenerNNE23,
  author       = {Simon Wegener and
                  Kris K. Nikov and
                  Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez and
                  Kerstin Eder},
  editor       = {Peter W{\"{a}}gemann},
  title        = {EnergyAnalyzer: Using Static {WCET} Analysis Techniques to Estimate
                  the Energy Consumption of Embedded Applications},
  booktitle    = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  pages        = {9:1--9:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2023.9},
  doi          = {10.4230/OASICS.WCET.2023.9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/WegenerNNE23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/X23,
  editor       = {Peter W{\"{a}}gemann},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  pages        = {0:1--0:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2023.0},
  doi          = {10.4230/OASICS.WCET.2023.0},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/X23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2023,
  editor       = {Peter W{\"{a}}gemann},
  title        = {21th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2023, July 11, 2023, Vienna, Austria},
  series       = {OASIcs},
  volume       = {114},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-293-8},
  isbn         = {978-3-95977-293-8},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/00010HCCR22,
  author       = {Sebastian Hahn and
                  Michael Jacobs and
                  Nils H{\"{o}}lscher and
                  Kuan{-}Hsun Chen and
                  Jian{-}Jia Chen and
                  Jan Reineke},
  editor       = {Cl{\'{e}}ment Ballabriga},
  title        = {{LLVMTA:} An LLVM-Based {WCET} Analysis Tool},
  booktitle    = {20th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2022, July 5, 2022, Modena, Italy},
  series       = {OASIcs},
  volume       = {103},
  pages        = {2:1--2:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2022.2},
  doi          = {10.4230/OASICS.WCET.2022.2},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/00010HCCR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/AbazaHL22,
  author       = {Hazem Abaza and
                  Zain Alabedin Haj Hammadeh and
                  Daniel L{\"{u}}dtke},
  editor       = {Cl{\'{e}}ment Ballabriga},
  title        = {{DELOOP:} Automatic Flow Facts Computation Using Dynamic Symbolic
                  Execution},
  booktitle    = {20th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2022, July 5, 2022, Modena, Italy},
  series       = {OASIcs},
  volume       = {103},
  pages        = {3:1--3:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2022.3},
  doi          = {10.4230/OASICS.WCET.2022.3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/AbazaHL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/DegioanniP22,
  author       = {Th{\'{e}}o Degioanni and
                  Isabelle Puaut},
  editor       = {Cl{\'{e}}ment Ballabriga},
  title        = {StAMP: Static Analysis of Memory Access Profiles for Real-Time Tasks},
  booktitle    = {20th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2022, July 5, 2022, Modena, Italy},
  series       = {OASIcs},
  volume       = {103},
  pages        = {1:1--1:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2022.1},
  doi          = {10.4230/OASICS.WCET.2022.1},
  timestamp    = {Thu, 14 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/DegioanniP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/X22,
  editor       = {Cl{\'{e}}ment Ballabriga},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {20th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2022, July 5, 2022, Modena, Italy},
  series       = {OASIcs},
  volume       = {103},
  pages        = {0:1--0:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2022.0},
  doi          = {10.4230/OASICS.WCET.2022.0},
  timestamp    = {Thu, 14 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/X22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2022,
  editor       = {Cl{\'{e}}ment Ballabriga},
  title        = {20th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2022, July 5, 2022, Modena, Italy},
  series       = {OASIcs},
  volume       = {103},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-244-0},
  isbn         = {978-3-95977-244-0},
  timestamp    = {Thu, 14 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/DreyerH19,
  author       = {Boris Dreyer and
                  Christian Hochberger},
  editor       = {Sebastian Altmeyer},
  title        = {Non-Intrusive Online Timing Analysis of Large Embedded Applications},
  booktitle    = {19th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2019, July 9, 2019, Stuttgart, Germany},
  series       = {OASIcs},
  volume       = {72},
  pages        = {2:1--2:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2019.2},
  doi          = {10.4230/OASICS.WCET.2019.2},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/DreyerH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GiesenMAFC19,
  author       = {Jeremy Giesen and
                  Enrico Mezzetti and
                  Jaume Abella and
                  Enrique Fern{\'{a}}ndez and
                  Francisco J. Cazorla},
  editor       = {Sebastian Altmeyer},
  title        = {ePAPI: Performance Application Programming Interface for Embedded
                  Platforms},
  booktitle    = {19th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2019, July 9, 2019, Stuttgart, Germany},
  series       = {OASIcs},
  volume       = {72},
  pages        = {3:1--3:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2019.3},
  doi          = {10.4230/OASICS.WCET.2019.3},
  timestamp    = {Tue, 18 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GiesenMAFC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Kastner0WF19,
  author       = {Daniel K{\"{a}}stner and
                  Markus Pister and
                  Simon Wegener and
                  Christian Ferdinand},
  editor       = {Sebastian Altmeyer},
  title        = {TimeWeaver: {A} Tool for Hybrid Worst-Case Execution Time Analysis},
  booktitle    = {19th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2019, July 9, 2019, Stuttgart, Germany},
  series       = {OASIcs},
  volume       = {72},
  pages        = {1:1--1:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2019.1},
  doi          = {10.4230/OASICS.WCET.2019.1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Kastner0WF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/RaffeckEWS19,
  author       = {Phillip Raffeck and
                  Christian Eichler and
                  Peter W{\"{a}}gemann and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  editor       = {Sebastian Altmeyer},
  title        = {Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware
                  Timing Analysis for Device-Driven Cyber-Physical Systems},
  booktitle    = {19th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2019, July 9, 2019, Stuttgart, Germany},
  series       = {OASIcs},
  volume       = {72},
  pages        = {4:1--4:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2019.4},
  doi          = {10.4230/OASICS.WCET.2019.4},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/RaffeckEWS19.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    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/SunJC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/VaroumasC19,
  author       = {Steven Varoumas and
                  Tristan Crolard},
  editor       = {Sebastian Altmeyer},
  title        = {{WCET} of OCaml Bytecode on Microcontrollers: An Automated Method
                  and Its Formalisation},
  booktitle    = {19th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2019, July 9, 2019, Stuttgart, Germany},
  series       = {OASIcs},
  volume       = {72},
  pages        = {5:1--5:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2019.5},
  doi          = {10.4230/OASICS.WCET.2019.5},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/VaroumasC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/X19,
  editor       = {Sebastian Altmeyer},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {19th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2019, July 9, 2019, Stuttgart, Germany},
  series       = {OASIcs},
  volume       = {72},
  pages        = {0:1--0:9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2019.0},
  doi          = {10.4230/OASICS.WCET.2019.0},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/X19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2019,
  editor       = {Sebastian Altmeyer},
  title        = {19th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2019, July 9, 2019, Stuttgart, Germany},
  series       = {OASIcs},
  volume       = {72},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-118-4},
  isbn         = {978-3-95977-118-4},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2019.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}
}
@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    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/CarleC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/EichlerDUWS18,
  author       = {Christian Eichler and
                  Tobias Distler and
                  Peter Ulbrich and
                  Peter W{\"{a}}gemann and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  editor       = {Florian Brandner},
  title        = {TASKers: {A} Whole-System Generator for Benchmarking Real-Time-System
                  Analyses},
  booktitle    = {18th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2018, July 3, 2018, Barcelona, Spain},
  series       = {OASIcs},
  volume       = {63},
  pages        = {6:1--6:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2018.6},
  doi          = {10.4230/OASICS.WCET.2018.6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/EichlerDUWS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GuetSMPJ18,
  author       = {Fabrice Guet and
                  Luca Santinelli and
                  J{\'{e}}r{\^{o}}me Morio and
                  Guillaume Phavorin and
                  Eric Jenn},
  editor       = {Florian Brandner},
  title        = {Toward Contention Analysis for Parallel Executing Real-Time Tasks},
  booktitle    = {18th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2018, July 3, 2018, Barcelona, Spain},
  series       = {OASIcs},
  volume       = {63},
  pages        = {4:1--4:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2018.4},
  doi          = {10.4230/OASICS.WCET.2018.4},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GuetSMPJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HuybrechtsMH18,
  author       = {Thomas Huybrechts and
                  Siegfried Mercelis and
                  Peter Hellinckx},
  editor       = {Florian Brandner},
  title        = {A New Hybrid Approach on {WCET} Analysis for Real-Time Systems Using
                  Machine Learning},
  booktitle    = {18th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2018, July 3, 2018, Barcelona, Spain},
  series       = {OASIcs},
  volume       = {63},
  pages        = {5:1--5:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2018.5},
  doi          = {10.4230/OASICS.WCET.2018.5},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HuybrechtsMH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PuautDCGD18,
  author       = {Isabelle Puaut and
                  Micka{\"{e}}l Dardaillon and
                  Christoph Cullmann and
                  Gernot Gebhard and
                  Steven Derrien},
  editor       = {Florian Brandner},
  title        = {Fine-Grain Iterative Compilation for {WCET} Estimation},
  booktitle    = {18th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2018, July 3, 2018, Barcelona, Spain},
  series       = {OASIcs},
  volume       = {63},
  pages        = {9:1--9:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2018.9},
  doi          = {10.4230/OASICS.WCET.2018.9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/PuautDCGD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SchommerCGL0W18,
  author       = {Bernhard Schommer and
                  Christoph Cullmann and
                  Gernot Gebhard and
                  Xavier Leroy and
                  Michael Schmidt and
                  Simon Wegener},
  editor       = {Florian Brandner},
  title        = {Embedded Program Annotations for {WCET} Analysis},
  booktitle    = {18th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2018, July 3, 2018, Barcelona, Spain},
  series       = {OASIcs},
  volume       = {63},
  pages        = {8:1--8:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2018.8},
  doi          = {10.4230/OASICS.WCET.2018.8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/SchommerCGL0W18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Shah0R18,
  author       = {Darshit Shah and
                  Sebastian Hahn and
                  Jan Reineke},
  editor       = {Florian Brandner},
  title        = {Experimental Evaluation of Cache-Related Preemption Delay Aware Timing
                  Analysis},
  booktitle    = {18th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2018, July 3, 2018, Barcelona, Spain},
  series       = {OASIcs},
  volume       = {63},
  pages        = {7:1--7:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2018.7},
  doi          = {10.4230/OASICS.WCET.2018.7},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/Shah0R18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Wilhelm18,
  author       = {Reinhard Wilhelm},
  editor       = {Florian Brandner},
  title        = {Mixed Feelings About Mixed Criticality (Invited Paper)},
  booktitle    = {18th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2018, July 3, 2018, Barcelona, Spain},
  series       = {OASIcs},
  volume       = {63},
  pages        = {1:1--1:9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2018.1},
  doi          = {10.4230/OASICS.WCET.2018.1},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Wilhelm18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/X18,
  editor       = {Florian Brandner},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {18th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2018, July 3, 2018, Barcelona, Spain},
  series       = {OASIcs},
  volume       = {63},
  pages        = {0:i--0:x},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2018.0},
  doi          = {10.4230/OASICS.WCET.2018.0},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/X18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2018,
  editor       = {Florian Brandner},
  title        = {18th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2018, July 3, 2018, Barcelona, Spain},
  series       = {OASIcs},
  volume       = {63},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-073-6},
  isbn         = {978-3-95977-073-6},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BonenfantCMS17,
  author       = {Armelle Bonenfant and
                  Denis Claraz and
                  Marianne De Michiel and
                  Pascal Sotin},
  editor       = {Jan Reineke},
  title        = {Early {WCET} Prediction Using Machine Learning},
  booktitle    = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  pages        = {5:1--5:9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2017.5},
  doi          = {10.4230/OASICS.WCET.2017.5},
  timestamp    = {Wed, 04 Jan 2023 16:50:45 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/BonenfantCMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BrandnerN17,
  author       = {Florian Brandner and
                  Amine Naji},
  editor       = {Jan Reineke},
  title        = {Worst-Case Execution Time Analysis of Predicated Architectures},
  booktitle    = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  pages        = {6:1--6:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2017.6},
  doi          = {10.4230/OASICS.WCET.2017.6},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/BrandnerN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GuetSM17,
  author       = {Fabrice Guet and
                  Luca Santinelli and
                  J{\'{e}}r{\^{o}}me Morio},
  editor       = {Jan Reineke},
  title        = {On the Representativity of Execution Time Measurements: Studying Dependence
                  and Multi-Mode Tasks},
  booktitle    = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  pages        = {3:1--3:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2017.3},
  doi          = {10.4230/OASICS.WCET.2017.3},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/GuetSM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HardyRP17,
  author       = {Damien Hardy and
                  Benjamin Rouxel and
                  Isabelle Puaut},
  editor       = {Jan Reineke},
  title        = {The Heptane Static Worst-Case Execution Time Estimation Tool},
  booktitle    = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  pages        = {8:1--8:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2017.8},
  doi          = {10.4230/OASICS.WCET.2017.8},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HardyRP17.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    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/MaizaRPBCCCCHJL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MarkovicCD17,
  author       = {Filip Markovic and
                  Jan Carlson and
                  Radu Dobrin},
  editor       = {Jan Reineke},
  title        = {Tightening the Bounds on Cache-Related Preemption Delay in Fixed Preemption
                  Point Scheduling},
  booktitle    = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  pages        = {4:1--4:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2017.4},
  doi          = {10.4230/OASICS.WCET.2017.4},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/MarkovicCD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/NelisYP17,
  author       = {Vincent N{\'{e}}lis and
                  Patrick Meumeu Yomsi and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Jan Reineke},
  title        = {The {P-SOCRATES} Timing Analysis Methodology for Parallel Real-Time
                  Applications Deployed on Many-Core Platforms},
  booktitle    = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  pages        = {10:1--10:9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2017.10},
  doi          = {10.4230/OASICS.WCET.2017.10},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/NelisYP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/RouxelP17,
  author       = {Benjamin Rouxel and
                  Isabelle Puaut},
  editor       = {Jan Reineke},
  title        = {{STR2RTS:} Refactored StreamIT Benchmarks into Statically Analyzable
                  Parallel Benchmarks for {WCET} Estimation {\&} Real-Time Scheduling},
  booktitle    = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  pages        = {1:1--1:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2017.1},
  doi          = {10.4230/OASICS.WCET.2017.1},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/RouxelP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SchoeberlCPP17,
  author       = {Martin Schoeberl and
                  Bekim Cilku and
                  Daniel Prokesch and
                  Peter P. Puschner},
  editor       = {Jan Reineke},
  title        = {Best Practice for Caching of Single-Path Code},
  booktitle    = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  pages        = {2:1--2:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2017.2},
  doi          = {10.4230/OASICS.WCET.2017.2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/SchoeberlCPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Wegener17,
  author       = {Simon Wegener},
  editor       = {Jan Reineke},
  title        = {Towards Multicore {WCET} Analysis},
  booktitle    = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  pages        = {7:1--7:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2017.7},
  doi          = {10.4230/OASICS.WCET.2017.7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Wegener17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/X17,
  editor       = {Jan Reineke},
  title        = {Front Matter, Table of Contents, Preface, Committee},
  booktitle    = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  pages        = {0:i--0:x},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2017.0},
  doi          = {10.4230/OASICS.WCET.2017.0},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/X17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2017,
  editor       = {Jan Reineke},
  title        = {17th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
  series       = {OASIcs},
  volume       = {57},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-057-6},
  isbn         = {978-3-95977-057-6},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/DiazAMAAVC16,
  author       = {Enrique D{\'{\i}}az and
                  Jaume Abella and
                  Enrico Mezzetti and
                  Irune Agirre and
                  Mikel Azkarate{-}askasua and
                  Tullio Vardanega and
                  Francisco J. Cazorla},
  editor       = {Martin Schoeberl},
  title        = {Mitigating Software-Instrumentation Cache Effects in Measurement-Based
                  Timing Analysis},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {1:1--1:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.1},
  doi          = {10.4230/OASICS.WCET.2016.1},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/DiazAMAAVC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/DreyerHLWW16,
  author       = {Boris Dreyer and
                  Christian Hochberger and
                  Alexander Lange and
                  Simon Wegener and
                  Alexander Weiss},
  editor       = {Martin Schoeberl},
  title        = {Continuous Non-Intrusive Hybrid {WCET} Estimation Using Waypoint Graphs},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {4:1--4:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.4},
  doi          = {10.4230/OASICS.WCET.2016.4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/DreyerHLWW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/FalkAHLPRSSWW16,
  author       = {Heiko Falk and
                  Sebastian Altmeyer and
                  Peter Hellinckx and
                  Bj{\"{o}}rn Lisper and
                  Wolfgang Puffitsch and
                  Christine Rochange and
                  Martin Schoeberl and
                  Rasmus Bo S{\o}rensen and
                  Peter W{\"{a}}gemann and
                  Simon Wegener},
  editor       = {Martin Schoeberl},
  title        = {TACLeBench: {A} Benchmark Collection to Support Worst-Case Execution
                  Time Research},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {2:1--2:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.2},
  doi          = {10.4230/OASICS.WCET.2016.2},
  timestamp    = {Tue, 08 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/FalkAHLPRSSWW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/FriebSMU16,
  author       = {Martin Frieb and
                  Alexander Stegmeier and
                  J{\"{o}}rg Mische and
                  Theo Ungerer},
  editor       = {Martin Schoeberl},
  title        = {Employing {MPI} Collectives for Timing Analysis on Embedded Multi-Cores},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {10:1--10:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.10},
  doi          = {10.4230/OASICS.WCET.2016.10},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/FriebSMU16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KosmidisCMMQAVC16,
  author       = {Leonidas Kosmidis and
                  Davide Compagnin and
                  David Morales and
                  Enrico Mezzetti and
                  Eduardo Qui{\~{n}}ones and
                  Jaume Abella and
                  Tullio Vardanega and
                  Francisco J. Cazorla},
  editor       = {Martin Schoeberl},
  title        = {Measurement-Based Timing Analysis of the {AURIX} Caches},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {9:1--9:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.9},
  doi          = {10.4230/OASICS.WCET.2016.9},
  timestamp    = {Tue, 18 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KosmidisCMMQAVC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/LofwenmarkN16,
  author       = {Andreas L{\"{o}}fwenmark and
                  Simin Nadjm{-}Tehrani},
  editor       = {Martin Schoeberl},
  title        = {Understanding Shared Memory Bank Access Interference in Multi-Core
                  Avionics},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {12:1--12:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.12},
  doi          = {10.4230/OASICS.WCET.2016.12},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/LofwenmarkN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MangeanBBF16,
  author       = {Armel Mangean and
                  Jean{-}Luc B{\'{e}}chennec and
                  Mika{\"{e}}l Briday and
                  S{\'{e}}bastien Faucou},
  editor       = {Martin Schoeberl},
  title        = {{BEST:} a Binary Executable Slicing Tool},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {7:1--7:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.7},
  doi          = {10.4230/OASICS.WCET.2016.7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/MangeanBBF16.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    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/MussotRSMC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/NajiB16,
  author       = {Amine Naji and
                  Florian Brandner},
  editor       = {Martin Schoeberl},
  title        = {Eager Stack Cache Memory Transfers},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {5:1--5:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.5},
  doi          = {10.4230/OASICS.WCET.2016.5},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/NajiB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/NelisYP16,
  author       = {Vincent N{\'{e}}lis and
                  Patrick Meumeu Yomsi and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Martin Schoeberl},
  title        = {The Variability of Application Execution Times on a Multi-Core Platform},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {6:1--6:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.6},
  doi          = {10.4230/OASICS.WCET.2016.6},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/NelisYP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Rochange16,
  author       = {Christine Rochange},
  editor       = {Martin Schoeberl},
  title        = {Parallel Real-Time Tasks, as Viewed by {WCET} Analysis and Task Scheduling
                  Approaches},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {11:1--11:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.11},
  doi          = {10.4230/OASICS.WCET.2016.11},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Rochange16.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/wcet/X16,
  editor       = {Martin Schoeberl},
  title        = {Front Matter, Table of Contents, Preface, List of Authors, Committee},
  booktitle    = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  pages        = {0:i--0:xii},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2016.0},
  doi          = {10.4230/OASICS.WCET.2016.0},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/X16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2016,
  editor       = {Martin Schoeberl},
  title        = {16th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2016, July 5, 2016, Toulouse, France},
  series       = {OASIcs},
  volume       = {55},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-025-5},
  isbn         = {978-3-95977-025-5},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/AltmeyerLMRR15,
  author       = {Sebastian Altmeyer and
                  Bj{\"{o}}rn Lisper and
                  Claire Maiza and
                  Jan Reineke and
                  Christine Rochange},
  editor       = {Francisco J. Cazorla},
  title        = {{WCET} and Mixed-Criticality: What does Confidence in {WCET} Estimations
                  Depend Upon?},
  booktitle    = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  pages        = {65--74},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2015.65},
  doi          = {10.4230/OASICS.WCET.2015.65},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/AltmeyerLMRR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BallabrigaFL15,
  author       = {Cl{\'{e}}ment Ballabriga and
                  Julien Forget and
                  Giuseppe Lipari},
  editor       = {Francisco J. Cazorla},
  title        = {Context-sensitive Parametric {WCET} Analysis},
  booktitle    = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  pages        = {55--64},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2015.55},
  doi          = {10.4230/OASICS.WCET.2015.55},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/BallabrigaFL15.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    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/CasseOR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/DreyerHWW15,
  author       = {Boris Dreyer and
                  Christian Hochberger and
                  Simon Wegener and
                  Alexander Weiss},
  editor       = {Francisco J. Cazorla},
  title        = {Precise Continuous Non-Intrusive Measurement-Based Execution Time
                  Estimation},
  booktitle    = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  pages        = {45--54},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2015.45},
  doi          = {10.4230/OASICS.WCET.2015.45},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/DreyerHWW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/EslamimehrS15,
  author       = {Mahdi Eslamimehr and
                  Hesam Samimi},
  editor       = {Francisco J. Cazorla},
  title        = {Timing Analysis of Event-Driven Programs with Directed Testing},
  booktitle    = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  pages        = {21--31},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2015.21},
  doi          = {10.4230/OASICS.WCET.2015.21},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/EslamimehrS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HolstiGKL15,
  author       = {Niklas Holsti and
                  Jan Gustafsson and
                  Linus K{\"{a}}llberg and
                  Bj{\"{o}}rn Lisper},
  editor       = {Francisco J. Cazorla},
  title        = {Analysing Switch-Case Code with Abstract Execution},
  booktitle    = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  pages        = {85--94},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2015.85},
  doi          = {10.4230/OASICS.WCET.2015.85},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HolstiGKL15.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/wcet/WagemannDHSS15,
  author       = {Peter W{\"{a}}gemann and
                  Tobias Distler and
                  Timo H{\"{o}}nig and
                  Volkmar Sieh and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  editor       = {Francisco J. Cazorla},
  title        = {GenE: {A} Benchmark Generator for {WCET} Analysis},
  booktitle    = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  pages        = {33--43},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2015.33},
  doi          = {10.4230/OASICS.WCET.2015.33},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/WagemannDHSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/WassenL15,
  author       = {Georg Wassen and
                  Stefan Lankes},
  editor       = {Francisco J. Cazorla},
  title        = {Bare-Metal Execution of Hard Real-Time Tasks Within a General-Purpose
                  Operating System},
  booktitle    = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  pages        = {75--84},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2015.75},
  doi          = {10.4230/OASICS.WCET.2015.75},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/WassenL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/X15,
  editor       = {Francisco J. Cazorla},
  title        = {Front Matter, Table of Contents, Preface, Workshop Organization},
  booktitle    = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  pages        = {i--xiv},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2015.i},
  doi          = {10.4230/OASICS.WCET.2015.I},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/X15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/ZiccardiCMV15,
  author       = {Marco Ziccardi and
                  Alessandro Cornaglia and
                  Enrico Mezzetti and
                  Tullio Vardanega},
  editor       = {Francisco J. Cazorla},
  title        = {Software-enforced Interconnect Arbitration for {COTS} Multicores},
  booktitle    = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  pages        = {11--20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2015.11},
  doi          = {10.4230/OASICS.WCET.2015.11},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/ZiccardiCMV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2015,
  editor       = {Francisco J. Cazorla},
  title        = {15th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2015, July 7, 2015, Lund, Sweden},
  series       = {OASIcs},
  volume       = {47},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {http://www.dagstuhl.de/dagpub/978-3-939897-95-8},
  isbn         = {978-3-939897-95-8},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/AbbaspourJB14,
  author       = {Sahar Abbaspour and
                  Alexander Jordan and
                  Florian Brandner},
  editor       = {Heiko Falk},
  title        = {Lazy Spilling for a Time-Predictable Stack Cache: Implementation and
                  Analysis},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {83--92},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.83},
  doi          = {10.4230/OASICS.WCET.2014.83},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/AbbaspourJB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/FernandezAQRVC14,
  author       = {Gabriel Fernandez and
                  Jaume Abella and
                  Eduardo Qui{\~{n}}ones and
                  Christine Rochange and
                  Tullio Vardanega and
                  Francisco J. Cazorla},
  editor       = {Heiko Falk},
  title        = {Contention in Multicore Hardware Shared Resources: Understanding of
                  the State of the Art},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {31--42},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.31},
  doi          = {10.4230/OASICS.WCET.2014.31},
  timestamp    = {Tue, 18 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/FernandezAQRVC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Hirvisalo14,
  author       = {Vesa Hirvisalo},
  editor       = {Heiko Falk},
  title        = {On Static Timing Analysis of {GPU} Kernels},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {43--52},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.43},
  doi          = {10.4230/OASICS.WCET.2014.43},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Hirvisalo14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HuberHS14,
  author       = {Benedikt Huber and
                  Stefan Hepp and
                  Martin Schoeberl},
  editor       = {Heiko Falk},
  title        = {Scope-Based Method Cache Analysis},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {73--82},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.73},
  doi          = {10.4230/OASICS.WCET.2014.73},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/HuberHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Lisper14,
  author       = {Bj{\"{o}}rn Lisper},
  editor       = {Heiko Falk},
  title        = {Principles for Value Annotation Languages},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {1--10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.1},
  doi          = {10.4230/OASICS.WCET.2014.1},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Lisper14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MaronezeBPP14,
  author       = {Andr{\'{e}} Maroneze and
                  Sandrine Blazy and
                  David Pichardie and
                  Isabelle Puaut},
  editor       = {Heiko Falk},
  title        = {A Formally Verified {WCET} Estimation Tool},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {11--20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.11},
  doi          = {10.4230/OASICS.WCET.2014.11},
  timestamp    = {Mon, 16 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/MaronezeBPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/NelisYPFBQVM14,
  author       = {Vincent N{\'{e}}lis and
                  Patrick Meumeu Yomsi and
                  Lu{\'{\i}}s Miguel Pinho and
                  Jos{\'{e}} Carlos Fonseca and
                  Marko Bertogna and
                  Eduardo Qui{\~{n}}ones and
                  Roberto Vargas and
                  Andrea Marongiu},
  editor       = {Heiko Falk},
  title        = {The Challenge of Time-Predictability in Modern Many-Core Architectures},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {63--72},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.63},
  doi          = {10.4230/OASICS.WCET.2014.63},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/NelisYPFBQVM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/ProkeschHP14,
  author       = {Daniel Prokesch and
                  Benedikt Huber and
                  Peter P. Puschner},
  editor       = {Heiko Falk},
  title        = {Towards Automated Generation of Time-Predictable Code},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {103--112},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.103},
  doi          = {10.4230/OASICS.WCET.2014.103},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/ProkeschHP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SantinelliMDJ14,
  author       = {Luca Santinelli and
                  J{\'{e}}r{\^{o}}me Morio and
                  Guillaume Dufour and
                  Damien Jacquemart},
  editor       = {Heiko Falk},
  title        = {On the Sustainability of the Extreme Value Theory for {WCET} Estimation},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {21--30},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.21},
  doi          = {10.4230/OASICS.WCET.2014.21},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/SantinelliMDJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SchoeberlCPS14,
  author       = {Martin Schoeberl and
                  David Vh Chong and
                  Wolfgang Puffitsch and
                  Jens Spars{\o}},
  editor       = {Heiko Falk},
  title        = {A Time-Predictable Memory Network-on-Chip},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {53--62},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.53},
  doi          = {10.4230/OASICS.WCET.2014.53},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/SchoeberlCPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/X14,
  editor       = {Heiko Falk},
  title        = {Frontmatter, Contents, Welcome, List of Authors, Committee},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.i},
  doi          = {10.4230/OASICS.WCET.2014.I},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/X14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/ZwirchmayrSBCC14,
  author       = {Jakob Zwirchmayr and
                  Pascal Sotin and
                  Armelle Bonenfant and
                  Denis Claraz and
                  Philippe Cuenot},
  editor       = {Heiko Falk},
  title        = {Identifying Relevant Parameters to Improve {WCET} Analysis},
  booktitle    = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  pages        = {93--102},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2014.93},
  doi          = {10.4230/OASICS.WCET.2014.93},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/ZwirchmayrSBCC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2014,
  editor       = {Heiko Falk},
  title        = {14th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2014, July 8, 2014, Ulm, Germany},
  series       = {OASIcs},
  volume       = {39},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  isbn         = {978-3-939897-69-9},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/AsavoaeMR13,
  author       = {Mihail Asavoae and
                  Claire Maiza and
                  Pascal Raymond},
  editor       = {Claire Maiza},
  title        = {Program Semantics in Model-Based {WCET} Analysis: {A} State of the
                  Art Perspective},
  booktitle    = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  pages        = {32--41},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2013.32},
  doi          = {10.4230/OASICS.WCET.2013.32},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/AsavoaeMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BiereKKZ13,
  author       = {Armin Biere and
                  Jens Knoop and
                  Laura Kov{\'{a}}cs and
                  Jakob Zwirchmayr},
  editor       = {Claire Maiza},
  title        = {The Auspicious Couple: Symbolic Execution and {WCET} Analysis},
  booktitle    = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  pages        = {53--63},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2013.53},
  doi          = {10.4230/OASICS.WCET.2013.53},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/BiereKKZ13.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    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/CasseBS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/CazorlaVQA13,
  author       = {Francisco J. Cazorla and
                  Tullio Vardanega and
                  Eduardo Qui{\~{n}}ones and
                  Jaume Abella},
  editor       = {Claire Maiza},
  title        = {Upper-bounding Program Execution Time with Extreme Value Theory},
  booktitle    = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  pages        = {64--76},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2013.64},
  doi          = {10.4230/OASICS.WCET.2013.64},
  timestamp    = {Tue, 18 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/CazorlaVQA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GarridoZP13,
  author       = {Jorge Garrido and
                  Juan Zamorano and
                  Juan Antonio de la Puente},
  editor       = {Claire Maiza},
  title        = {Static analysis of {WCET} in a satellite software subsystem},
  booktitle    = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  pages        = {87--96},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2013.87},
  doi          = {10.4230/OASICS.WCET.2013.87},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/GarridoZP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HaupenthalH13,
  author       = {Florian Haupenthal and
                  J{\"{o}}rg Herter},
  editor       = {Claire Maiza},
  title        = {{PRADA:} Predictable Allocations by Deferred Actions},
  booktitle    = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  pages        = {77--86},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2013.77},
  doi          = {10.4230/OASICS.WCET.2013.77},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HaupenthalH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KelterHMF13,
  author       = {Timon Kelter and
                  Tim Harde and
                  Peter Marwedel and
                  Heiko Falk},
  editor       = {Claire Maiza},
  title        = {Evaluation of resource arbitration methods for multi-core real-time
                  systems},
  booktitle    = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  pages        = {1--10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2013.1},
  doi          = {10.4230/OASICS.WCET.2013.1},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KelterHMF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KosmidisVAQC13,
  author       = {Leonidas Kosmidis and
                  Tullio Vardanega and
                  Jaume Abella and
                  Eduardo Qui{\~{n}}ones and
                  Francisco J. Cazorla},
  editor       = {Claire Maiza},
  title        = {Applying Measurement-Based Probabilistic Timing Analysis to Buffer
                  Resources},
  booktitle    = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  pages        = {97--108},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2013.97},
  doi          = {10.4230/OASICS.WCET.2013.97},
  timestamp    = {Tue, 18 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KosmidisVAQC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/OzaktasRS13,
  author       = {Haluk Ozaktas and
                  Christine Rochange and
                  Pascal Sainrat},
  editor       = {Claire Maiza},
  title        = {Automatic {WCET} Analysis of Real-Time Parallel Applications},
  booktitle    = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  pages        = {11--20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2013.11},
  doi          = {10.4230/OASICS.WCET.2013.11},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/OzaktasRS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Potop-ButucaruP13,
  author       = {Dumitru Potop{-}Butucaru and
                  Isabelle Puaut},
  editor       = {Claire Maiza},
  title        = {Integrated Worst-Case Execution Time Estimation of Multicore Applications},
  booktitle    = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  pages        = {21--31},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2013.21},
  doi          = {10.4230/OASICS.WCET.2013.21},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Potop-ButucaruP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/X13,
  editor       = {Claire Maiza},
  title        = {Frontmatter, Table of Contents, Preface, Workshop Organization},
  booktitle    = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2013.i},
  doi          = {10.4230/OASICS.WCET.2013.I},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/X13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2013,
  editor       = {Claire Maiza},
  title        = {13th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2013, July 9, 2013, Paris, France},
  series       = {OASIcs},
  volume       = {30},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  isbn         = {978-3-939897-54-5},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BaldovinMV12,
  author       = {Andrea Baldovin and
                  Enrico Mezzetti and
                  Tullio Vardanega},
  editor       = {Tullio Vardanega},
  title        = {A Time-composable Operating System},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  pages        = {69--80},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.69},
  doi          = {10.4230/OASICS.WCET.2012.69},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/BaldovinMV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/CassezHO12,
  author       = {Franck Cassez and
                  Ren{\'{e}} Rydhof Hansen and
                  Mads Chr. Olesen},
  editor       = {Tullio Vardanega},
  title        = {What is a Timing Anomaly?},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  pages        = {1--12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.1},
  doi          = {10.4230/OASICS.WCET.2012.1},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/CassezHO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GarridoBPAZ12,
  author       = {Jorge Garrido and
                  Daniel Brosnan and
                  Juan Antonio de la Puente and
                  Alejandro Alonso and
                  Juan Zamorano},
  editor       = {Tullio Vardanega},
  title        = {Analysis of {WCET} in an experimental satellite software development},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  pages        = {81--90},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.81},
  doi          = {10.4230/OASICS.WCET.2012.81},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/GarridoBPAZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GustavssonGL12,
  author       = {Andreas Gustavsson and
                  Jan Gustafsson and
                  Bj{\"{o}}rn Lisper},
  editor       = {Tullio Vardanega},
  title        = {Toward Static Timing Analysis of Parallel Software},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  pages        = {38--47},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.38},
  doi          = {10.4230/OASICS.WCET.2012.38},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GustavssonGL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HuberPP12,
  author       = {Benedikt Huber and
                  Daniel Prokesch and
                  Peter P. Puschner},
  editor       = {Tullio Vardanega},
  title        = {A Formal Framework for Precise Parametric {WCET} Formulas},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  pages        = {91--102},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.91},
  doi          = {10.4230/OASICS.WCET.2012.91},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HuberPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Lisper12,
  author       = {Bj{\"{o}}rn Lisper},
  editor       = {Tullio Vardanega},
  title        = {Towards Parallel Programming Models for Predictability},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  pages        = {48--58},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.48},
  doi          = {10.4230/OASICS.WCET.2012.48},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Lisper12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MaksoudR12,
  author       = {Mohamed Abdel Maksoud and
                  Jan Reineke},
  editor       = {Tullio Vardanega},
  title        = {An Empirical Evaluation of the Influence of the Load-Store Unit on
                  {WCET} Analysis},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  pages        = {13--24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.13},
  doi          = {10.4230/OASICS.WCET.2012.13},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/MaksoudR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Marref12,
  author       = {Amine Marref},
  editor       = {Tullio Vardanega},
  title        = {Evolutionary Techniques for Parametric {WCET} Analysis},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  pages        = {103--115},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.103},
  doi          = {10.4230/OASICS.WCET.2012.103},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Marref12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MittermayrB12,
  author       = {Robert Mittermayr and
                  Johann Blieberger},
  editor       = {Tullio Vardanega},
  title        = {Timing Analysis of Concurrent Programs},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  pages        = {59--68},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.59},
  doi          = {10.4230/OASICS.WCET.2012.59},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/MittermayrB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Wegener12,
  author       = {Simon Wegener},
  editor       = {Tullio Vardanega},
  title        = {Computing Same Block Relations for Relational Cache Analysis},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  pages        = {25--37},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.25},
  doi          = {10.4230/OASICS.WCET.2012.25},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Wegener12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/X12,
  editor       = {Tullio Vardanega},
  title        = {Frontmatter, Table of Contents, Preface, Workshop Organization, List
                  of Authors},
  booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2012.i},
  doi          = {10.4230/OASICS.WCET.2012.I},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/X12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2012,
  editor       = {Tullio Vardanega},
  title        = {12th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2012, July 10, 2012, Pisa, Italy},
  series       = {OASIcs},
  volume       = {23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  isbn         = {978-3-939897-41-5},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BettsMB10,
  author       = {Adam Betts and
                  Nicholas Merriam and
                  Guillem Bernat},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {Hybrid measurement-based {WCET} analysis at the source level using
                  object-level traces},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {54--63},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.54},
  doi          = {10.4230/OASICS.WCET.2010.54},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/BettsMB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/DalsgaardOTHL10,
  author       = {Andreas Engelbredt Dalsgaard and
                  Mads Chr. Olesen and
                  Martin Toft and
                  Ren{\'{e}} Rydhof Hansen and
                  Kim Guldstrand Larsen},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {{METAMOC:} Modular Execution Time Analysis using Model Checking},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {113--123},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.113},
  doi          = {10.4230/OASICS.WCET.2010.113},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/DalsgaardOTHL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Gebhard10,
  author       = {Gernot Gebhard},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {Timing Anomalies Reloaded},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {1--10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.1},
  doi          = {10.4230/OASICS.WCET.2010.1},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Gebhard10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GriffinB10,
  author       = {David Griffin and
                  Alan Burns},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {Realism in Statistical Analysis of Worst Case Execution Times},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {44--53},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.44},
  doi          = {10.4230/OASICS.WCET.2010.44},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GriffinB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GrundR10,
  author       = {Daniel Grund and
                  Jan Reineke},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {Toward Precise {PLRU} Cache Analysis},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {23--35},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.23},
  doi          = {10.4230/OASICS.WCET.2010.23},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/GrundR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GustafssonBEL10,
  author       = {Jan Gustafsson and
                  Adam Betts and
                  Andreas Ermedahl and
                  Bj{\"{o}}rn Lisper},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {The M{\"{a}}lardalen {WCET} Benchmarks: Past, Present And Future},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {136--146},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.136},
  doi          = {10.4230/OASICS.WCET.2010.136},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GustafssonBEL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GustavssonELP10,
  author       = {Andreas Gustavsson and
                  Andreas Ermedahl and
                  Bj{\"{o}}rn Lisper and
                  Paul Pettersson},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {Towards {WCET} Analysis of Multicore Architectures Using {UPPAAL}},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {101--112},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.101},
  doi          = {10.4230/OASICS.WCET.2010.101},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GustavssonELP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HerterA10,
  author       = {J{\"{o}}rg Herter and
                  Sebastian Altmeyer},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {Precomputing Memory Locations for Parametric Allocations},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {124--135},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.124},
  doi          = {10.4230/OASICS.WCET.2010.124},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HerterA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HuberP10,
  author       = {Benedikt Huber and
                  Peter P. Puschner},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {A Code Policy Guaranteeing Fully Automated Path Analysis},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {77--88},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.77},
  doi          = {10.4230/OASICS.WCET.2010.77},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HuberP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Lisper10,
  author       = {Bj{\"{o}}rn Lisper},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {Frontmatter, Preface, Table of Contents, Workshop Organization},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.i},
  doi          = {10.4230/OASICS.WCET.2010.I},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Lisper10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MezzettiPV10,
  author       = {Enrico Mezzetti and
                  Marco Panunzio and
                  Tullio Vardanega},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {Bounding the Effects of Resource Access Protocols on Cache Behavior},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {11--22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.11},
  doi          = {10.4230/OASICS.WCET.2010.11},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/MezzettiPV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/RochangeBSGWUPM10,
  author       = {Christine Rochange and
                  Armelle Bonenfant and
                  Pascal Sainrat and
                  Mike Gerdes and
                  Julian Wolf and
                  Theo Ungerer and
                  Zlatko Petrov and
                  Frantisek Mikulu},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {{WCET} Analysis of a Parallel 3D Multigrid Solver Executed on the
                  {MERASA} Multi-Core},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {90--100},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.90},
  doi          = {10.4230/OASICS.WCET.2010.90},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/RochangeBSGWUPM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Souyris10,
  author       = {Jean Souyris},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {{WCET} Computation of Safety-Critical Avionics Programs: Challenges,
                  Achievements and Perspectives},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {89--89},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.89},
  doi          = {10.4230/OASICS.WCET.2010.89},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Souyris10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/StattelmannM10,
  author       = {Stefan Stattelmann and
                  Florian Martin},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {On the Use of Context Information for Precise Measurement-Based Execution
                  Time Estimation},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {64--76},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.64},
  doi          = {10.4230/OASICS.WCET.2010.64},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/StattelmannM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/WilhelmC10,
  author       = {Stephan Wilhelm and
                  Christoph Cullmann},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {Integrating Abstract Caches with Symbolic Pipeline Analysis},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {36--43},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.36},
  doi          = {10.4230/OASICS.WCET.2010.36},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/WilhelmC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2010,
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  isbn         = {978-3-939897-21-7},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2010.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    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/BallabrigaCM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BurguiereRA09,
  author       = {Claire Burgui{\`{e}}re and
                  Jan Reineke and
                  Sebastian Altmeyer},
  editor       = {Niklas Holsti},
  title        = {Cache-Related Preemption Delay Computation for Set-Associative Caches
                  - Pitfalls and Solutions},
  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/2285},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/BurguiereRA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Eles09,
  author       = {Petru Eles},
  editor       = {Niklas Holsti},
  title        = {Predictable Implementation of Real-Time Applications on Multiprocessor
                  Systems on Chip},
  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/2287},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Eles09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GustafssonELSK09,
  author       = {Jan Gustafsson and
                  Andreas Ermedahl and
                  Bj{\"{o}}rn Lisper and
                  Christer Sandberg and
                  Linus K{\"{a}}llberg},
  editor       = {Niklas Holsti},
  title        = {{ALF} - {A} Language for {WCET} Flow Analysis},
  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/2279},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GustafssonELSK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HansenHM09,
  author       = {Jeffery P. Hansen and
                  Scott A. Hissam and
                  Gabriel A. Moreno},
  editor       = {Niklas Holsti},
  title        = {Statistical-Based {WCET} Estimation and Validation},
  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/2291},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HansenHM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HerterR09,
  author       = {J{\"{o}}rg Herter and
                  Jan Reineke},
  editor       = {Niklas Holsti},
  title        = {Making Dynamic Memory Allocation Static to Support {WCET} Analysis},
  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/2284},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/HerterR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Holsti09,
  author       = {Niklas Holsti},
  editor       = {Niklas Holsti},
  title        = {{WCET} 2009 -- Preface to 9th International Workshop on Worst-Case
                  Execution Time Analysis},
  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/2295},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Holsti09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HolstiBFPW09,
  author       = {Niklas Holsti and
                  Guillem Bernat and
                  Christian Ferdinand and
                  Peter P. Puschner and
                  Reinhard Wilhelm},
  editor       = {Niklas Holsti},
  title        = {Teaching {WCET} Analysis in Academia and Industry: {A} Panel Discussion},
  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/2278},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HolstiBFPW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HuberS09,
  author       = {Benedikt Huber and
                  Martin Schoeberl},
  editor       = {Niklas Holsti},
  title        = {Comparison of Implicit Path Enumeration and Model Checking Based {WCET}
                  Analysis},
  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/2281},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HuberS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KeimNFNH09,
  author       = {Paul Keim and
                  Amanda Noyes and
                  Andrew Ferguson and
                  Joshua Neal and
                  Christopher A. Healy},
  editor       = {Niklas Holsti},
  title        = {Extending the Path Analysis Technique to Obtain a Soft {WCET}},
  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/2292},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KeimNFNH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/LesageHP09,
  author       = {Benjamin Lesage and
                  Damien Hardy and
                  Isabelle Puaut},
  editor       = {Niklas Holsti},
  title        = {{WCET} Analysis of Multi-Level Set-Associative Data Caches},
  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/2283},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/LesageHP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/NenovaK09,
  author       = {Stefana Nenova and
                  Daniel K{\"{a}}stner},
  editor       = {Niklas Holsti},
  title        = {Worst-Case Timing Estimation and Architecture Exploration in Early
                  Design Phases},
  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/2280},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/NenovaK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PlazarLM09,
  author       = {Sascha Plazar and
                  Paul Lokuciejewski and
                  Peter Marwedel},
  editor       = {Niklas Holsti},
  title        = {WCET-aware Software Based Cache Partitioning for Multi-Task Real-Time
                  Systems},
  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/2286},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/PlazarLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PrantlKKKS09,
  author       = {Adrian Prantl and
                  Jens Knoop and
                  Raimund Kirner and
                  Albrecht Kadlec and
                  Markus Schordan},
  editor       = {Niklas Holsti},
  title        = {From Trusted Annotations to Verified Knowledge},
  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/2282},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/PrantlKKKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/ReinekeS09,
  author       = {Jan Reineke and
                  Rathijit Sen},
  editor       = {Niklas Holsti},
  title        = {Sound and Efficient {WCET} Analysis in the Presence of Timing Anomalies},
  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/2289},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/ReinekeS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SchoeberlP09,
  author       = {Martin Schoeberl and
                  Peter P. Puschner},
  editor       = {Niklas Holsti},
  title        = {Is Chip-Multiprocessing the End of Real-Time Scheduling?},
  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/2288},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/SchoeberlP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2009,
  editor       = {Niklas Holsti},
  title        = {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/portals/09004/},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/AltmeyerG08,
  author       = {Sebastian Altmeyer and
                  Gernot Gebhard},
  editor       = {Raimund Kirner},
  title        = {{WCET} Analysis for Preemptive Scheduling},
  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/1664},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/AltmeyerG08.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    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/BallabrigaC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BygdeL08,
  author       = {Stefan Bygde and
                  Bj{\"{o}}rn Lisper},
  editor       = {Raimund Kirner},
  title        = {Towards an Automatic Parametric {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/1659},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/BygdeL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GillesH08,
  author       = {Olivier Gilles and
                  J{\'{e}}r{\^{o}}me Hugues},
  editor       = {Raimund Kirner},
  title        = {Applying {WCET} Analysis at Architectural Level},
  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/1665},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GillesH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GustafssonE08,
  author       = {Jan Gustafsson and
                  Andreas Ermedahl},
  editor       = {Raimund Kirner},
  title        = {Merging Techniques for Faster Derivation of {WCET} Flow Information
                  using Abstract Execution},
  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/1658},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GustafssonE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HickeyES08,
  author       = {David Hickey and
                  Diarmuid Early and
                  Michel P. Schellekens},
  editor       = {Raimund Kirner},
  title        = {A tool for average and worst-case execution time 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/1668},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HickeyES08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Holsti08,
  author       = {Niklas Holsti},
  editor       = {Raimund Kirner},
  title        = {Computing time as a program variable: a way around infeasible paths},
  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/1660},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Holsti08.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/wcet/Kirner08,
  author       = {Raimund Kirner},
  editor       = {Raimund Kirner},
  title        = {{WCET} 2008 Abstracts Collection - 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/1671},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Kirner08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KirnerKPSK08,
  author       = {Raimund Kirner and
                  Albrecht Kadlec and
                  Adrian Prantl and
                  Markus Schordan and
                  Jens Knoop},
  editor       = {Raimund Kirner},
  title        = {Towards a Common {WCET} Annotation Language: Essential Ingredients},
  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/1657},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KirnerKPSK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MarrefB08,
  author       = {Amine Marref and
                  Guillem Bernat},
  editor       = {Raimund Kirner},
  title        = {Towards Predicated {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/1667},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/MarrefB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PrantlSK08,
  author       = {Adrian Prantl and
                  Markus Schordan and
                  Jens Knoop},
  editor       = {Raimund Kirner},
  title        = {TuBound - {A} Conceptually New Tool for Worst-Case Execution Time
                  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/1661},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/PrantlSK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PuschnerS08,
  author       = {Peter P. Puschner and
                  Martin Schoeberl},
  editor       = {Raimund Kirner},
  title        = {On Composable System Timing, Task Timing, and {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/1662},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/PuschnerS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/WhithamA08,
  author       = {Jack Whitham and
                  Neil C. Audsley},
  editor       = {Raimund Kirner},
  title        = {Traces as a Solution to Pessimism and Modeling Costs in {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/1666},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/WhithamA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Zolda08,
  author       = {Michael Zolda},
  editor       = {Raimund Kirner},
  title        = {{INFER:} Interactive Timing Profiles based on Bayesian Networks},
  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/1669},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Zolda08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2008,
  editor       = {Raimund Kirner},
  title        = {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/portals/08003/},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/CullmannM07,
  author       = {Christoph Cullmann and
                  Florian Martin},
  editor       = {Christine Rochange},
  title        = {Data-Flow Based Detection of Loop Bounds},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1193},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/CullmannM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/ErmedahlSGBL07,
  author       = {Andreas Ermedahl and
                  Christer Sandberg and
                  Jan Gustafsson and
                  Stefan Bygde and
                  Bj{\"{o}}rn Lisper},
  editor       = {Christine Rochange},
  title        = {Loop Bound Analysis based on a Combination of Program Slicing, Abstract
                  Interpretation, and Invariant Analysis},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1194},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/ErmedahlSGBL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/FredrikssonNEN07,
  author       = {Johan Fredriksson and
                  Thomas Nolte and
                  Andreas Ermedahl and
                  Mikael Nolin},
  editor       = {Christine Rochange},
  title        = {Clustering Worst-Case Execution Times for Software Components},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1185},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/FredrikssonNEN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Gustafsson07,
  author       = {Jan Gustafsson},
  editor       = {Christine Rochange},
  title        = {{WCET} 2007 - Report from the {WCET} Tool Challenge 2006 Ideas for
                  the {WCET} Tool Challenge 2008},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1198},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Gustafsson07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HerrmannBHJLP07,
  author       = {Christoph A. Herrmann and
                  Armelle Bonenfant and
                  Kevin Hammond and
                  Steffen Jost and
                  Hans{-}Wolfgang Loidl and
                  Robert F. Pointon},
  editor       = {Christine Rochange},
  title        = {Automatic Amortised Worst-Case Execution Time Analysis},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1186},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HerrmannBHJLP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Holsti07,
  author       = {Niklas Holsti},
  editor       = {Christine Rochange},
  title        = {Analysing Switch-Case Tables by Partial Evaluation},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1195},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Holsti07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KirnerKPSW07,
  author       = {Raimund Kirner and
                  Jens Knoop and
                  Adrian Prantl and
                  Markus Schordan and
                  Ingomar Wenzel},
  editor       = {Christine Rochange},
  title        = {{WCET} Analysis: The Annotation Language Challenge},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1197},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KirnerKPSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PettersZH07,
  author       = {Stefan M. Petters and
                  Patryk Zadarnowski and
                  Gernot Heiser},
  editor       = {Christine Rochange},
  title        = {Measurements or Static Analysis or Both?},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1188},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/PettersZH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Rochange07,
  author       = {Christine Rochange},
  editor       = {Christine Rochange},
  title        = {{WCET} 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case
                  Execution Time {(WCET)} Analysis},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1238},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Rochange07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SchlicklingP07,
  author       = {Marc Schlickling and
                  Markus Pister},
  editor       = {Christine Rochange},
  title        = {A Framework for Static Analysis of {VHDL} Code},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1189},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/SchlicklingP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SteinM07,
  author       = {Ingmar Stein and
                  Florian Martin},
  editor       = {Christine Rochange},
  title        = {Analysis of path exclusion at the machine code level},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1196},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/SteinM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SundmarkPSET07,
  author       = {Daniel Sundmark and
                  Anders Pettersson and
                  Christer Sandberg and
                  Andreas Ermedahl and
                  Henrik Thane},
  editor       = {Christine Rochange},
  title        = {Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using
                  {WCET} Analysis},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1191},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/SundmarkPSET07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/WilhelmW07,
  author       = {Stephan Wilhelm and
                  Bj{\"{o}}rn Wachter},
  editor       = {Christine Rochange},
  title        = {Towards Symbolic State Traversal for Efficient {WCET} Analysis of
                  Abstract Pipeline and Cache Models},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1190},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/WilhelmW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/YunRM07,
  author       = {Liang Yun and
                  Abhik Roychoudhury and
                  Tulika Mitra},
  editor       = {Christine Rochange},
  title        = {Timing Analysis of Body Area Network Applications},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1192},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/YunRM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2005,
  editor       = {Reinhard Wilhelm},
  title        = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/portals/06903/},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2007,
  editor       = {Christine Rochange},
  title        = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/portals/07002/},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Berg06,
  author       = {Christoph Berg},
  editor       = {Frank Mueller},
  title        = {{PLRU} Cache Domino Effects},
  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/672},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/Berg06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BurguiereR06,
  author       = {Claire Burgui{\`{e}}re and
                  Christine Rochange},
  editor       = {Frank Mueller},
  title        = {History-based Schemes and Implicit Path Enumeration},
  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/670},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/BurguiereR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/FalkLT06,
  author       = {Heiko Falk and
                  Paul Lokuciejewski and
                  Henrik Theiling},
  editor       = {Frank Mueller},
  title        = {Design of a WCET-Aware {C} Compiler},
  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/673},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/FalkLT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/FalkS06,
  author       = {Heiko Falk and
                  Martin Schwarzer},
  editor       = {Frank Mueller},
  title        = {Loop Nest Splitting for WCET-Optimization and Predictability Improvement},
  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/674},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/FalkS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GustafssonEL06,
  author       = {Jan Gustafsson and
                  Andreas Ermedahl and
                  Bj{\"{o}}rn Lisper},
  editor       = {Frank Mueller},
  title        = {Algorithms for Infeasible Path Calculation},
  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/667},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GustafssonEL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HammondFHDHJLMPSSW06,
  author       = {Kevin Hammond and
                  Christian Ferdinand and
                  Reinhold Heckmann and
                  Roy Dyckhoff and
                  Martin Hofmann and
                  Steffen Jost and
                  Hans{-}Wolfgang Loidl and
                  Greg Michaelson and
                  Robert F. Pointon and
                  Norman Scaife and
                  Jocelyn S{\'{e}}rot and
                  Andy Wallace},
  editor       = {Frank Mueller},
  title        = {Towards Formally Verifiable {WCET} Analysis for a Functional Programming
                  Language},
  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/677},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/HammondFHDHJLMPSSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KebbalS06,
  author       = {Djemai Kebbal and
                  Pascal Sainrat},
  editor       = {Frank Mueller},
  title        = {Combining Symbolic Execution and Path Enumeration in Worst-Case Execution
                  Time Analysis},
  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/675},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KebbalS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KirnerGP06,
  author       = {Raimund Kirner and
                  Markus Gr{\"{o}}ssing and
                  Peter P. Puschner},
  editor       = {Frank Mueller},
  title        = {Comparing {WCET} and Resource Demands of Trigonometric Functions Implemented
                  as Iterative Calculations vs. Table-Lookup},
  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/669},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KirnerGP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Mueller06,
  author       = {Frank Mueller},
  editor       = {Frank Mueller},
  title        = {2006 {WCET} Preface - Proceedings of the 6th Intl. Workshop on Worst-Case
                  Execution Time Analysis (WCET'06)},
  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/679},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/Mueller06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Mueller06a,
  author       = {Frank Mueller},
  editor       = {Frank Mueller},
  title        = {2006 {WCET} Abstracts Collection - 6th Intl. Workshop on Worst-Case
                  Execution Time {(WCET)} Analysis},
  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/680},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/Mueller06a.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    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/NemerCSBM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/ReinekeWTWPEB06,
  author       = {Jan Reineke and
                  Bj{\"{o}}rn Wachter and
                  Stephan Thesing and
                  Reinhard Wilhelm and
                  Ilia Polian and
                  Jochen Eisinger and
                  Bernd Becker},
  editor       = {Frank Mueller},
  title        = {A Definition and Classification of Timing Anomalies},
  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/671},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/ReinekeWTWPEB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SchlieckerISE06,
  author       = {Simon Schliecker and
                  Matthias Ivers and
                  Jan Staschulat and
                  Rolf Ernst},
  editor       = {Frank Mueller},
  title        = {A Framework for the Busy Time Calculation of Multiple Correlated Events},
  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/676},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/SchlieckerISE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2006,
  editor       = {Frank Mueller},
  title        = {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/portals/06902/},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BettsB05,
  author       = {Adam Betts and
                  Guillem Bernat},
  editor       = {Reinhard Wilhelm},
  title        = {Issues using the Nexus Interface for Measurement-Based {WCET} Analysis},
  booktitle    = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/807},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/BettsB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/ChenMRS05,
  author       = {Ting Chen and
                  Tulika Mitra and
                  Abhik Roychoudhury and
                  Vivy Suhendra},
  editor       = {Reinhard Wilhelm},
  title        = {Exploiting Branch Constraints without Exhaustive Path Enumeration},
  booktitle    = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/816},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/ChenMRS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/DevergeP05,
  author       = {Jean{-}Fran{\c{c}}ois Deverge and
                  Isabelle Puaut},
  editor       = {Reinhard Wilhelm},
  title        = {Safe measurement-based {WCET} estimation},
  booktitle    = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/808},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/DevergeP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/ErmedahlGL05,
  author       = {Andreas Ermedahl and
                  Jan Gustafsson and
                  Bj{\"{o}}rn Lisper},
  editor       = {Reinhard Wilhelm},
  title        = {Experiences from Industrial {WCET} Analysis Case Studies},
  booktitle    = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/811},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/ErmedahlGL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KirnerP05,
  author       = {Raimund Kirner and
                  Peter P. Puschner},
  editor       = {Reinhard Wilhelm},
  title        = {Classification of Code Annotations and Discussion of Compiler-Support
                  for Worst-Case Execution Time Analysis},
  booktitle    = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/815},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KirnerP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PeterssonEPSH05,
  author       = {Samuel Petersson and
                  Andreas Ermedahl and
                  Anders Pettersson and
                  Daniel Sundmark and
                  Niklas Holsti},
  editor       = {Reinhard Wilhelm},
  title        = {Using a {WCET} Analysis Tool in Real-Time Systems Education},
  booktitle    = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/812},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/PeterssonEPSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/StaschulatSIE05,
  author       = {Jan Staschulat and
                  Simon Schliecker and
                  Matthias Ivers and
                  Rolf Ernst},
  editor       = {Reinhard Wilhelm},
  title        = {Analysis of Memory Latencies in Multi-Processor Systems},
  booktitle    = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/813},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/StaschulatSIE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Wilhelm05,
  author       = {Reinhard Wilhelm},
  editor       = {Reinhard Wilhelm},
  title        = {2005 {WCET} Preface - Message from the Workshop Chair},
  booktitle    = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/817},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Wilhelm05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Wilhelm05a,
  author       = {Stephan Wilhelm},
  editor       = {Reinhard Wilhelm},
  title        = {Efficient Analysis of Pipeline Models for {WCET} Computation},
  booktitle    = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/814},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Wilhelm05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Williams05,
  author       = {Nicky Williams},
  editor       = {Reinhard Wilhelm},
  title        = {{WCET} measurment using midified path testing},
  booktitle    = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 5, 2005, Palma de Mallorca, Spain},
  series       = {OASIcs},
  volume       = {1},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/809},
  timestamp    = {Thu, 16 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Williams05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/AvilaGP03,
  author       = {Mathieu Avila and
                  Maxime Glaizot and
                  Isabelle Puaut},
  editor       = {Jan Gustafsson},
  title        = {Impact of Automatic Gain Time Identification on Tree-Based Static
                  {WCET} Analysis},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {71--74},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/AvilaGP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BernatCP03,
  author       = {Guillem Bernat and
                  Antoine Colin and
                  Stefan M. Petters},
  editor       = {Jan Gustafsson},
  title        = {pWCET, a Tool for Probabilistic {WCET} Analysis of Real-Time Systems},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {21--38},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Thu, 02 Feb 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/BernatCP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BernatH03,
  author       = {Guillem Bernat and
                  Niklas Holsti},
  editor       = {Jan Gustafsson},
  title        = {Compiler Support for {WCET} Analysis: a Wish List},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {65--69},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/BernatH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/FerdinandHTW03,
  author       = {Christian Ferdinand and
                  Reinhold Heckmann and
                  Henrik Theiling and
                  Reinhard Wilhelm},
  editor       = {Jan Gustafsson},
  title        = {Convenient User Annotations for a {WCET} Tool},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {17--20},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Fri, 06 Feb 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/FerdinandHTW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GuedesC03,
  author       = {Paulo Abadie Guedes and
                  S{\'{e}}rgio Vanderlei Cavalcante},
  editor       = {Jan Gustafsson},
  title        = {On the Design of an Extensible Platform for Flow Analysis of Java
                  using Abstract Interpretation},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {47--50},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/GuedesC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KirnerP03,
  author       = {Raimund Kirner and
                  Peter P. Puschner},
  editor       = {Jan Gustafsson},
  title        = {Discussion of Misconceptions about {WCET} Analysis},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {61--64},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/KirnerP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/LeeLPM03,
  author       = {Sheayun Lee and
                  Jaejin Lee and
                  Chang Yun Park and
                  Sang Lyul Min},
  editor       = {Jan Gustafsson},
  title        = {A Flexible Tradeoff between Code Size and {WCET} Employing Dual Instruction
                  Set Processors},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {91--94},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/LeeLPM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Li03,
  author       = {Xianfeng Li},
  editor       = {Jan Gustafsson},
  title        = {A Survey of Methods to Improve ILP-based {WCET} Analysis},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {57--60},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Li03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Lindblad03,
  author       = {Jan Lindblad},
  editor       = {Jan Gustafsson},
  title        = {Requirements of {WCET} tools},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {45--46},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Lindblad03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Lisper03,
  author       = {Bj{\"{o}}rn Lisper},
  editor       = {Jan Gustafsson},
  title        = {Fully Automatic, Parametric Worst-Case Execution Time Analysis},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {99--102},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Lisper03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/LorenteETGC03,
  author       = {Vicente Lorente Garc{\'{e}}s and
                  Agust{\'{\i}}n Espinosa and
                  Andr{\'{e}}s Terrasa and
                  Ana Garc{\'{\i}}a{-}Fornes and
                  Alfons Crespo},
  editor       = {Jan Gustafsson},
  title        = {Evaluating Reasons for Unexpected Results When Measuring Execution
                  Time of Code},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {79--85},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Wed, 10 Jun 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/LorenteETGC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Petters03a,
  author       = {Stefan M. Petters},
  editor       = {Jan Gustafsson},
  title        = {Comparison of Trace Generation Methods for Measurement Based {WCET}
                  Analysis},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {75--78},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Petters03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/RochangeS03,
  author       = {Christine Rochange and
                  Pascal Sainrat},
  editor       = {Jan Gustafsson},
  title        = {Towards Designing WCET-Predictable Processors},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {87--90},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/RochangeS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/RodriguezSEHCHH03,
  author       = {Manuel Rodr{\'{\i}}guez and
                  Nuno Silva and
                  Jo{\~{a}}o Esteves and
                  Luis Henriques and
                  Diamantino Costa and
                  Niklas Holsti and
                  Kjeld Hjortnaes},
  editor       = {Jan Gustafsson},
  title        = {Challenges in Calculating the {WCET} of a Complex On-board Satellite
                  Application},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {11--15},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Fri, 06 Feb 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/RodriguezSEHCHH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Sandberg03,
  author       = {Christer Sandberg},
  editor       = {Jan Gustafsson},
  title        = {Elimination of Unstructured Loops in Flow Analysis},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {51--55},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/Sandberg03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/TesanovicHNNU03,
  author       = {Aleksandra Tesanovic and
                  J{\"{o}}rgen Hansson and
                  Dag Nystr{\"{o}}m and
                  Christer Norstr{\"{o}}m and
                  P. Uhlin},
  editor       = {Jan Gustafsson},
  title        = {Aspect-Level {WCET} Analyzer: {A} Tool for Automated {WCET} Analysis
                  of the Real-Time Software Composed Using Aspect and Components},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {95--98},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/TesanovicHNNU03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/WilhelmETW03,
  author       = {Reinhard Wilhelm and
                  Jakob Engblom and
                  Stephan Thesing and
                  David B. Whalley},
  editor       = {Jan Gustafsson},
  title        = {Industrial Requirements for {WCET} Tools - Answers to the {ARTIST}
                  Questionnaire},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {39--43},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Tue, 19 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/WilhelmETW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2003,
  editor       = {Jan Gustafsson},
  title        = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Fri, 06 Feb 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics