Person: Nicoletta De Francesco

DBLP: Francesco:Nicoletta_De

Contributed to:

2003

2002

2002

2002

1999

1996

1995

1995

1991

1985

Wrote 10 papers:

SAC-2003-FrancescoP #authentication #mobile #protocol #reliability

Authenticity in a Reliable Protocol for Mobile Computing (NDF, MP), pp. 318–324.

SAC-2002-BarbutiBF #abstract interpretation #bytecode #java #security

Checking security of Java bytecode by abstract interpretation (RB, CB, NDF), pp. 229–236.

SEKE-2002-BarbutiTBF #bytecode #java #verification

Fixing the Java bytecode verifier by a suitable type domain (RB, LT, CB, NDF), pp. 377–382.

VMCAI-2002-BernardeschiF #abstract interpretation #bytecode #java #model checking #security

Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode (CB, NDF), pp. 1–15.

FM-v1-1999-BarbutiFSV #abstraction #model checking #realtime

Formula Based Abstractions of Transition Systems for Real-Time Model Checking (RB, NDF, AS, GV), pp. 289–306.

PLILP-1996-FrancescoS #concurrent #process

Unfold/Fold Transformations of Concurrent Processes (NDF, AS), pp. 167–181.

ICLP-1995-BarbutiFS #execution #modelling #prolog #using

Modeling OR-Parallel Execution of Prolog using CHOCS (RB, NDF, AS), pp. 547–561.

TACAS-1995-FrancescoFGI #approximate #finite #model checking #process

Model Checking of Non-Finite State Processes by Finite Approximations (NDF, AF, SG, PI), pp. 195–215.

CAV-1991-FrancescoI #process #semantics

A Semantic Driven Method to Check the Finiteness of CCS Processes (NDF, PI), pp. 266–276.

ICSE-1985-FrancescoLV #concurrent #debugging #interactive

An Interactive Debugger for a Concurrent Language (NDF, DL, GV), pp. 320–329.