| 2003 | SAC | Authenticity in a Reliable Protocol for Mobile Computing. | Nicoletta De Francesco, Marinella Petrocchi |
| 2002 | COMPSAC | Using Standard Verifier to Check Secure Information Flow in Java Bytecode. | Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri |
| 2002 | SAC | Checking security of Java bytecode by abstract interpretation. | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco |
| 2002 | SEKE | Fixing the Java bytecode verifier by a suitable type domain. | Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco |
| 2002 | VMCAI | Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. | Cinzia Bernardeschi, Nicoletta De Francesco |
| 2001 | ICECCS | Modelling Free Flight with Collision Avoidance. | Mieke Massink, Nicoletta De Francesco |
| 1999 | FM | Formula Based Abstractions of Transition Systems for Real-Time Model Checking. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1997 | FORTE | Selective -calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1995 | ICLP | Modeling OR-Parallel Execution of Prolog using CHOCS. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone |
| 1995 | TACAS | Model Checking of Non-Finite State Processes by Finite Approximations. | Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi |
| 1991 | CAV | A Semantic Driven Method to Check the Finiteness of CCS Processes. | Nicoletta De Francesco, Paola Inverardi |
| 1985 | ICSE | An Interactive Debugger for a Concurrent Language. | Nicoletta De Francesco, Diego Latella, Gigliola Vaglini |