Research Output per year
Research Output 2017 2018
2018
Detecting energy bugs and hotspots in control software using model checking
Gastel, P. V., Gastel, B. V. & Eekelen, M. C. J. D. V., 2018, Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. New York, NY: acm, p. 93-98 6 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Model checking
Energy utilization
Temporal logic
Application programs
Energy efficiency