The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giuseppe Lettieri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
    Recoverable-Persistence in a Distributed Single Address Space. [Citation Graph (0, 0)][DBLP]
    Applied Informatics, 1999, pp:477-480 [Conf]
  2. Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
    Using Standard Verifier to Check Secure Information Flow in Java Bytecode. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:850-855 [Conf]
  3. Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
    Implementing a Distributed Single Address Space in the Presence of Failures. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:355-361 [Conf]
  4. Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
    An Overview of Ulisse, a Distributed Single Address Space System. [Citation Graph (0, 0)][DBLP]
    POS, 2000, pp:215-227 [Conf]
  5. Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
    Using Control Dependencies for Space-Aware Bytecode Verification. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2006, v:49, n:2, pp:234-248 [Journal]
  6. Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
    Caching and prefetching algorithms for programs with looping reference patterns. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2006, v:49, n:1, pp:42-61 [Journal]
  7. Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
    A Space-Aware Bytecode Verifier for Java Cards. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:237-254 [Journal]
  8. Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
    Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:81-98 [Journal]
  9. Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
    Using postdomination to reduce space requirements of data flow analysis. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:98, n:1, pp:11-18 [Journal]
  10. Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
    Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2004, v:34, n:13, pp:1225-1255 [Journal]
  11. Nicoletta De Francesco, Giuseppe Lettieri
    Checking security properties by model checking. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:181-196 [Journal]
  12. Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
    An abstract semantics tool for secure information flow of stack-based assembly programs. [Citation Graph (0, 0)][DBLP]
    Microprocessors and Microsystems, 2002, v:26, n:8, pp:391-398 [Journal]

  13. Celer: an Efficient Program for Genotype Elimination [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.021secs
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