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

Pubblicazioni di ateneo

Found 86 results
Author [ Titolo(Desc)] Tipo Anno
Filters: 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 
A
De Francesco, N., A. Santone, and L. Tesei, "Abstract Interpretation and Model Checking for Checking Secure Information Flow", Fundamenta Informaticae, vol. 55, pp. 1–17, 2003.
De Francesco, N., A. Santone, and L. Tesei, "Abstract interpretation and model checking for checking secure information flow in concurrent systems", Fundamenta Informaticae, vol. 54, no. 2: IOS Press, pp. 195–211, 2003.
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.
Santone, A., and G. Vaglini, "Abstract reduction in directed model checking CCS processes", Acta informatica, vol. 49, no. 5: Springer, pp. 313–341, 2012.
Barbuti, R., N. De Francesco, and A. Santone, "Algebraic computational models of OR-parallel execution of Prolog", Acta Informatica, vol. 34, no. 6: Springer, pp. 449–489, 1997.
De Ruvo, G., and A. Santone, "Analysing Wiki Quality Using Probabilistic Model Checking", 24th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} Workshops 2015, Larnaca, Cyprus, June 15-17, pp. 224–229, 2015.
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.
Santone, A., V. Intilangelo, and D. Raucci, "Application of Equivalence Checking in a Loan Origination Process in Banking Industry", Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE): IEEE, pp. 292-297, 2013.
Santone, A., and G. Vaglini, "Automatable Integrations for the Reuse of Concurrent Specifications", Seventh IEEE Workshop on Empirical Studies of Software Maintenance: IEEE, pp. 12, 2001.
Bernardeschi, C., A. Fantechi, S. Gnesi, and A. Santone, "Automated verification of fault tolerance mechanisms", 3rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS), CWI, Amsterdam, 1998.
Santone, A., "Automatic verification of concurrent systems using a formula-based compositional approach", Acta informatica, vol. 38, no. 8: Springer, pp. 531–564, 2002.
C
Cuomo, A., A. Santone, and U.. Villano, "CD-Form: A clone detector based on formal methods", SCIENCE OF COMPUTER PROGRAMMING, 2013.
De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "Checking Safety Proprieties through Simulation and Heuristic Search", International Conference on Artificial Intelligence, USA, pp. 433 - 439, 2013.
De Francesco, N., and A. Santone, "Checking Secure Information Flow in Concurrent Languages by Abstract Interpretation + Model Checking", Concurrency Specification and Programming, 2002, Berlin, Germany, pp. 105-116, 2002.
Santone, A., "Clone detection through process algebras and Java bytecode", Proceedings of the 5th International Workshop on Software Clones: ACM, pp. 73–74, 2011.
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., "Compositionality for Improving Model Checking", Formal Techniques for Distributed System Development, {FORTE/PSTV} 2000, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XIII)} and Protocol Specification, , pp. 105-120, 2000.
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.
D
textbfCeccarelli, \textbfM. \, L. Cerulo, and A. Santone, De novo Reconstruction of Gene Regulatory Networks from Time Series Data, an approach based on Formal Methods, , vol. 69, no. 3, pp. 298–305, 2014.
Ceccarelli, M., L. Cerulo, and A. Santone, "De novo reconstruction of gene regulatory networks from time series data an approach based on formal methods", METHODS, vol. 69, pp. 298–305, 2014.
Gradara, S., A. Santone, and M. Luisa Villani, "DELFIN+: An efficient deadlock detection tool for CCS processes", Journal of Computer and System Sciences, vol. 72, no. 8: Elsevier, pp. 1397–1412, 2006.
Di Penta, M., A. Santone, and M.L.. Villani, "Discovery of SOA patterns via model checking", IW-SOSWE'07: 2nd International Workshop on Service Oriented Software Engineering - In conjunction with the 6th ESEC/FSE Joint Meeting, 2007.
Di Penta, M., A. Santone, and M. Luisa Villani, "Discovery of SOA patterns via model checking", 2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting: ACM, pp. 8–14, 2007.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Download Malware? No, thanks. How Formal Methods can Block Update Attacks", 4th {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering, FormaliSE 2016, Austin Texas, USA, May 15, 2016.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Download malware? no, thanks: how formal methods can block update attacks", Proceedings of the 4th {FME} Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 22–28, 2016.

Pages