Autore
NICOLETTA DE FRANCESCO
Unimap Dati autore
- Professore Ordinario presso Dipartimento di Ingegneria dell' Informazione: Elettronica, Informatica, Telecomunicazioni
- Membro della Facolta' di Ingegneria
- Settore scientifico disciplinare ING-INF/05 SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
- In servizio
Prodotti
- lista concisa
- lista espansa
- tipo
- anno
Articolo in rivista
- R. Barbuti, N. De Francesco, A. Santone,Algebraic Computational Models of OR-parallel Execution of Prolog, ACTA INFORMATICA,vol. 34,pp 449,tot.pag 41,1997
- C. Bernardeschi, N. De Francesco, G. Vaglini,A Partial Order Semantics for FIFO-nets, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,vol. E81-D,num. 8,pp 773,tot.pag 10,1998
- R. Barbuti, N. De Francesco, P. Mancarella, A. Santone.,Towards a Logical Semantics for Prolog, SCIENCE OF COMPUTER PROGRAMMING,vol. 32,pp 145,tot.pag 32,1998
- N. De Francesco, A. Santone G. Vaglini,State Space Reduction by Non-standard Semantics for Deadlock Analysis, SCIENCE OF COMPUTER PROGRAMMING,vol. 30,pp 309,tot.pag 30,1998
- N. De Francesco, A. Santone,A Transformation System for Concurrent Processes, ACTA INFORMATICA,num. 35,pp 1037,tot.pag 34,1998
- R. Barbuti, N. De Francesco, A. Santone, G. Vaglini,LORETO: a tool for reducing state explosion in verification of Lotos programs, SOFTWARE-PRACTICE & EXPERIENCE,vol. 29,pp 1123,tot.pag 25,1999
- R. Barbuti, N. De Francesco, A. Santone, G. Vaglini,Abstract Interpretation of Trace Semantics for Concurrent Calculi, INFORMATION PROCESSING LETTERS,vol. 70,pp 69,tot.pag 10,1999
- R. Barbuti, N. De Francesco, A. Santone, G. Vaglini,Selective mu-calculus and Formula-based Equivalence of Transition Systems, JOURNAL OF COMPUTER AND SYSTEM SCIENCES,vol. 59,pp 537,tot.pag 20,1999
- R. Barbuti, N. De Francesco, A. Santone, G. Vaglini,Logic Based Abstractions of Real-time Systems, FORMAL METHODS IN SYSTEM DESIGN,vol. 17,num. 3,pp 201,tot.pag 20,2000
- N. De Francesco, A. Fantechi, S. Gnesi, P. Inverardi,Finite Approximations for Model Checking Non-finite-state Processes, COMPUTER JOURNAL,vol. 44,num. 2,pp 109-123,tot.pag 15,2001
- R. Barbuti, N. De Francesco, L. Tesei,Timed Automata with non-Instantaneous Actions, FUNDAMENTA INFORMATICAE,vol. 47,num. 1,pp 1-11,tot.pag 12,2001
- G. Anastasi, A. Bartoli, N. De Francesco, A. Santone,Efficient Verification of a Multicast Protocol for Mobile Computing, COMPUTER JOURNAL,vol. 44,num. 1,pp 21-30,tot.pag 10,2001
- C. Bernardeschi, N. De Francesco, G. Vaglini,An approach to system design based on P/T net simulation., INFORMATION AND SOFTWARE TECHNOLOGY,vol. 43,num. 10,pp 591,tot.pag 15,2001
- N. De Francesco, A. Santone,A formula-driven modular attack on state explosion, International Journal of Foundations of Computer Science,vol. 13,num. 5,pp 719-731,tot.pag 13,2002
- R. Barbuti, N. De Francesco, A. Santone, L. Tesei,A Notion of Non-Interference for Timed Automata, Fundamenta Informaticae,vol. 51,num. 2,pp 1-11,tot.pag 11,2002
- N. De Francesco, A. Santone,Syntactic Reductions for Efficient Deadlock Analysis, Software Testing, Verification and Reliability,vol. 12,pp 1-14,tot.pag 14,2002
- R. Barbuti, C. Bernardeschi, N. De Francesco,Abstract interpretation of operational semantics for secure information flow, INFORMATION PROCESSING LETTERS,vol. 83,num. 2,pp 101-108,tot.pag 8,2002
- [A24] N. De Francesco, A. Santone,A Tool Supporting Efficient Model Checking of Concurrent Specifications, MICROPROCESSORS AND MICROSYSTEMS,vol. 25,num. 9-10,pp 401-407,tot.pag 7,2002
- C. Bernardeschi, N. De Francesco, G. Lettieri,An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs, MICROPROCESSORS AND MICROSYSTEMS,vol. 26,num. 8,pp 391-398,tot.pag 8,2002
- N. De Francesco, A. Santone, L. Tesei,Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems, FUNDAMENTA INFORMATICAE,vol. 54,num. 2-3,pp 195-211,tot.pag 17,2003
- N. De Francesco, G. Lettieri,Checking Security Properties by Model Checking, Software Testing, Verification and Reliability,vol. 13,num. 3,pp 181-196,tot.pag 16,2003
- M. Avvenuti, C. Bernardeschi, N. De Francesco,Java bytecode verification for secure information flow, ACM SIGPLAN NOTICES,vol. 38,num. 12,pp 20-27,tot.pag 8,2003
- C. Bernardeschi, N. De Francesco, G. Lettieri,Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs, FUNDAMENTA INFORMATICAE,vol. 60,num. 1-4,pp 81-98,tot.pag 18,2004
- R. Barbuti, C. Bernardeschi, N. De Francesco,Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation, COMPUTER JOURNAL,vol. 47,num. 1,pp 25-45,tot.pag 21,2004
- C. Bernardeschi, N. De Francesco, G. Lettieri, L. Martini,blank Checking secure information flow in Java bytecode by code transformation and standard bytecode verification, SOFTWARE-PRACTICE & EXPERIENCE,vol. 34,num. 13,pp 1225-1255,tot.pag 30,2004
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini,Reduced Models for Efficient CCS Verification. Formal Methods in System Design, Formal Aspects of Computing,vol. 26,num. 3,pp 319-350,tot.pag 31,2005
- DE FRANCESCO NICOLETTA, MARTINI LUCA,Instruction-level security analysis for information flow in stack-based assembly languages, INFORMATION AND COMPUTATION,vol. 2051,pp 1334,tot.pag 1370,2007
- N. De Francesco, A. Santone, G. Vaglini,A user-friendly interface to specify temporal properties of concurrent systems, INFORMATION SCIENCES,vol. 177,num. 1,pp 299-311,tot.pag 12,2007
- Nicoletta De Francesco, Luca Martini,Instruction-level security typing by abstract interpretation, International Journal of Information Security,vol. 6,num. 2,pp 85-106,tot.pag 21,2007
- BERNARDESCHI CINZIA, DE FRANCESCO NICOLETTA, LETTIERI GIUSEPPE, MARTINI LUCA, MASCI PAOLO, MANUEL,Decomposing bytecode verification by abstract interpretation, A C M TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,vol. 31/1,pp 3:1,tot.pag 63,tot. autori 5,2008
- DE FRANCESCO NICOLETTA, LETTIERI GIUSEPPE, MARTINI LUCA,Using Abstract Interpretation to add type checking for interfaces in Java Bytecode Verification, THEORETICAL COMPUTER SCIENCE,vol. 411,pp 2174,tot.pag 28,tot. autori 3,2010
- DE FRANCESCO NICOLETTA, LETTIERI GIUSEPPE, MARTINI LUCA, VAGLINI GIGLIOLA,Partial model checking via abstract interpretation, INFORMATION PROCESSING LETTERS,vol. 110/3,pp 99,tot.pag 5,tot. autori 4,2010
- BARBUTI ROBERTO, DE FRANCESCO NICOLETTA, Tesei Luca,An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier, THE COMPUTER JOURNAL,vol. 17,pp 679,tot.pag 22,tot. autori 3,2010
- DE FRANCESCO NICOLETTA, LETTIERI GIUSEPPE, Martini Luca,Efficient Genotype Elimination via Adaptive Allele Consolidation, IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS,pp 1180,tot.pag 10,tot. autori 3,2012
-
Manuale
- A. Bechini, N. De Francesco,Complessitą e Calcolabilitą,tot.pag. 0,edizione Centro Stampa Ingegneria Pisa,2000
-
Articolo in atti di congresso
- N. De Francesco, A. Santone,Unfold/Fold Transformations of Concurrent Processes, International Symposium on Programming Languages Implementations, Logics and Programs (PLILP), pp 167, Germania,vol. 1192,1996
- N. De Francesco, A. Santone, G. Vaglini,A Non-Standard Semantics for Generating Reduced Transition Systems, Workshop on Analysis and Verification of Multiple-Agent Languages (LOMAPS), pp 370, Svezia,vol. 1192,1996
- R. Barbuti, N. De Francesco, A. Santone, G. Vaglini,Selective mu-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems, Joint International Conference on Formal Description Techniques, pp 519,vol. 1,1997
- R. Barbuti, N. De Francesco, A. Santone, G. Vaglini,Formula Based Abstractions of Transition Systems for Real-time Model Checking, World Congress on Formal Methods (FM), pp 289, Francia,vol. 1708,1999
- R. Barbuti, N. De Francesco, L. Tesei,Timed Automata with non-Instataneous Actions, Concurrency, Specification & Programming, pp 17, Berlino,vol. 1,2000
- R. Barbuti, N. De Francesco, A. Santone, L. Tesei,A Notion of Non-Interference for Timed Automata, Workshop on Concurrency Specification and Programming 2001, pp 6-15, Varsavia,vol. 1,2001
-
Atto di convegno internazionale con revisori articolo in extenso
- V. Carchiolo, N. De Francesco, A. Fantechi, G. Mangione,ESA: an approach to Systems Design by Equation Solving, Formal methods in industrial crirical systems FMICS'2001, pp 115-129, Parigi,vol. 1,2001
- [B22] N. De Francesco, M. Massink,Modeling Free Flight with Collision Avoidance, ICECCS 2001, pp 270-279, Skovde, Swden,vol. 1,2001
- R. Barbuti, L. Tesei, C. Bernardeschi, N. De Francesco,Fixing the Java Bytecode Verifier by a Suitable Type Domain, SEKE'02, pp 377-382, Ischia,vol. 1,2002
- R. Barbuti, C. Bernardeschi, N. De Francesco,Checking Security of Java Bytecode by Abstract Interpretation, SAC2002, pp 229, Madrid,vol. 1,2002
- N. De Francesco, A. Santone,Checking Secure Information Flow in Concurrent languages by Abstract Interpretation plus Model Checking, Concurrency Specification & Programming, pp 105-116, Berlino,vol. 1,2002
- C. Bernardecshi, N. De Francesco,Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode, VMCAI 2002, pp 2294, Venezia,vol. 1,2002
- C. Bernardeschi, N. De Francesco, G. Lettieri,Using Standard Verifier to Check Secure Information Flow in Java Bytecode, COMPSAC 2002, pp 850, Oxford,vol. 1,2002
- N. De Francesco, M. Petrocchi,Authenticity in a Reliable Protocol for Mobile, ACM SAC'03, pp 12-18, Melbourne (Florida),vol. 1,2003
- C. Bernardeschi, N. De Francesco, L. Martini,Efficient Bytecode Verification using Immediate Postdominators in Control Flow Graphs, Workshop on Java Technologies for Real Time and Embedded Systems, pp 425-436, Catania,vol. 2889,2003
- C. Bernardeschi, N. De Francesco, G. Lettieri,Concrete and Abstract Semantics to check Information Flow in Concurrent programs, Concurrency Specification and Programming CS&P'2003, pp 79-91, Czarna (polonia),vol. 1,2003
- De Francesco Nicoletta, Martini Luca,Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations, FAST05, pp 63-80, Newcastle upon Tyne, UK,vol. 1,2005
- AVVENUTI MARCO, BERNARDESCHI CINZIA, DE FRANCESCO NICOLETTA, Masci Paolo manuel,A tool for checking secure interaction in Java Cards, 12th European Workshop on Dependable Computing (EWDC 2009), pp 1-8, Toulouse, France,2009
- DE FRANCESCO NICOLETTA, LETTIERI GIUSEPPE, Martini Luca,Celer: an Efficient Program for Genotype Elimination, Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology, pp 56-70, Jena,vol. 33, tot. autori 3,2010
-
Rapporto finale di ricerca pubblicato
- R. Barbuti, N. De Francesco, A. Santone, G. Vaglini,Constructing Reduced Models for Temporal Properties Verification, Universita' di Pisa,1998