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

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

Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems

van Gastel, B. & van Eekelen, M., 2017, In : Electronic proceedings in theoretical computer science. 248, p. 24-37 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access