The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sabina Rossi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
    Automated Behavioural Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:189-200 [Conf]
  2. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
    An Abstract Interpretation Framework for (almost) Full Prolog. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:92-106 [Conf]
  3. Gilberto Filé, Sabina Rossi
    Static Analysis of Prolog with Cut. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:325-340 [Conf]
  4. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Transforming Processes to Check and Ensure Information Flow Security. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:271-286 [Conf]
  5. Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
    Automated Verification of Behavioural Properties of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1997, pp:225-238 [Conf]
  6. Silvia Crafa, Sabina Rossi
    P-congruences as non-interference for the pi-calculus. [Citation Graph (0, 0)][DBLP]
    FMSE, 2006, pp:13-22 [Conf]
  7. Annalisa Bossi, Sandro Etalle, Sabina Rossi
    Semantics of Input-Consuming Logic Programs. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:194-208 [Conf]
  8. Riccardo Focardi, Sabina Rossi
    Information Flow Security in Dynamic Contexts. [Citation Graph (0, 0)][DBLP]
    CSFW, 2002, pp:307-319 [Conf]
  9. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
    Secure Contexts for Confidential Data. [Citation Graph (0, 0)][DBLP]
    CSFW, 2003, pp:14-28 [Conf]
  10. Annalisa Bossi, Carla Piazza, Sabina Rossi
    Modelling Downgrading in Information Flow Security. [Citation Graph (0, 0)][DBLP]
    CSFW, 2004, pp:187-0 [Conf]
  11. Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
    Reexecution-Based Analysis of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:395-405 [Conf]
  12. Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
    Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:402-416 [Conf]
  13. Michele Bugliesi, Ambra Ceccato, Sabina Rossi
    Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    FCT, 2003, pp:364-375 [Conf]
  14. Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
    Bridging Language-Based and Process Calculi Security. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:299-315 [Conf]
  15. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
    Information Flow Security and Recursive Systems. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:369-382 [Conf]
  16. Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
    Specification-Based Automatic Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:38-57 [Conf]
  17. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
    Declarative Semantics of Input Consuming Logic Programs. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:90-114 [Conf]
  18. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    A Proof System for Information Flow Security. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:199-218 [Conf]
  19. Annalisa Bossi, Carla Piazza, Sabina Rossi
    Unwinding Conditions for Security in Imperative Languages. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:85-100 [Conf]
  20. Annalisa Bossi, Sabina Rossi
    Specialising Logic Programs with Respect to Call?Post Specifications. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:159-178 [Conf]
  21. Gilberto Filé, Sabina Rossi
    Static Analysis of Prolog with Cut. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:134-145 [Conf]
  22. Baudouin Le Charlier, Sabina Rossi
    Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. [Citation Graph (0, 0)][DBLP]
    LPE, 1995, pp:- [Conf]
  23. Annalisa Bossi, Nicoletta Cocco, Sabina Rossi
    Termination of Well-Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:73-81 [Conf]
  24. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Refinement Operators and Information Flow Security. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:44-53 [Conf]
  25. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
    An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:157-171 [Conf]
  26. Carla Piazza, Enrico Pivato, Sabina Rossi
    CoPS - Checker of Persistent Security. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:144-152 [Conf]
  27. Silvia Crafa, Sabina Rossi
    A Theory of Noninterference for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:2-18 [Conf]
  28. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Bisimulation and Unwinding for Verifying Possibilistic Security Properties. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:223-237 [Conf]
  29. Riccardo Focardi, Carla Piazza, Sabina Rossi
    Proofs Methods for Bisimulation Based Information Flow Security. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:16-31 [Conf]
  30. Annalisa Bossi, Sandro Etalle, Sabina Rossi
    Semantics of well-moded input-consuming logic programs. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2000, v:26, n:1, pp:1-25 [Journal]
  31. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Verifying persistent security properties. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:231-258 [Journal]
  32. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
    On Modular Termination Proofs of General Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  33. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
    Sequence-Based Abstract Interpretation of Prolog [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  34. Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
    Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  35. Annalisa Bossi, Sandro Etalle, Sabina Rossi
    Properties of Input-Consuming Derivations [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  36. Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi
    Unwinding in Information Flow Security. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:127-154 [Journal]
  37. Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier
    Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  38. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
    Information flow in secure contexts. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:3, pp:391-422 [Journal]
  39. Michele Bugliesi, Sabina Rossi
    Non-interference proof techniques for the analysis of cryptographic protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:87-113 [Journal]
  40. Riccardo Focardi, Sabina Rossi
    Information flow security in dynamic contexts. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2006, v:14, n:1, pp:65-110 [Journal]
  41. Annalisa Bossi, Carla Piazza, Sabina Rossi
    Compositional information flow security for concurrent programs. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2007, v:15, n:3, pp:373-416 [Journal]
  42. Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
    Automated Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:39, n:1-3, pp:3-42 [Journal]
  43. Annalisa Bossi, Sandro Etalle, Sabina Rossi
    Properties of Input-Consuming Derivations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal]
  44. Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
    Termination of simply moded logic programs with dynamic scheduling. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:3, pp:470-507 [Journal]
  45. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
    On modular termination proofs of general logic programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:3, pp:263-291 [Journal]
  46. Annalisa Bossi, Sandro Etalle, Sabina Rossi
    Properties of input-consuming derivations. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:2, pp:125-154 [Journal]
  47. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
    Sequence-based abstract interpretation of Prolog. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:1, pp:25-84 [Journal]
  48. Michele Bugliesi, Damiano Macedonio, Sabina Rossi
    Static vs Dynamic Typing for Access Control in Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2007, pp:282-296 [Conf]
  49. Silvia Crafa, Sabina Rossi
    Controlling information release in the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1235-1273 [Journal]

  50. PicNIc - Pi-calculus non-interference checker. [Citation Graph (, )][DBLP]


  51. Action Refinement in Process Algebra and Security Issues. [Citation Graph (, )][DBLP]


  52. Compliance Preorders for Web Services. [Citation Graph (, )][DBLP]


  53. A Theory of Adaptable Contract-Based Service Composition. [Citation Graph (, )][DBLP]


  54. Information flow security for service compositions. [Citation Graph (, )][DBLP]


Search in 0.012secs, Finished in 0.014secs
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