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

Pubblicazioni di ateneo

Found 89 results
Author Titolo Tipo [ Anno(Desc)]
Filters: Author is Santone, A.  [Clear All Filters]
1995
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.
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.
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.
De Francesco, N., and A. Santone, "Unfold/fold transformations of concurrent processes", Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP, vol. 1140: Springer, pp. 167–181, 1996.
1997
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, "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.
1998
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.
Bernardeschi, C., A. Fantechi, S. Gnesi, and A. Santone, "Formal validation of fault tolerance mechanisms", Proc. Digest of FastAbstracts-28th Fault-Tolerant Computing Symposium (FTCS), Munich, Germany, pp. 66–67, 1998.
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.
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.
1999
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, 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, 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 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.
2000
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.
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.
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.
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.
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.
Santone, A., and G. Vaglini, "Reusing LOTOS specifications", Microprocessors and Microsystems, vol. 25, no. 6: Elsevier, pp. 309–314, 2001.
2002
Santone, A., "Automatic verification of concurrent systems using a formula-based compositional approach", Acta informatica, vol. 38, no. 8: Springer, pp. 531–564, 2002.
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.
Mazzocca, N., A. Santone, G. Vaglini, and V. Vittorini, "Efficient model checking of properties of a distributed application: a multimedia case study", Software Testing, Verification and Reliability, vol. 12, no. 1: Wiley Online Library, pp. 3–21, 2002.
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.

Pages

Seguici sui social network

Facebook icon
Twitter icon
LinkedIn icon
YouTube icon
CADMUS

Contatti

Amministrazione

Università degli Studi del Sannio di Benevento - Piazza Guerrazzi, 82100 Benevento, ITALY     P.IVA: 01114010620