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

Pubblicazioni di ateneo

Found 22 results
Author Titolo [ Tipo(Desc)] Anno
Filters: Author is De Francesco, Nicoletta  [Clear All Filters]
Conference Paper
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.
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.
De Francesco, N., and A. Santone, "A Program Transformations Methodology for CCS", Proceedings of the Fifth Italian Conference of Theoretical Computer Science, Ravello, Italy: {} ’, 1995.
Journal Article
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.
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.
Anastasi, G., A. Bartoli, N. De Francesco, and A. Santone, "Efficient verification of a multicast protocol for mobile computing", The Computer Journal, vol. 44, no. 1: Br Computer Soc, pp. 21–30, 2001.
De Francesco, N., and A. Santone, "A Formula-Driven Modular Attack on State Explosion", International Journal of Foundations of Computer Science, vol. 13, no. 05: World Scientific, pp. 719–731, 2002.
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.
De Francesco, N., A. Santone, and G. Vaglini, "State space reduction by non-standard semantics for deadlock analysis", Science of computer programming, vol. 30, no. 3: Elsevier, pp. 309–338, 1998.
De Francesco, N., and A. Santone, "Syntactic reductions for efficient deadlock analysis", Software Testing, Verification and Reliability, vol. 12, no. 3: Wiley Online Library, pp. 173–186, 2002.
De Francesco, N., and A. Santone, "A tool supporting efficient model checking of concurrent specifications", Microprocessors and Microsystems, vol. 25, no. 9: Elsevier, pp. 401–407, 2002.
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.
De Francesco, N., and A. Santone, "A transformation system for concurrent processes", Acta informatica, vol. 35, no. 12: Springer, pp. 1037–1073, 1998.
De Francesco, N., A. Santone, and G. Vaglini, "A user-friendly interface to specify temporal properties of concurrent systems", Information Sciences, vol. 177, no. 1: Elsevier, pp. 299–311, 2007.