Homepage Anagrafe della Ricerca

• Consultazione dati

  • per struttura
  • per settore
  • per autore
  • per parola
  • per più criteri

• Link correlati

  • Unimap

• Funzioni

  • Stampa pagina

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

  1. 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
  2. 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
  3. 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
  4. 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
  5. N. De Francesco, A. Santone,A Transformation System for Concurrent Processes, ACTA INFORMATICA,num. 35,pp 1037,tot.pag 34,1998
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. [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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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

  1. A. Bechini, N. De Francesco,Complessità e Calcolabilità,tot.pag. 0,edizione Centro Stampa Ingegneria Pisa,2000
• 
  

  Articolo in atti di congresso

  1. 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
  2. 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
  3. 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
  4. 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
  5. R. Barbuti, N. De Francesco, L. Tesei,Timed Automata with non-Instataneous Actions, Concurrency, Specification & Programming, pp 17, Berlino,vol. 1,2000
  6. 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

  1. 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
  2. [B22] N. De Francesco, M. Massink,Modeling Free Flight with Collision Avoidance, ICECCS 2001, pp 270-279, Skovde, Swden,vol. 1,2001
  3. 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
  4. R. Barbuti, C. Bernardeschi, N. De Francesco,Checking Security of Java Bytecode by Abstract Interpretation, SAC2002, pp 229, Madrid,vol. 1,2002
  5. 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
  6. 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
  7. 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
  8. N. De Francesco, M. Petrocchi,Authenticity in a Reliable Protocol for Mobile, ACM SAC'03, pp 12-18, Melbourne (Florida),vol. 1,2003
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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

  1. R. Barbuti, N. De Francesco, A. Santone, G. Vaglini,Constructing Reduced Models for Temporal Properties Verification, Universita' di Pisa,1998