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

Pubblicazioni di ateneo

Found 22 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Vaglini, Gigliola  [Clear All Filters]
2016
Santone, A., and G. Vaglini, "Conformance Checking using Formal Methods.", Proceedings of the 11th International Conference on Software and Data Technologies (ICSOFT), Lisbon, Portugal, 24-26 July, 2016.
2013
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.
2012
Santone, A., and G. Vaglini, "Abstract reduction in directed model checking CCS processes", Acta informatica, vol. 49, no. 5: Springer, pp. 313–341, 2012.
Santone, A., and G. Vaglini, "Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches.", Proceedings of the International Conference on Software and Data Technologies (ICSOFT), pp. 336–339, 2012.
2011
Francesca, G., A. Santone, G. Vaglini, and M. Luisa Villani, "Ant Colony Optimization for Deadlock Detection in Concurrent Systems", Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual: IEEE, pp. 108–117, 2011.
2009
Santone, A., G. Vaglini, and M. Luisa Villani, "A Formula Driven Incremental Construction of Web Service Compositions.", Proceedings of the International Conference on Software and Data Technologies (ICSOFT), pp. 13–22, 2009.
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
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.
2005
Santone, A., and G. Vaglini, "Compositionality and locality for improving model checking in the selective mu-calculus", Science of Computer Programming, vol. 54, no. 2: Elsevier, pp. 291–311, 2005.
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.
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.
2004
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.
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.
2003
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.
2002
Mazzocca, N., A. Santone, G. Vaglini, and V. Vittorini, "Efficient model checking of properties of a distributed application: a multimedia case study", Software Testing, Verification and Reliability, vol. 12, no. 1: Wiley Online Library, pp. 3–21, 2002.
Santone, A., and G. Vaglini, "Local model checking of Java bytecode", Proceedings of the 14th international conference on Software engineering and knowledge engineering: ACM, pp. 383–389, 2002.
Santone, A., and G. Vaglini, "A tableau-based procedure for model checking programs", Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings of the 26th Annual International: IEEE, pp. 723–728, 2002.
2001
Santone, A., and G. Vaglini, "Reusing LOTOS specifications", Microprocessors and Microsystems, vol. 25, no. 6: Elsevier, pp. 309–314, 2001.
1999
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Abstract interpretation of trace semantics for concurrent calculi", Information processing letters, vol. 70, no. 2: Elsevier, pp. 69–78, 1999.
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, "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.
1998
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.