Development of Autonomic Management Solutions for the Military Application Domain. - Ewoud Werkman; Bas van Schoonhoven; Marc de Jonge; Edwin Matthijssen (ICECCS, 2010)

The SpinJa Model Checker. - Marc de Jonge; Theo C. Ruys (SPIN, 2010)

A Cloud Storage Platform in the Defense Context - Mobile Data Management with Unreliable Network Conditions. - Jan Sipke van der Veen; Mark Bastiaans; Marc de Jonge; Rudolf J. Strijkers (CLOSER, 2012)

Analysis Cloud - Running Sensor Data Analysis Programs on a Cloud Computing Infrastructure. - Jan Sipke van der Veen; Bram van der Waaij; Matthijs Vonder; Marc de Jonge; Elena Lazovik; Robert J. Meijer (CLOSER, 2013)