dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Nicoletta De Francesco (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Efficient Genotype Elimination via Adaptive Allele Consolidation. IEEE/ACM Trans. Comput. Biology Bioinform. 9(4): 1180-1189 (2012)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Celer: an Efficient Program for Genotype Elimination AMCA-POP 2010: 56-70
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini: Partial model checking via abstract interpretation. Inf. Process. Lett. 110(3): 99-103 (2010)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Using abstract interpretation to add type checking for interfaces in Java bytecode verification. Theor. Comput. Sci. 411(22-24): 2174-2201 (2010)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci: Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1): (2008)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundam. Inform. 60(1-4): 81-98 (2004)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. Softw., Pract. Exper. 34(13): 1225-1255 (2004)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Giuseppe Lettieri: Checking security properties by model checking. Softw. Test., Verif. Reliab. 13(3): 181-196 (2003)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC 2002: 850-855
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: An abstract semantics tool for secure information flow of stack-based assembly programs. Microprocessors and Microsystems 26(8): 391-398 (2002)

Selection of 10 from 59 records - Nicoletta De Francesco has 27 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page