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

Pubblicazioni di ateneo

Found 11 results
Author Titolo [ Tipo(Desc)] Anno
Filters: Author is Barbuti, Roberto  [Clear All Filters]
Conference Paper
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.
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.
Barbuti, R., N. De Francesco, A. Santone, and L. Tesei, "A Notion of Non-Interference for Timed Automata", Concurrency Specification and Programming, 2001, Warsaw, Poland, pp. 6-15, 2001.
Journal Article
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.
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.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Logic based abstractions of real-time systems", Formal Methods in System Design, vol. 17, no. 3: Springer, pp. 201–220, 2000.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "LORETO: a tool for reducing state explosion in verification of LOTOS programs", Softw., Pract. Exper., vol. 29, no. 12: Citeseer, pp. 1123–1147, 1999.
Barbuti, R., N. De Francesco, A. Santone, and L. Tesei, "A notion of non-interference for timed automata", Fundamenta Informaticae, vol. 51, no. 1: IOS Press, pp. 1–11, 2002.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Reduced models for efficient CCS verification", Formal Methods in System Design, vol. 26, no. 3: Springer, pp. 319–350, 2005.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Selective mu-calculus and formula-based equivalence of transition systems", Journal of Computer and System Sciences, vol. 59, no. 3: Elsevier, pp. 537–556, 1999.
Barbuti, R., N. De Francesco, P. Mancarella, and A. Santone, "Towards a logical semantics for pure Prolog", Science of Computer Programming, vol. 32, no. 1: Elsevier, pp. 145–176, 1998.