Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. - Bernard van Gastel; Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (FMICS, 2008)

Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. - Bernard van Gastel; Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (Sci. Comput. Program., 2011)

Making resource analysis practical for real-time Java. - Rody Kersten; Olha Shkaravska; Bernard van Gastel; Manuel Montenegro; Marko C. J. D. van Eekelen (JTRES, 2012)

A formally verified deadlock-free routing function in a fault-tolerant NoC architecture. - Abdulaziz Alhussien; Nader Bagherzadeh; Freek Verbeek; Bernard van Gastel; Julien Schmaltz (SBCCI, 2012)

A Hoare Logic for Energy Consumption Analysis. - Rody Kersten; Paolo Parisen Toldin; Bernard van Gastel; Marko C. J. D. van Eekelen (FOPARA, 2013)

Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. - Rody Kersten; Bernard van Gastel; Manu Drijvers; Sjaak Smetsers; Marko C. J. D. van Eekelen (NASA Formal Methods, 2013)

A formalisation of XMAS - Bernard van Gastel; Julien Schmaltz (ACL2, 2013)

A Macro for Reusing Abstract Functions and Theorems - Sebastiaan J. C. Joosten; Bernard van Gastel; Julien Schmaltz (ACL2, 2013)

The design of mobile apps: what and how to teach? - Sylvia Stuurman; Bernard van Gastel; Harrie J. M. Passier (CSERC, 2014)

TweetNaCl: A Crypto Library in 100 Tweets. - Daniel J. Bernstein; Bernard van Gastel; Wesley Janssen; Tanja Lange 001; Peter Schwabe; Sjaak Smetsers (LATINCRYPT, 2014)

Inference of channel types in micro-architectural models of on-chip communication networks. - Bernard van Gastel; Freek Verbeek; Julien Schmaltz (VLSI-SoC, 2014)

ResAna: a resource analysis toolset for (real-time) JAVA. - Rody W. J. Kersten; Bernard van Gastel; Olha Shkaravska; Manuel Montenegro; Marko C. J. D. van Eekelen (Concurr. Comput. Pract. Exp., 2014)

Using Dependent Types to Define Energy Augmented Semantics of Programs. - Bernard van Gastel; Rody Kersten; Marko C. J. D. van Eekelen (FOPARA, 2015)

Assessing sustainability of software - Analysing Correctness, Memory and Energy Consumption. - Bernard van Gastel (2016)

Analysing energy consumption of systems controlled by software. - Bernard van Gastel (Programming, 2017)

Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems. - Bernard van Gastel; Marko C. J. D. van Eekelen (DICE-FOPARA@ETAPS, 2017)

Detecting energy bugs and hotspots in control software using model checking. - Pascal van Gastel; Bernard van Gastel; Marko C. J. D. van Eekelen (Programming, 2018)

Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives. - Carlo Meijer; Bernard van Gastel (IEEE Symposium on Security and Privacy, 2019)

Skylines for Symbolic Energy Consumption Analysis. - Markus Klinik; Bernard van Gastel; Cynthia Kop; Marko C. J. D. van Eekelen (FMICS, 2020)

Towards a seamful ethics of Covid-19 contact tracing apps? - Andrew S. Hoffman; Bart Jacobs 001; Bernard van Gastel; Hanna Kathrin Schraffenberger; Tamar Sharon; Berber Pas (Ethics Inf. Technol., 2021)

The organizational hurdles of structurally reducing the energy consumption of software. - Roy van der Steen; Bernard van Gastel (BENEVOL, 2023)

Type Patterns: Pattern Matching on Shape-Carrying Array Types. - Jordy Aaldering; Sven-Bodo Scholz; Bernard van Gastel (IFL, 2023)

Data Processing Diagrams - A Modeling Technique for Privacy in Complex Data Processing Systems. - Job Doesburg; Pascal van Gastel; Bernard van Gastel; Erik Poll (Privacy and Identity Management, 2024)

Partitioning In-Place on Massively Parallel Architectures. - Thomas Koopman; Sven-Bodo Scholz; Bernard van Gastel (Euro-Par (3), 2025)