The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Antonella Santone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Antonella Santone, Gigliola Vaglini
    A Tableau-Based Procedure for Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:723-730 [Conf]
  2. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Formula Based Abstractions of Transition Systems for Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:289-306 [Conf]
  3. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:519-534 [Conf]
  4. Antonella Santone
    Compositionality for Improving Model Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:105-120 [Conf]
  5. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
    Modeling OR-Parallel Execution of Prolog using CHOCS. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:547-561 [Conf]
  6. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    A Non-Standard Semantics for Generating Reduced Transition Systems. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:370-387 [Conf]
  7. Nicoletta De Francesco, Antonella Santone
    Unfold/Fold Transformations of Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:167-181 [Conf]
  8. Antonella Santone, Gigliola Vaglini
    Local model checking of Java bytecode. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:383-389 [Conf]
  9. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
    Algebraic Computational Models of OR-Parallel Execution of Prolog. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1997, v:34, n:6, pp:449-489 [Journal]
  10. Nicoletta De Francesco, Antonella Santone
    A Transformation System for Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:12, pp:1037-1073 [Journal]
  11. Antonella Santone
    Automatic verification of concurrent systems using a formula-based compositional approach. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2002, v:38, n:8, pp:531-564 [Journal]
  12. Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone
    Efficient Verification of a Multicast Protocol for Mobile Computing. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:1, pp:21-30 [Journal]
  13. Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
    Model Checking Multithreaded Programs by Means of Reduced Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:110, n:, pp:55-74 [Journal]
  14. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Logic Based Abstractions of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:17, n:3, pp:201-220 [Journal]
  15. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Reduced Models for Efficient CCS Verification. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:3, pp:319-350 [Journal]
  16. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
    A Notion of Non-Interference for Timed Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:1-11 [Journal]
  17. Nicoletta De Francesco, Antonella Santone, Luca Tesei
    Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:195-211 [Journal]
  18. Sara Gradara, Antonella Santone, Maria Luisa Villani
    Using heuristic search for finding deadlocks in concurrent systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:202, n:2, pp:191-226 [Journal]
  19. Nicoletta De Francesco, Antonella Santone
    A Formula-Driven Modular Attack on State Explosion. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2002, v:13, n:5, pp:719-731 [Journal]
  20. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Abstract Interpretation of Trace Semantics for Concurrent Calculi. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:70, n:2, pp:69-78 [Journal]
  21. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    A user-friendly interface to specify temporal properties of concurrent systems. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2007, v:177, n:1, pp:299-311 [Journal]
  22. Antonella Santone, Gigliola Vaglini
    Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:30, n:1, pp:33-58 [Journal]
  23. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1999, v:59, n:3, pp:537-556 [Journal]
  24. Antonella Santone, Gigliola Vaglini
    A local approach for temporal model checking of Java bytecode. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2005, v:70, n:2, pp:258-281 [Journal]
  25. Sara Gradara, Antonella Santone, Maria Luisa Villani
    DELFIN+: An efficient deadlock detection tool for CCS processes. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2006, v:72, n:8, pp:1397-1412 [Journal]
  26. Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
    Towards a Logical Semantics for Pure Prolog. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:32, n:1-3, pp:145-176 [Journal]
  27. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    State Space Reduction by Non-Standard Semantics for Deadlock Analysis. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:3, pp:309-338 [Journal]
  28. Antonella Santone, Gigliola Vaglini
    Compositionality and locality for improving model checking in the selective mu-calculus. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:54, n:2-3, pp:291-311 [Journal]
  29. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:12, pp:1123-1147 [Journal]
  30. Nicoletta De Francesco, Antonella Santone
    Syntactic reductions for efficient deadlock analysis. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:3, pp:173-186 [Journal]
  31. Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini
    Efficient model checking of properties of a distributed application: a multimedia case study. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:3-21 [Journal]
  32. Antonella Santone
    Heuristic Search + Local Model Checking in Selective mu-Calculus. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:6, pp:510-523 [Journal]
  33. Antonella Santone, Gigliola Vaglini
    Formula-based abstractions and symbolic execution for model checking programs. [Citation Graph (0, 0)][DBLP]
    Microprocessors and Microsystems, 2004, v:28, n:2, pp:69-76 [Journal]
  34. Sara Gradara, Antonella Santone, Maria Luisa Villani
    Formal Verification of Concurrent Systems via Directed Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:93-105 [Journal]
  35. Nicoletta De Francesco, Antonella Santone
    A tool supporting efficient model checking of concurrent specifications. [Citation Graph (0, 0)][DBLP]
    Microprocessors and Microsystems, 2002, v:25, n:9-10, pp:401-407 [Journal]
  36. Antonella Santone, Gigliola Vaglini
    Reusing LOTOS specifications. [Citation Graph (0, 0)][DBLP]
    Microprocessors and Microsystems, 2001, v:25, n:6, pp:309-314 [Journal]

  37. A Formula Driven Incremental Construction of Web Service Compositions. [Citation Graph (, )][DBLP]


  38. Discovery of SOA patterns via model checking. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002