Adriaan de Groot

According to our database, Adriaan de Groot authored at least 6 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Detecting Agility of Open Source Projects Through Developer Engagement.

Paul J. Adams, Andrea Capiluppi, Adriaan de Groot

Proceedings of the Open Source Development, 2008

2006

Analysis of a biphase mark protocol with Uppaaland PVS.

Frits W. Vaandrager, Adriaan de Groot

Formal Aspects Comput., 2006

Call for Quality: Open Source Software Quality Observation.

Adriaan de Groot, Sebastian Kügler, Paul J. Adams, Giorgos Gousios

Proceedings of the Open Source Systems, 2006

2004

Environmental Modeling with UML.

Adriaan de Groot, Jozef Hooman

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2001

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

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

2000

Analyzing the Light Control System with PVS.

Adriaan de Groot, Jozef Hooman

J. Univers. Comput. Sci., 2000