skip to content
  • it
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 10 results
Author Titolo [ Tipo(Desc)] Anno
Filters: First Letter Of Title is M and Author is Santone, A.  [Clear All Filters]
Conference Paper
Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems", {ICSOFT-PT} 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, pp. 53–63, 2015.
Raucci, D., V. Nardone, and A. Santone, "Model Checking to support Action Controls in the Purchasing Process", 25th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} Workshops 2016, Paris, June 13-15, 2016.
Barbuti, R., N. De Francesco, and A. Santone, "Modeling OR-Parallel Execution of Prolog using CHOCS.", Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming (ICLP): MIT Press, pp. 547–561, 1995.
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.
Gradara, S., A. Santone, G. Vaglini, and M. Luisa Villani, "Modular verification of abstract software descriptions", First Conference on the PRInciples of Software Engineering (PRISE'04), Buenos Aires, pp. 61-70, 2004.
Journal Article
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.
Santone, A., and G. Vaglini, "Model Checking Properties on Reduced Trace Systems", Algorithms, vol. 7, no. 3, pp. 339-362, 2014.
Nardone, V.., A.. Santone, M.. Tipaldi, D.. Liuzza, and L.. Glielmo, "Model Checking Techniques Applied to Satellite Operational Mode Management", IEEE Systems Journal, 2018.
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.
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.