Bernard van Gastel

According to our database, Bernard van Gastel authored at least 22 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Type Patterns: Pattern Matching on Shape-Carrying Array Types.

Jordy Aaldering, Sven-Bodo Scholz, Bernard van Gastel

Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

The organizational hurdles of structurally reducing the energy consumption of software.

Roy van der Steen, Bernard van Gastel

Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop, 2023

2021

Towards a seamful ethics of Covid-19 contact tracing apps?

Andrew S. Hoffman, Bart Jacobs, Bernard van Gastel, Hanna Kathrin Schraffenberger, Tamar Sharon, Berber Pas

Ethics Inf. Technol., 2021

2020

Skylines for Symbolic Energy Consumption Analysis.

Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

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

Carlo Meijer, Bernard van Gastel

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

2018

Detecting energy bugs and hotspots in control software using model checking.

Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

2017

Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems.

Bernard van Gastel, Marko C. J. D. van Eekelen

Proceedings of the Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, 2017

Analysing energy consumption of systems controlled by software.

Bernard van Gastel

Proceedings of the Companion to the first International Conference on the Art, 2017

2016

Assessing sustainability of software - Analysing Correctness, Memory and Energy Consumption.

Bernard van Gastel

PhD thesis, 2016

2015

Using Dependent Types to Define Energy Augmented Semantics of Programs.

Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

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

Inference of channel types in micro-architectural models of on-chip communication networks.

Bernard van Gastel, Freek Verbeek, Julien Schmaltz

Proceedings of the 22nd International Conference on Very Large Scale Integration, 2014

TweetNaCl: A Crypto Library in 100 Tweets.

Daniel J. Bernstein, Bernard van Gastel, Wesley Janssen, Tanja Lange, Peter Schwabe, Sjaak Smetsers

Proceedings of the Progress in Cryptology - LATINCRYPT 2014, 2014

The design of mobile apps: what and how to teach?

Sylvia Stuurman, Bernard van Gastel, Harrie J. M. Passier

Proceedings of the Computer Science Education Research Conference, 2014

2013

A Macro for Reusing Abstract Functions and Theorems

Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz

Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013

A formalisation of XMAS

Bernard van Gastel, Julien Schmaltz

Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 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

Proceedings of the NASA Formal Methods, 2013

A Hoare Logic for Energy Consumption Analysis.

Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

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

Proceedings of the 25th Symposium on Integrated Circuits and Systems Design, 2012

Making resource analysis practical for real-time Java.

Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011

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

2008

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2008