| 2006 |
|---|
| 4 | EE | Adriaan de Groot,
Sebastian Kügler,
Paul J. Adams,
Giorgos Gousios:
Call for Quality: Open Source Software Quality Observation.
OSS 2006: 57-62 |
| 3 | EE | Frits W. Vaandrager,
Adriaan de Groot:
Analysis of a biphase mark protocol with Uppaaland PVS.
Formal Asp. Comput. 18(4): 433-458 (2006) |
| 2001 |
|---|
| 2 | | Adriaan de Groot,
Jozef Hooman,
Fabrice Kordon,
Emmanuel Paviot-Adet,
Isabelle Vernier-Mounier,
Michel Lemoine,
Gervais Gaudiere,
Victor L. Winter,
Deepak Kapur:
A Survey: Applying Formal Methods to a Software Intensive System.
HASE 2001: 55-64 |
| 2000 |
|---|
| 1 | EE | Adriaan de Groot,
Jozef Hooman:
Analyzing the Light Control System with PVS.
J. UCS 6(7): 621-649 (2000) |
