| 2008 |
|---|
| 9 | EE | Sara Gradara,
Antonella Santone,
Gigliola Vaglini,
Maria Luisa Villani:
Modular formal verification of specifications of concurrent systems.
Softw. Test., Verif. Reliab. 18(1): 5-28 (2008) |
| 2007 |
|---|
| 8 | EE | Sara Gradara,
Antonella Santone,
Maria Luisa Villani:
Formal Verification of Concurrent Systems via Directed Model Checking.
Electr. Notes Theor. Comput. Sci. 185: 93-105 (2007) |
| 2006 |
|---|
| 7 | EE | Sara Gradara,
Antonella Santone,
Maria Luisa Villani:
DELFIN+: An efficient deadlock detection tool for CCS processes.
J. Comput. Syst. Sci. 72(8): 1397-1412 (2006) |
| 2005 |
|---|
| 6 | EE | Sara Gradara,
Antonella Santone,
Maria Luisa Villani:
Using heuristic search for finding deadlocks in concurrent systems.
Inf. Comput. 202(2): 191-226 (2005) |
| 2004 |
|---|
| 5 | EE | Sara Gradara,
Antonella Santone,
Maria Luisa Villani,
Gigliola Vaglini:
Model Checking Multithreaded Programs by Means of Reduced Models.
Electr. Notes Theor. Comput. Sci. 110: 55-74 (2004) |
| 4 | EE | Giuliano Antoniol,
Sara Gradara,
Gabriele Venturi:
Methodological issues in a CMM Level 4 implementation.
Software Process: Improvement and Practice 9(1): 33-50 (2004) |
| 2002 |
|---|
| 3 | EE | Ettore Merlo,
Michel Dagenais,
P. Bachand,
J. S. Sormani,
Sara Gradara,
Giuliano Antoniol:
Investigating Large Software System Evolution: The Linux Kernel.
COMPSAC 2002: 421-426 |
| 2 | EE | Giuseppe A. Di Lucca,
Massimiliano Di Penta,
Sara Gradara:
An Approach to Classify Software Maintenance Requests.
ICSM 2002: 93-102 |
| 1 | EE | Massimiliano Di Penta,
Sara Gradara,
Giuliano Antoniol:
Traceability Recovery in RAD Software Systems.
IWPC 2002: 207-218 |
