Analyzing the Light Control System with PVS. - Adriaan de Groot; Jozef Hooman (J. Univers. Comput. Sci., 2000)

A Survey: Applying Formal Methods to a Software Intensive System. - Adriaan de Groot; Jozef Hooman; Fabrice Kordon; Emmanuel Paviot-Adet; Isabelle Vernier-Mounier; Michel Lemoine; Gervais Gaudiére; Victor L. Winter; Deepak Kapur (HASE, 2001)

Environmental Modeling with UML. - Adriaan de Groot; Jozef Hooman (Formal Methods for Embedded Distributed Systems, 2004)

Call for Quality: Open Source Software Quality Observation. - Adriaan de Groot; Sebastian Kügler; Paul J. Adams; Giorgos Gousios (OSS, 2006)

Analysis of a biphase mark protocol with Uppaaland PVS. - Frits W. Vaandrager; Adriaan de Groot (Formal Aspects Comput., 2006)

Detecting Agility of Open Source Projects Through Developer Engagement. - Paul J. Adams; Andrea Capiluppi; Adriaan de Groot (OSS, 2008)