Bernard van Gastel

26 papers A* 1C 3Journal 4Unranked 17

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