Richard Doornbos

Complementary verification of embedded software using ASD and Uppaal

J. Hooman, Bernard van Vlimmeren, R. Doornbos, 2012, 2012 International Conference on Innovations in Information Technology (IIT).

Virtual Prototyping of Large-scale IoT Control Systems using Domain-specific Languages

Jacques Verriet, Lennart Buit, Richard Doornbos, 2019, MODELSWARD.

Teaching Computational Thinking to Primary School Students via Unplugged Programming Lessons

Jan Salvador van der Ven, Hylke Faber, Menno Wierdsma, 2017 .

Robustness Analysis for Indoor Lighting Systems An Application of Model Checking in Large-Scale Distributed Control Systems

Jacques Verriet, Mark H. Verberkt, Richard Doornbos, 2015, ICONS 2015.

A knowledge domain structure to enable system wide reasoning and decision making

Tjerk Bijlsma, Richard Doornbos, Wouter Tabingh Suermondt, 2019, Procedia Computer Science.