Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen. Detecting energy bugs and hotspots in control software using model checking. In Stefan Marr, Jennifer B. Sartor, editors, Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018. pages 93-98, ACM, 2018. [doi]
@inproceedings{GastelGE18,
title = {Detecting energy bugs and hotspots in control software using model checking},
author = {Pascal van Gastel and Bernard van Gastel and Marko C. J. D. van Eekelen},
year = {2018},
doi = {10.1145/3191697.3213805},
url = {http://doi.acm.org/10.1145/3191697.3213805},
researchr = {https://researchr.org/publication/GastelGE18},
cites = {0},
citedby = {0},
pages = {93-98},
booktitle = {Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018},
editor = {Stefan Marr and Jennifer B. Sartor},
publisher = {ACM},
}