Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat. OTAWA: An Open Toolbox for Adaptive WCET Analysis. In Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer, editors, Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings. Volume 6399 of Lecture Notes in Computer Science, pages 35-46, Springer, 2010. [doi]
@inproceedings{BallabrigaCRS10,
title = {OTAWA: An Open Toolbox for Adaptive WCET Analysis},
author = {Clément Ballabriga and Hugues Cassé and Christine Rochange and Pascal Sainrat},
year = {2010},
doi = {10.1007/978-3-642-16256-5_6},
url = {http://dx.doi.org/10.1007/978-3-642-16256-5_6},
tags = {points-to analysis, analysis, source-to-source, Pascal, open-source},
researchr = {https://researchr.org/publication/BallabrigaCRS10},
cites = {0},
citedby = {0},
pages = {35-46},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings},
editor = {Sang Lyul Min and Robert G. Pettit IV and Peter P. Puschner and Theo Ungerer},
volume = {6399},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-16255-8},
}