Sara Gradara

According to our database, Sara Gradara authored at least 10 papers between 2002 and 2008.

Collaborative distances:

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

2008

Modular formal verification of specifications of concurrent systems.

Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani

Softw. Test. Verification Reliab., 2008

2006

DELFIN⁺: An efficient deadlock detection tool for CCS processes.

Sara Gradara, Antonella Santone, Maria Luisa Villani

J. Comput. Syst. Sci., 2006

Formal Verification of Concurrent Systems via Directed Model Checking.

Sara Gradara, Antonella Santone, Maria Luisa Villani

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

2005

Heuristic search for verifying concurrent systems described in CCS.

Sara Gradara

PhD thesis, 2005

Using heuristic search for finding deadlocks in concurrent systems.

Sara Gradara, Antonella Santone, Maria Luisa Villani

Inf. Comput., 2005

2004

Methodological issues in a CMM Level 4 implementation.

Giuliano Antoniol, Sara Gradara, Gabriele Venturi

Softw. Process. Improv. Pract., 2004

Model Checking Multithreaded Programs by Means of Reduced Models.

Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini

Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

2002

Traceability Recovery in RAD Software Systems.

Massimiliano Di Penta, Sara Gradara, Giuliano Antoniol

Proceedings of the 10th International Workshop on Program Comprehension (IWPC 2002), 2002

An Approach to Classify Software Maintenance Requests.

Giuseppe A. Di Lucca, Massimiliano Di Penta, Sara Gradara

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Investigating Large Software System Evolution: The Linux Kernel.

Ettore Merlo, Michel R. Dagenais, P. Bachand, J. S. Sormani, Sara Gradara, Giuliano Antoniol

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002