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

Pubblicazioni di ateneo

Found 86 results
Author Titolo [ Tipo(Asc)] Anno
Filters: Author is Santone, A  [Clear All Filters]
Journal Article
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.
De Francesco, N., A. Santone, and G. Vaglini, "A user-friendly interface to specify temporal properties of concurrent systems", Information Sciences, vol. 177, no. 1: Elsevier, pp. 299–311, 2007.
De Francesco, N., and A. Santone, "A transformation system for concurrent processes", Acta informatica, vol. 35, no. 12: Springer, pp. 1037–1073, 1998.
Barbuti, R., N. De Francesco, P. Mancarella, and A. Santone, "Towards a logical semantics for pure Prolog", Science of Computer Programming, vol. 32, no. 1: Elsevier, pp. 145–176, 1998.
De Francesco, N., and A. Santone, "A tool supporting efficient model checking of concurrent specifications", Microprocessors and Microsystems, vol. 25, no. 9: Elsevier, pp. 401–407, 2002.
De Francesco, N., and A. Santone, "Syntactic reductions for efficient deadlock analysis", Software Testing, Verification and Reliability, vol. 12, no. 3: Wiley Online Library, pp. 173–186, 2002.
De Francesco, N., A. Santone, and G. Vaglini, "State space reduction by non-standard semantics for deadlock analysis", Science of computer programming, vol. 30, no. 3: Elsevier, pp. 309–338, 1998.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Selective mu-calculus and formula-based equivalence of transition systems", Journal of Computer and System Sciences, vol. 59, no. 3: Elsevier, pp. 537–556, 1999.
Santone, A., and G. Vaglini, "Reusing LOTOS specifications", Microprocessors and Microsystems, vol. 25, no. 6: Elsevier, pp. 309–314, 2001.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Reduced models for efficient CCS verification", Formal Methods in System Design, vol. 26, no. 3: Springer, pp. 319–350, 2005.
Barbuti, R., N. De Francesco, A. Santone, and L. Tesei, "A notion of non-interference for timed automata", Fundamenta Informaticae, vol. 51, no. 1: IOS Press, pp. 1–11, 2002.
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.
Santone, A., and G. Vaglini, "Modifying LOTOS specifications by means of automatable formula-based integrations", Journal of Automated Reasoning, vol. 30, no. 1: Springer, pp. 33–58, 2003.
Santone, A., and G. Vaglini, "Model Checking Properties on Reduced Trace Systems", Algorithms, vol. 7, no. 3, pp. 339-362, 2014.
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.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "LORETO: a tool for reducing state explosion in verification of LOTOS programs", Softw., Pract. Exper., vol. 29, no. 12: Citeseer, pp. 1123–1147, 1999.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Logic based abstractions of real-time systems", Formal Methods in System Design, vol. 17, no. 3: Springer, pp. 201–220, 2000.
Santone, A., and G. Vaglini, "A local approach for temporal model checking of Java bytecode", Journal of Computer and System Sciences, vol. 70, no. 2: Elsevier, pp. 258–281, 2005.
Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Integrating model driven and model checking to mine design patterns", Communications in Computer and Information Science, vol. 586, pp. 99-117, 2016.
Santone, A., G. Vaglini, and M. Luisa Villani, "Incremental construction of systems: An efficient characterization of the lacking sub-system", Science of Computer Programming, vol. 78, no. 9: Elsevier, pp. 1346-1367, 2013.
Santone, A., "Heuristic search+ local model checking in selective mu-calculus", Software Engineering, IEEE Transactions on, vol. 29, no. 6: IEEE, pp. 510–523, 2003.
De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "Heuristic Search for Equivalence Checking", Software and Systems Modeling, vol. 15, no. 2, pp. 513-530, 2016.
De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "GreASE: A Tool for Efficient "Nonequivalence" Checking", ACM Trans. Softw. Eng. Methodol., vol. 23, no. 3, pp. 24, 2014.
De Francesco, N., and A. Santone, "A Formula-Driven Modular Attack on State Explosion", International Journal of Foundations of Computer Science, vol. 13, no. 05: World Scientific, pp. 719–731, 2002.
Santone, A., and G. Vaglini, "Formula-based abstractions and symbolic execution for model checking programs", Microprocessors and Microsystems, vol. 28, no. 2: Elsevier, pp. 69–76, 2004.

Pages