Sara Gradara

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
Modular formal verification of specifications of concurrent systems. Softw. Test. Verification Reliab. 18 (1) (2008)
Sara Gradara, Antonella Santone, Maria Luisa Villani
Formal Verification of Concurrent Systems via Directed Model Checking. Electron. Notes Theor. Comput. Sci. 185 (2007)
Sara Gradara, Antonella Santone, Maria Luisa Villani
: An efficient deadlock detection tool for CCS processes. J. Comput. Syst. Sci. 72 (8) (2006)
Sara Gradara, Antonella Santone, Maria Luisa Villani
Using heuristic search for finding deadlocks in concurrent systems. Inf. Comput. 202 (2) (2005)
Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
Model Checking Multithreaded Programs by Means of Reduced Models. Electron. Notes Theor. Comput. Sci. 110 (2004)
Giuliano Antoniol, Sara Gradara, Gabriele Venturi
Methodological issues in a CMM Level 4 implementation. Softw. Process. Improv. Pract. 9 (1) (2004)
Ettore Merlo, Michel Dagenais, P. Bachand, J. S. Sormani, Sara Gradara, Giuliano Antoniol
Investigating Large Software System Evolution: The Linux Kernel. COMPSAC (2002)
Giuseppe A. Di Lucca, Massimiliano Di Penta, Sara Gradara
An Approach to Classify Software Maintenance Requests. ICSM (2002)
Massimiliano Di Penta, Sara Gradara, Giuliano Antoniol
Traceability Recovery in RAD Software Systems. IWPC (2002)