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

Pubblicazioni di ateneo

Found 11 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Gigliola Vaglini  [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.
Santone, A., and G. Vaglini, "Model Checking Properties on Reduced Trace Systems", Algorithms, vol. 7, no. 3, pp. 339-362, 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.
Santone, A., and G. Vaglini, "Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic", Proceedings of the International Conference on Software and Data Technologies (ICSOFT), pp. 233-238, 2013.
2004
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.
2001
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.
1999
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Formula based abstractions of transition systems for real-time model checking", FM’99 Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, vol. 1708: Springer, pp. 289–306, 1999.
1997
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Selective mu-calculus: New modal operators for proving properties on reduced transition systems", Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE): Springer, pp. 519–534, 1997.
1996
De Francesco, N., A. Santone, and G. Vaglini, "A Non-Standard Semantics for Generating Reduced Transition Systems", Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, vol. 1192: Springer, pp. 370-387, 1996.