No photo of Bernard Gastel van

Bernard van Gastel

dr.

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

Fingerprint Dive into the research topics where Bernard van Gastel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles
Application programs Engineering & Materials Science
Model checking Engineering & Materials Science
Energy utilization Engineering & Materials Science
Temporal logic Engineering & Materials Science
Energy efficiency Engineering & Materials Science
Curricula Engineering & Materials Science
Specifications Engineering & Materials Science
Hardware Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

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