A Functional Approach to Worst-Case Execution Time Analysis

Vitor Rodrigues, Mário Florido, Simão Melo de Sousa. A Functional Approach to Worst-Case Execution Time Analysis. In Herbert Kuchen, editor, Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings. Volume 6816 of Lecture Notes in Computer Science, pages 86-103, Springer, 2011. [doi]

@inproceedings{RodriguesFS11,
  title = {A Functional Approach to Worst-Case Execution Time Analysis},
  author = {Vitor Rodrigues and Mário Florido and Simão Melo de Sousa},
  year = {2011},
  doi = {10.1007/978-3-642-22531-4_6},
  url = {http://dx.doi.org/10.1007/978-3-642-22531-4_6},
  tags = {analysis, systematic-approach},
  researchr = {https://researchr.org/publication/RodriguesFS11},
  cites = {0},
  citedby = {0},
  pages = {86-103},
  booktitle = {Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings},
  editor = {Herbert Kuchen},
  volume = {6816},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22530-7},
}