Bernard van Gastel
Title
Cited by
Cited by
Year
TweetNaCl: A crypto library in 100 tweets
DJ Bernstein, B Van Gastel, W Janssen, T Lange, P Schwabe, S Smetsers
International Conference on Cryptology and Information Security in Latin …, 2014
582014
Self-encrypting deception: weaknesses in the encryption of solid state drives
C Meijer, B Van Gastel
2019 IEEE Symposium on Security and Privacy (SP), 72-87, 2019
172019
ResAna: a resource analysis toolset for (real‐time) JAVA
RWJ Kersten, BE Van Gastel, O Shkaravska, M Montenegro, ...
Concurrency and Computation: Practice and Experience 26 (14), 2432-2455, 2014
112014
A Hoare logic for energy consumption analysis
R Kersten, PP Toldin, B van Gastel, M van Eekelen
International Workshop on Foundational and Practical Aspects of Resource …, 2013
112013
Making resource analysis practical for real-time Java
R Kersten, O Shkaravska, B Van Gastel, M Montenegro, M Van Eekelen
Proceedings of the 10th International Workshop on Java Technologies for Real …, 2012
112012
The design of mobile apps: what and how to teach?
S Stuurman, BE van Gastel, HJM Passier
Proceedings of the Computer Science Education Research Conference, 93-100, 2014
72014
A formally verified deadlock-free routing function in a fault-tolerant NoC architecture
A Alhussien, N Bagherzadeh, F Verbeek, B van Gastel, J Schmaltz
2012 25th Symposium on Integrated Circuits and Systems Design (SBCCI), 1-6, 2012
72012
Reentrant readers-writers: A case study combining model checking with theorem proving
B Van Gastel, L Lensink, S Smetsers, M Van Eekelen
International Workshop on Formal Methods for Industrial Critical Systems, 85-102, 2008
72008
Reentrant readers-writers: A case study combining model checking with theorem proving
B Van Gastel, L Lensink, S Smetsers, M Van Eekelen
International Workshop on Formal Methods for Industrial Critical Systems, 85-102, 2008
72008
Assessing sustainability of software: analysing correctness, memory and energy consumption
BE van Gastel
Open Universiteit, 2016
62016
Using dependent types to define energy augmented semantics of programs
B van Gastel, R Kersten, M van Eekelen
International Workshop on Foundational and Practical Aspects of Resource …, 2015
62015
Inference of channel types in micro-architectural models of on-chip communication networks
B van Gastel, F Verbeek, J Schmaltz
2014 22nd International Conference on Very Large Scale Integration (VLSI-SoC …, 2014
62014
Fully reliable dynamic routing logic for a fault-tolerant NoC architecture
A Alhussien, F Verbeek, B van Gastel, N Bagherzadeh, J Schmaltz
Journal of Integrated Circuits and Systems 8 (1), 43-53, 2013
52013
Soundness proof for a hoare logic for energy consumption analysis
PP Toldin, R Kersten, B Gastel, M van Eekelen
Nijmegen: ICIS, 2013
52013
Towards practical, precise and parametric energy analysis of IT controlled systems
B van Gastel, M van Eekelen
arXiv preprint arXiv:1705.00961, 2017
42017
A formalisation of XMAS
B van Gastel, J Schmaltz
arXiv preprint arXiv:1304.7862, 2013
42013
Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving
B Van Gastel, L Lensink, S Smetsers, M van Eekelen
Science of Computer Programming 76 (2), 82-99, 2011
42011
Energy Consumption Analysis of Practical Programming Languages
S Keijzers, MCJD van Eekelen, B van Gastel
Radboud University Nijmegen, Master Thesis, 2014
22014
A macro for reusing abstract functions and theorems
SJC Joosten, B van Gastel, J Schmaltz
arXiv preprint arXiv:1304.7875, 2013
22013
Verifying reentrant readers-writers
B van Gastel
Master's thesis, Radboud Universiteit, Nijmegen, Netherlands, 2010
22010
The system can't perform the operation now. Try again later.
Articles 1–20