skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 5 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Gradara, Sara  [Clear All Filters]
2008
Gradara, S., A. Santone, G. Vaglini, and M. Luisa Villani, "Modular formal verification of specifications of concurrent systems", Software Testing, Verification and Reliability, vol. 18, no. 1: Wiley Online Library, pp. 5–28, 2008.
2007
Gradara, S., A. Santone, and M. Luisa Villani, "Formal verification of concurrent systems via directed model checking", Electronic Notes in Theoretical Computer Science, vol. 185: Elsevier, pp. 93–105, 2007.
2006
Gradara, S., A. Santone, and M. Luisa Villani, "DELFIN+: An efficient deadlock detection tool for CCS processes", Journal of Computer and System Sciences, vol. 72, no. 8: Elsevier, pp. 1397–1412, 2006.
2005
Gradara, S., A. Santone, and M. Luisa Villani, "Using heuristic search for finding deadlocks in concurrent systems", Information and Computation, vol. 202, no. 2: Elsevier, pp. 191–226, 2005.
2004
Gradara, S., A. Santone, M. Luisa Villani, and G. Vaglini, "Model checking multithreaded programs by means of reduced models", Electronic Notes in Theoretical Computer Science, vol. 110: Elsevier, pp. 55–74, 2004.