skip to content
  • it
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 10 results
Author [ Titolo(Asc)] Tipo Anno
Filters: First Letter Of Title is M and Author is Santone, A.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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.
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, "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.
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.
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.
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.
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, "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.