Antonella Santone
Department of Engineering
University of Sannio
Italy
Biography
Professor in Department of Engineering, University of Sannio,Italy.
Research Interest
Information Processing Systems
Publications
-
Gradara S, Santone A, Villani ML. DELFIN+: An efficient deadlock detection tool for CCS processes. Journal of Computer and System Sciences. 2006 Dec 1;72(8):1397-412.
-
Santone A. Heuristic search+ local model checking in selective mu-calculus. IEEE Transactions on Software Engineering. 2003 Jun;29(6):510-23.
-
Barbuti R, De Francesco N, Santone A, Vaglini G. Selective mu-calculus and formula-based equivalence of transition systems. Journal of Computer and System Sciences. 1999 Dec 31;59(3):537-56.
