Bernard van Gastel

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 8

Top Venues

Programming

IEEE Symposium on Security and Privacy

VLSI-SoC

DICE-FOPARA@ETAPS

Open University (PHD)

Education History

Open University

PHD

Publications

Jordy Aaldering, Sven-Bodo Scholz, Bernard van Gastel
Type Patterns: Pattern Matching on Shape-Carrying Array Types. IFL (2023)
Roy van der Steen, Bernard van Gastel
The organizational hurdles of structurally reducing the energy consumption of software. BENEVOL (2023)
Andrew S. Hoffman, Bart Jacobs, Bernard van Gastel, Hanna Kathrin Schraffenberger, Tamar Sharon, Berber Pas
Towards a seamful ethics of Covid-19 contact tracing apps? Ethics Inf. Technol. 23 (S1) (2021)
Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen
Skylines for Symbolic Energy Consumption Analysis. FMICS (2020)
Carlo Meijer, Bernard van Gastel
Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives. IEEE Symposium on Security and Privacy (2019)
Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen
Detecting energy bugs and hotspots in control software using model checking. Programming (2018)
Bernard van Gastel, Marko C. J. D. van Eekelen
Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems. DICE-FOPARA@ETAPS (2017)
Bernard van Gastel
Analysing energy consumption of systems controlled by software. Programming (2017)
Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen
Using Dependent Types to Define Energy Augmented Semantics of Programs. FOPARA (2015)
Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen
ResAna: a resource analysis toolset for (real-time) JAVA. Concurr. Comput. Pract. Exp. 26 (14) (2014)
Sylvia Stuurman, Bernard van Gastel, Harrie J. M. Passier
The design of mobile apps: what and how to teach? CSERC (2014)
Bernard van Gastel, Freek Verbeek, Julien Schmaltz
Inference of channel types in micro-architectural models of on-chip communication networks. VLSI-SoC (2014)
Daniel J. Bernstein, Bernard van Gastel, Wesley Janssen, Tanja Lange, Peter Schwabe, Sjaak Smetsers
TweetNaCl: A Crypto Library in 100 Tweets. LATINCRYPT (2014)
Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz
A Macro for Reusing Abstract Functions and Theorems ACL2 (2013)
Bernard van Gastel, Julien Schmaltz
A formalisation of XMAS ACL2 (2013)
Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko C. J. D. van Eekelen
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. NASA Formal Methods (2013)
Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen
A Hoare Logic for Energy Consumption Analysis. FOPARA (2013)
Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen
Making resource analysis practical for real-time Java. JTRES (2012)
Abdulaziz Alhussien, Nader Bagherzadeh, Freek Verbeek, Bernard van Gastel, Julien Schmaltz
A formally verified deadlock-free routing function in a fault-tolerant NoC architecture. SBCCI (2012)
Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. Sci. Comput. Program. 76 (2) (2011)
Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. FMICS (2008)

Bernard van Gastel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernard van Gastel