HomeNewsCase StudiesPeoplePublications
[BKM+16] B.Barbot, M. Kwiatkowska, A. Mereacre, and N. Paoletti. Building Power Consumption Models from Executable Timed I/O Automata Specifications. In 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016). To appear. 2016. [pdf] [bib]
Downloads:  pdf pdf (4.36 MB)  bib bib
Notes: An extended version of this paper can be found at http://www.cs.ox.ac.uk/files/7964/CS-RR-16-01.pdf