Search dblp for Publications

export results for "toc:db/conf/wcet/wcet2007.bht:"

 download as .bib file

@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    = {Wed, 21 Aug 2024 22:46: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/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    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics