The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nicoletta De Francesco: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini
    Shared Abstract Data Types: An Algebraic Methodology for Their Specification. [Citation Graph (1, 18)][DBLP]
    MFDBS, 1989, pp:53-67 [Conf]
  2. Nicoletta De Francesco, Gigliola Vaglini
    Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases. [Citation Graph (1, 0)][DBLP]
    Distributed and Parallel Databases, 1994, v:2, n:1, pp:33-58 [Journal]
  3. Nicoletta De Francesco, Paola Inverardi
    A Semantic Driven Method to Check the Finiteness of CCS Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:266-276 [Conf]
  4. 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]
  5. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Formula Based Abstractions of Transition Systems for Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:289-306 [Conf]
  6. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:519-534 [Conf]
  7. Mieke Massink, Nicoletta De Francesco
    Modelling Free Flight with Collision Avoidance. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:270-280 [Conf]
  8. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
    Modeling OR-Parallel Execution of Prolog using CHOCS. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:547-561 [Conf]
  9. Nicoletta De Francesco, Diego Latella, Gigliola Vaglini
    An Interactive Debugger for a Concurrent Language. [Citation Graph (0, 0)][DBLP]
    ICSE, 1985, pp:320-329 [Conf]
  10. Nicoletta De Francesco, Luca Martini
    Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2005, pp:63-80 [Conf]
  11. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    A Non-Standard Semantics for Generating Reduced Transition Systems. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:370-387 [Conf]
  12. Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini
    Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2003, pp:425-436 [Conf]
  13. Nicoletta De Francesco, Antonella Santone
    Unfold/Fold Transformations of Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:167-181 [Conf]
  14. Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz
    Specification of Concurrency Control in Persistent Programming Languages. [Citation Graph (0, 0)][DBLP]
    POS, 1992, pp:126-143 [Conf]
  15. Nicoletta De Francesco, Ugo Montanari, Gioia Ristori
    Modelling Concurrent Accesses to Shared Data via Petri Nets. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:403-422 [Conf]
  16. Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
    Checking security of Java bytecode by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:229-236 [Conf]
  17. Nicoletta De Francesco, Marinella Petrocchi
    Authenticity in a Reliable Protocol for Mobile Computing. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:318-324 [Conf]
  18. Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco
    Fixing the Java bytecode verifier by a suitable type domain. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:377-382 [Conf]
  19. Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
    Model Checking of Non-Finite State Processes by Finite Approximations. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:195-215 [Conf]
  20. Cinzia Bernardeschi, Nicoletta De Francesco
    Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:1-15 [Conf]
  21. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
    Algebraic Computational Models of OR-Parallel Execution of Prolog. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1997, v:34, n:6, pp:449-489 [Journal]
  22. Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini
    A Petri Nets Semantics for Data Flow Networks [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:4, pp:347-374 [Journal]
  23. Nicoletta De Francesco, Paola Inverardi
    Proving Finiteness of CCS Processes by Non-Standard Semantics. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1994, v:31, n:1, pp:55-80 [Journal]
  24. Nicoletta De Francesco, Antonella Santone
    A Transformation System for Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:12, pp:1037-1073 [Journal]
  25. Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
    Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2004, v:47, n:1, pp:25-45 [Journal]
  26. Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone
    Efficient Verification of a Multicast Protocol for Mobile Computing. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:1, pp:21-30 [Journal]
  27. Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
    Finite Approximations for Model Checking Non-finite-state Processes. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:2, pp:109-123 [Journal]
  28. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Logic Based Abstractions of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:17, n:3, pp:201-220 [Journal]
  29. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Reduced Models for Efficient CCS Verification. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:3, pp:319-350 [Journal]
  30. 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]
  31. Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
    Timed Automata with non-Instantaneous Actions. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:47, n:3-4, pp:189-200 [Journal]
  32. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
    A Notion of Non-Interference for Timed Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:1-11 [Journal]
  33. Nicoletta De Francesco, Antonella Santone, Luca Tesei
    Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:195-211 [Journal]
  34. Nicoletta De Francesco, Antonella Santone
    A Formula-Driven Modular Attack on State Explosion. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2002, v:13, n:5, pp:719-731 [Journal]
  35. Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini
    An approach to system design based on P/T net simulation. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2001, v:43, n:10, pp:591-605 [Journal]
  36. Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
    Abstract interpretation of operational semantics for secure information flow. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:83, n:2, pp:101-108 [Journal]
  37. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Abstract Interpretation of Trace Semantics for Concurrent Calculi. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:70, n:2, pp:69-78 [Journal]
  38. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    A user-friendly interface to specify temporal properties of concurrent systems. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2007, v:177, n:1, pp:299-311 [Journal]
  39. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1999, v:59, n:3, pp:537-556 [Journal]
  40. Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco
    Towards innovative software engineering environments. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1991, v:14, n:1, pp:17-29 [Journal]
  41. Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
    Towards a Logical Semantics for Pure Prolog. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:32, n:1-3, pp:145-176 [Journal]
  42. Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich
    Axiomatizing CCS, Nets and Processes. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:21, n:3, pp:225-261 [Journal]
  43. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    State Space Reduction by Non-Standard Semantics for Deadlock Analysis. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:3, pp:309-338 [Journal]
  44. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:12, pp:1123-1147 [Journal]
  45. 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]
  46. 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]
  47. Nicoletta De Francesco, Antonella Santone
    Syntactic reductions for efficient deadlock analysis. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:3, pp:173-186 [Journal]
  48. Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini
    Development of a Debugger for a Concurrent Language. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:4, pp:547-553 [Journal]
  49. Nicoletta De Francesco, Gigliola Vaglini
    Description of a Tool for Specifying and Prototyping Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:11, pp:1554-1564 [Journal]
  50. 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]
  51. Nicoletta De Francesco, Luca Martini
    Instruction-level security analysis for information flow in stack-based assembly languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:9, pp:1334-1370 [Journal]
  52. Nicoletta De Francesco, Luca Martini
    Instruction-level security typing by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2007, v:6, n:2-3, pp:85-106 [Journal]
  53. Nicoletta De Francesco, Antonella Santone
    A tool supporting efficient model checking of concurrent specifications. [Citation Graph (0, 0)][DBLP]
    Microprocessors and Microsystems, 2002, v:25, n:9-10, pp:401-407 [Journal]

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


Search in 0.007secs, Finished in 0.009secs
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