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

Pubblicazioni di ateneo

Found 4 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Giuseppe Lettieri  [Clear All Filters]
2016
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.
2015
De Ruvo, G., G. Lettieri, D. Martino, A. Santone, and G. Vaglini, "k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes", Formal Aspects of Component Software - 12th International Conference, {FACS} 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, vol. 9539: Springer, pp. 181–198, 2015.
2014
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.
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.