Designing a Mathematically Verified I2C Device Driver Using ASD. - Arjen Klomp; Herman W. Roebbers; Ruud Derwig; Leon Bouwmeester (CPA, 2009)

Modular SoC integration with subsystems: the audio subsystem case. - Pieter van der Wolf; Ruud Derwig (DATE, 2013)

Accelerated V2X provisioning with Extensible Processor Platform. - Henrique S. Ogawa; Thomas E. Luther; Jefferson E. Ricardini; Helmiton Cunha; Marcos A. Simplício Jr.; Diego F. Aranha; Ruud Derwig; Harsh Kupwade Patil (IACR Cryptol. ePrint Arch., 2019)