No photo of Bernard Gastel van

Bernard van Gastel


If you made any changes in Pure these will be visible here soon.

Research Output 2017 2018

  • 1 Conference article in proceeding
  • 1 Article
Conference article in proceeding

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 proceedingConference article in proceedingAcademicpeer-review

Model checking
Energy utilization
Temporal logic
Application programs
Energy efficiency