Development of a debugger for a concurrent language. - Fabrizio Baiardi; Nicoletta De Francesco; E. Matteoli; S. Stefanini; Gigliola Vaglini (SIGSOFT, 1983)

An Interactive Debugger for a Concurrent Language. - Nicoletta De Francesco; Diego Latella; Gigliola Vaglini (ICSE, 1985)

Development of a Debugger for a Concurrent Language. - Fabrizio Baiardi; Nicoletta De Francesco; Gigliola Vaglini (IEEE Trans. Software Eng., 1986)

Description of a Tool for Specifying and Prototyping Concurrent Programs. - Nicoletta De Francesco; Gigliola Vaglini (IEEE Trans. Software Eng., 1988)

Shared Abstract Data Types: An Algebraic Methodology for Their Specification. - Andrea Bondavalli; Nicoletta De Francesco; Diego Latella; Gigliola Vaglini (MFDBS, 1989)

A Semantic Driven Method to Check the Finiteness of CCS Processes. - Nicoletta De Francesco; Paola Inverardi (CAV, 1991)

Towards innovative software engineering environments. - Vincenzo Ambriola; Paolo Ciancarini; Andrea Corradini 001; Nicoletta De Francesco (J. Syst. Softw., 1991)

Specification of Concurrency Control in Persistent Programming Languages. - Nicoletta De Francesco; Gigliola Vaglini; Luigi V. Mancini; A. Pereira Paz (POS, 1992)

Axiomatizing CCS, Nets and Processes. - Nicoletta De Francesco; Ugo Montanari; Daniel Yankelevich (Sci. Comput. Program., 1993)

Modelling Concurrent Accesses to Shared Data via Petri Nets. - Nicoletta De Francesco; Ugo Montanari; Gioia Ristori (PROCOMET, 1994)

Proving Finiteness of CCS Processes by Non-Standard Semantics. - Nicoletta De Francesco; Paola Inverardi (Acta Informatica, 1994)

Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases. - Nicoletta De Francesco; Gigliola Vaglini (Distributed Parallel Databases, 1994)

Modeling OR-Parallel Execution of Prolog using CHOCS. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone (ICLP, 1995)

Model Checking of Non-Finite State Processes by Finite Approximations. - Nicoletta De Francesco; Alessandro Fantechi; Stefania Gnesi; Paola Inverardi (TACAS, 1995)

A Petri Nets Semantics for Data Flow Networks. - Cinzia Bernardeschi; Nicoletta De Francesco; Gigliola Vaglini (Acta Informatica, 1995)

A Non-Standard Semantics for Generating Reduced Transition Systems. - Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini (LOMAPS, 1996)

Unfold/Fold Transformations of Concurrent Processes. - Nicoletta De Francesco; Antonella Santone (PLILP, 1996)

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini (FORTE, 1997)

Algebraic Computational Models of OR-Parallel Execution of Prolog. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone (Acta Informatica, 1997)

A Transformation System for Concurrent Processes. - Nicoletta De Francesco; Antonella Santone (Acta Informatica, 1998)

Towards a Logical Semantics for Pure Prolog. - Roberto Barbuti; Nicoletta De Francesco; Paolo Mancarella; Antonella Santone (Sci. Comput. Program., 1998)

State Space Reduction by Non-Standard Semantics for Deadlock Analysis. - Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini (Sci. Comput. Program., 1998)

Formula Based Abstractions of Transition Systems for Real-Time Model Checking. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini (World Congress on Formal Methods, 1999)

Abstract Interpretation of Trace Semantics for Concurrent Calculi. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini (Inf. Process. Lett., 1999)

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini (J. Comput. Syst. Sci., 1999)

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini (Softw. Pract. Exp., 1999)

Logic Based Abstractions of Real-Time Systems. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini (Formal Methods Syst. Des., 2000)

Modelling Free Flight with Collision Avoidance. - Mieke Massink; Nicoletta De Francesco (ICECCS, 2001)

Efficient Verification of a Multicast Protocol for Mobile Computing. - Giuseppe Anastasi; Alberto Bartoli; Nicoletta De Francesco; Antonella Santone (Comput. J., 2001)

Finite Approximations for Model Checking Non-finite-state Processes. - Nicoletta De Francesco; Alessandro Fantechi; Stefania Gnesi; Paola Inverardi (Comput. J., 2001)

Timed Automata with non-Instantaneous Actions. - Roberto Barbuti; Nicoletta De Francesco; Luca Tesei (Fundam. Informaticae, 2001)

An approach to system design based on P/T net simulation. - Cinzia Bernardeschi; Nicoletta De Francesco; Gigliola Vaglini (Inf. Softw. Technol., 2001)

Using Standard Verifier to Check Secure Information Flow in Java Bytecode. - Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri (COMPSAC, 2002)

Checking security of Java bytecode by abstract interpretation. - Roberto Barbuti; Cinzia Bernardeschi; Nicoletta De Francesco (SAC, 2002)

Fixing the Java bytecode verifier by a suitable type domain. - Roberto Barbuti; Luca Tesei; Cinzia Bernardeschi; Nicoletta De Francesco (SEKE, 2002)

Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. - Cinzia Bernardeschi; Nicoletta De Francesco (VMCAI, 2002)

A Notion of Non-Interference for Timed Automata. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Luca Tesei (Fundam. Informaticae, 2002)

A Formula-Driven Modular Attack on State Explosion. - Nicoletta De Francesco; Antonella Santone (Int. J. Found. Comput. Sci., 2002)

Abstract interpretation of operational semantics for secure information flow. - Roberto Barbuti; Cinzia Bernardeschi; Nicoletta De Francesco (Inf. Process. Lett., 2002)

An abstract semantics tool for secure information flow of stack-based assembly programs. - Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri (Microprocess. Microsystems, 2002)

A tool supporting efficient model checking of concurrent specifications. - Nicoletta De Francesco; Antonella Santone (Microprocess. Microsystems, 2002)

Syntactic reductions for efficient deadlock analysis. - Nicoletta De Francesco; Antonella Santone (Softw. Test. Verification Reliab., 2002)

Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. - Cinzia Bernardeschi; Nicoletta De Francesco; Luca Martini (OTM Workshops, 2003)

Authenticity in a Reliable Protocol for Mobile Computing. - Nicoletta De Francesco; Marinella Petrocchi (SAC, 2003)

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. - Nicoletta De Francesco; Antonella Santone; Luca Tesei (Fundam. Informaticae, 2003)

Java bytecode verification for secure information flow. - Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco (ACM SIGPLAN Notices, 2003)

Checking security properties by model checking. - Nicoletta De Francesco; Giuseppe Lettieri (Softw. Test. Verification Reliab., 2003)

Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. - Roberto Barbuti; Cinzia Bernardeschi; Nicoletta De Francesco (Comput. J., 2004)

Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. - Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri (Fundam. Informaticae, 2004)

Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. - Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini (Softw. Pract. Exp., 2004)

Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. - Nicoletta De Francesco; Luca Martini (Formal Aspects in Security and Trust, 2005)

Reduced Models for Efficient CCS Verification. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini (Formal Methods Syst. Des., 2005)

Instruction-level security analysis for information flow in stack-based assembly languages. - Nicoletta De Francesco; Luca Martini (Inf. Comput., 2007)

Instruction-level security typing by abstract interpretation. - Nicoletta De Francesco; Luca Martini (Int. J. Inf. Sec., 2007)

A user-friendly interface to specify temporal properties of concurrent systems. - Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini (Inf. Sci., 2007)

Decomposing bytecode verification by abstract interpretation. - Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Paolo Masci 001 (ACM Trans. Program. Lang. Syst., 2008)

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. - Roberto Barbuti; Nicoletta De Francesco; Luca Tesei (Comput. J., 2010)

Celer: an Efficient Program for Genotype Elimination - Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini (AMCA-POP, 2010)

Partial model checking via abstract interpretation. - Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Gigliola Vaglini (Inf. Process. Lett., 2010)

Using abstract interpretation to add type checking for interfaces in Java bytecode verification. - Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini (Theor. Comput. Sci., 2010)

JCSI: A tool for checking secure information flow in Java Card applications. - Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco; Paolo Masci 001 (J. Syst. Softw., 2012)

Efficient Genotype Elimination via Adaptive Allele Consolidation. - Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini (IEEE ACM Trans. Comput. Biol. Bioinform., 2012)

GreASE: A Tool for Efficient "Nonequivalence" Checking. - Nicoletta De Francesco; Giuseppe Lettieri; Antonella Santone; Gigliola Vaglini (ACM Trans. Softw. Eng. Methodol., 2014)

Heuristic search for equivalence checking. - Nicoletta De Francesco; Giuseppe Lettieri; Antonella Santone; Gigliola Vaglini (Softw. Syst. Model., 2016)

Swarm coordination of mini-UAVs for target search using imperfect sensors. - Antonio L. Alfeo; Mario G. C. A. Cimino; Nicoletta De Francesco; Alessandro Lazzeri; Massimiliano Lega; Gigliola Vaglini (Intell. Decis. Technol., 2018)

Design and simulation of the emergent behavior of small drones swarming for distributed target localization. - Antonio L. Alfeo; Mario G. C. A. Cimino; Nicoletta De Francesco; Massimiliano Lega; Gigliola Vaglini (J. Comput. Sci., 2018)

Model checking for malicious family detection and phylogenetic analysis in mobile environment. - Mario G. C. A. Cimino; Nicoletta De Francesco; Francesco Mercaldo; Antonella Santone; Gigliola Vaglini (Comput. Secur., 2020)