Search dblp for Publications

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

 download as .bib file

@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, 11 Feb 2020 15:52:14 +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 = {Thu, 08 Aug 2019 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 = {Mon, 08 Jul 2019 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, 11 Feb 2020 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, 11 Feb 2020 15:52:14 +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, 16 May 2019 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, 16 May 2019 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 = {Thu, 16 May 2019 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 = {Thu, 16 May 2019 01:00:00 +0200},
  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, 11 Feb 2020 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 = {Tue, 11 Feb 2020 15:52:14 +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 = {Fri, 30 Nov 2018 00:00:00 +0100},
  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 = {Thu, 23 Aug 2018 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 = {Tue, 11 Feb 2020 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, 11 Feb 2020 15:52:14 +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 = {Wed, 25 Sep 2019 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 Sorensen 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 = {Sun, 25 Oct 2020 01:00:00 +0200},
  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 = {Fri, 27 Dec 2019 00:00:00 +0100},
  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 = {Tue, 29 Dec 2020 00:00:00 +0100},
  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, 11 Feb 2020 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 = {Tue, 11 Feb 2020 15:52:14 +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 = {Wed, 25 Sep 2019 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, 23 Aug 2018 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, 11 Feb 2020 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, 11 Feb 2020 15:52:14 +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 = {Thu, 23 Aug 2018 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}} Oliveira 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 = {Wed, 25 Sep 2019 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 = {Thu, 23 Aug 2018 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, 11 Feb 2020 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, 11 Feb 2020 15:52:14 +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 = {Mon, 16 Sep 2019 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 = {Thu, 23 Aug 2018 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 = {Fri, 27 Dec 2019 00:00:00 +0100},
  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, 11 Feb 2020 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, 11 Feb 2020 15:52:14 +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 = {Fri, 30 Nov 2018 00:00:00 +0100},
  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 = {Thu, 23 Aug 2018 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 = {Thu, 23 Aug 2018 01:00:00 +0200},
  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 = {Thu, 23 Aug 2018 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, 11 Feb 2020 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 = {Thu, 23 Aug 2018 01:00:00 +0200},
  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 = {Thu, 23 Aug 2018 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 = {Thu, 23 Aug 2018 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 = {Thu, 23 Aug 2018 01:00:00 +0200},
  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 = {Thu, 23 Aug 2018 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 = {Thu, 23 Aug 2018 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 = {Sat, 08 Jan 2011 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 = {Thu, 16 May 2019 01:00:00 +0200},
  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 = {Thu, 16 May 2019 01:00:00 +0200},
  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 = {Thu, 16 May 2019 01:00:00 +0200},
  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 = {Thu, 16 May 2019 01:00:00 +0200},
  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, 12 Feb 2013 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 = {Thu, 16 May 2019 01:00:00 +0200},
  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, 12 Feb 2013 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 = {Thu, 16 May 2019 01:00:00 +0200},
  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, 12 Feb 2013 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, 12 Feb 2013 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 = {Thu, 16 May 2019 01:00:00 +0200},
  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 = {Thu, 16 May 2019 01:00:00 +0200},
  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 = {Thu, 16 May 2019 01:00:00 +0200},
  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 = {Thu, 16 May 2019 01:00:00 +0200},
  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, 12 Feb 2013 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 = {Thu, 16 May 2019 01:00:00 +0200},
  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