CINECA IRIS Institutional Research Information System

DE FRANCESCO, NICOLETTA Statistiche

DE FRANCESCO, NICOLETTA  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 80 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
Model checking for malicious family detection and phylogenetic analysis in mobile environment 1-gen-2020 Cimino, M. G. C. A.; De Francesco, N.; Mercaldo, F.; Santone, A.; Vaglini, G.
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 1-gen-2018 Alfeo, Antonio L.; Cimino, Mario G. C. A.; DE FRANCESCO, Nicoletta; Lega, Massimiliano; Vaglini, Gigliola
Swarm coordination of mini-UAVs for target search using imperfect sensors 1-gen-2018 Alfeo, Antonio L.; Cimino, Mario G. C. A.; De Francesco, Nicoletta; Lazzeri, Alessandro; Lega, Massimiliano; Vaglini, Gigliola
Heuristic search for equivalence checking 1-gen-2016 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Santone, Antonella; Vaglini, Gigliola
GreASE: A Tool for Efficient "Nonequivalence" Checking 1-gen-2014 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Santone, Antonella; Vaglini, Gigliola
Checking Safety Proprieties through Simulation and Heuristic Search 1-gen-2013 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Santone, A; Vaglini, Gigliola
Efficient Genotype Elimination via Adaptive Allele Consolidation 1-gen-2012 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L.
JCSI: A Tool for Checking Secure Information Flow in Java Card Applications 1-gen-2012 Avvenuti, Marco; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Masci, P.
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 1-gen-2010 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Tesei, L.
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 1-gen-2010 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L.
Partial model checking via abstract interpretation 1-gen-2010 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L; Vaglini, Gigliola
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 1-gen-2010 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L.
A Tool for Checking Secure Interaction in Java Cards 1-gen-2009 Avvenuti, Marco; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Masci, P.
Decomposing Bytecode Verification by Abstract Interpretation 1-gen-2008 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
A user-friendly interface to specify temporal properties of concurrent systems 1-gen-2007 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Instruction-level security analysis for information flow in stack-based assembly languages 1-gen-2007 DE FRANCESCO, Nicoletta; Martini, L.
Instruction-level security typing by abstract interpretation 1-gen-2007 DE FRANCESCO, Nicoletta; Martini, L.
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations 1-gen-2005 DE FRANCESCO, Nicoletta; Martini, Luca
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 1-gen-2005 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 1-gen-2004 Barbuti, Roberto; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta