The SCEAS System
Navigation Menu

Search the dblp DataBase


Adriaan de Groot: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:55-64 [Conf]
  2. Adriaan de Groot, Sebastian Kügler, Paul J. Adams, Giorgos Gousios
    Call for Quality: Open Source Software Quality Observation. [Citation Graph (0, 0)][DBLP]
    OSS, 2006, pp:57-62 [Conf]
  3. Frits W. Vaandrager, Adriaan de Groot
    Analysis of a biphase mark protocol with Uppaaland PVS. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:4, pp:433-458 [Journal]
  4. Adriaan de Groot, Jozef Hooman
    Analyzing the Light Control System with PVS. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:621-649 [Journal]

  5. Detecting Agility of Open Source Projects Through Developer Engagement. [Citation Graph (, )][DBLP]

Search in 0.001secs, Finished in 0.001secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002