No photo of Bernard Gastel van

Bernard van Gastel

dr.

20172019

Research output per year

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

Research Output

  • 2 Conference article in proceeding
  • 1 Article
2017

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

2019

Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives

Meijer, C. & van Gastel, B. E., 19 May 2019, 2019 IEEE Symposium on Security and Privacy SP 2019: Proceedings. IEEE, p. 72-87 16 p. (Ieee Security & Privacy).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review