Investigating Large Software System Evolution: The Linux Kernel. - Ettore Merlo; Michel R. Dagenais; P. Bachand; J. S. Sormani; Sara Gradara; Giuliano Antoniol (COMPSAC, 2002)

An Approach to Classify Software Maintenance Requests. - Giuseppe A. Di Lucca; Massimiliano Di Penta; Sara Gradara (ICSM, 2002)

Traceability Recovery in RAD Software Systems. - Massimiliano Di Penta; Sara Gradara; Giuliano Antoniol (IWPC, 2002)

Model Checking Multithreaded Programs by Means of Reduced Models. - Sara Gradara; Antonella Santone; Maria Luisa Villani; Gigliola Vaglini (LDTA@ETAPS, 2004)

Methodological issues in a CMM Level 4 implementation. - Giuliano Antoniol; Sara Gradara; Gabriele Venturi (Softw. Process. Improv. Pract., 2004)

Using heuristic search for finding deadlocks in concurrent systems. - Sara Gradara; Antonella Santone; Maria Luisa Villani (Inf. Comput., 2005)

Heuristic search for verifying concurrent systems described in CCS. - Sara Gradara (2005)

Formal Verification of Concurrent Systems via Directed Model Checking. - Sara Gradara; Antonella Santone; Maria Luisa Villani (AVoCS, 2006)

DELFIN+: An efficient deadlock detection tool for CCS processes. - Sara Gradara; Antonella Santone; Maria Luisa Villani (J. Comput. Syst. Sci., 2006)

Modular formal verification of specifications of concurrent systems. - Sara Gradara; Antonella Santone; Gigliola Vaglini; Maria Luisa Villani (Softw. Test. Verification Reliab., 2008)