Bernard van Gastel

dr.

Senior Lecturer, Department Computer Science
Researcher, Research Line Resilience (part of LIRS program)

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

Research Output 2017 2018

1 Conference article in proceeding
1 Article

1 results
Publication Year, Title (descending)

Filter

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