Nicoletta De Francesco

Publication Activity (10 Years)

Years Active: 1983-2020
Publications (10 Years): 5

Top Topics

Emergent Behavior

Heuristic Search Algorithms

Search Strategies

Phylogenetic Analysis

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

ACM Trans. Softw. Eng. Methodol.

Intell. Decis. Technol.

Publications

Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo, Antonella Santone, Gigliola Vaglini
Model checking for malicious family detection and phylogenetic analysis in mobile environment. Comput. Secur. 90 (2020)
Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Alessandro Lazzeri, Massimiliano Lega, Gigliola Vaglini
Swarm coordination of mini-UAVs for target search using imperfect sensors. CoRR (2019)
Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Alessandro Lazzeri, Massimiliano Lega, Gigliola Vaglini
Swarm coordination of mini-UAVs for target search using imperfect sensors. Intell. Decis. Technol. 12 (2) (2018)
Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Massimiliano Lega, Gigliola Vaglini
Design and simulation of the emergent behavior of small drones swarming for distributed target localization. J. Comput. Sci. 29 (2018)
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
Heuristic search for equivalence checking. Softw. Syst. Model. 15 (2) (2016)
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Trans. Softw. Eng. Methodol. 23 (3) (2014)
Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco, Paolo Masci
JCSI: A tool for checking secure information flow in Java Card applications. J. Syst. Softw. 85 (11) (2012)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Efficient Genotype Elimination via Adaptive Allele Consolidation. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (4) (2012)
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53 (6) (2010)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Using abstract interpretation to add type checking for interfaces in Java bytecode verification. Theor. Comput. Sci. 411 (22-24) (2010)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Celer: an Efficient Program for Genotype Elimination AMCA-POP (2010)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini
Partial model checking via abstract interpretation. Inf. Process. Lett. 110 (3) (2010)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci
Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31 (1) (2008)
Nicoletta De Francesco, Luca Martini
Instruction-level security analysis for information flow in stack-based assembly languages. Inf. Comput. 205 (9) (2007)
Nicoletta De Francesco, Luca Martini
Instruction-level security typing by abstract interpretation. Int. J. Inf. Sec. 6 (2-3) (2007)
Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. 177 (1) (2007)
Nicoletta De Francesco, Luca Martini
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. Formal Aspects in Security and Trust (2005)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Reduced Models for Efficient CCS Verification. Formal Methods Syst. Des. 26 (3) (2005)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. Softw. Pract. Exp. 34 (13) (2004)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundam. Informaticae 60 (1-4) (2004)
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47 (1) (2004)
Nicoletta De Francesco, Antonella Santone, Luca Tesei
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. Fundam. Informaticae 54 (2-3) (2003)
Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini
Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops (2003)
Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco
Java bytecode verification for secure information flow. ACM SIGPLAN Notices 38 (12) (2003)
Nicoletta De Francesco, Giuseppe Lettieri
Checking security properties by model checking. Softw. Test. Verification Reliab. 13 (3) (2003)
Nicoletta De Francesco, Marinella Petrocchi
Authenticity in a Reliable Protocol for Mobile Computing. SAC (2003)
Nicoletta De Francesco, Antonella Santone
Syntactic reductions for efficient deadlock analysis. Softw. Test. Verification Reliab. 12 (3) (2002)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC (2002)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
An abstract semantics tool for secure information flow of stack-based assembly programs. Microprocess. Microsystems 26 (8) (2002)
Nicoletta De Francesco, Antonella Santone
A tool supporting efficient model checking of concurrent specifications. Microprocess. Microsystems 25 (9-10) (2002)
Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco
Fixing the Java bytecode verifier by a suitable type domain. SEKE (2002)
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83 (2) (2002)
Cinzia Bernardeschi, Nicoletta De Francesco
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. VMCAI (2002)
Nicoletta De Francesco, Antonella Santone
A Formula-Driven Modular Attack on State Explosion. Int. J. Found. Comput. Sci. 13 (5) (2002)
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
Checking security of Java bytecode by abstract interpretation. SAC (2002)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
A Notion of Non-Interference for Timed Automata. Fundam. Informaticae 51 (1-2) (2002)
Mieke Massink, Nicoletta De Francesco
Modelling Free Flight with Collision Avoidance. ICECCS (2001)
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44 (2) (2001)
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
Timed Automata with non-Instantaneous Actions. Fundam. Informaticae 47 (3-4) (2001)
Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone
Efficient Verification of a Multicast Protocol for Mobile Computing. Comput. J. 44 (1) (2001)
Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini
An approach to system design based on P/T net simulation. Inf. Softw. Technol. 43 (10) (2001)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Logic Based Abstractions of Real-Time Systems. Formal Methods Syst. Des. 17 (3) (2000)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Softw. Pract. Exp. 29 (12) (1999)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. J. Comput. Syst. Sci. 59 (3) (1999)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. 70 (2) (1999)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Formula Based Abstractions of Transition Systems for Real-Time Model Checking. World Congress on Formal Methods (1999)
Nicoletta De Francesco, Antonella Santone
A Transformation System for Concurrent Processes. Acta Informatica 35 (12) (1998)
Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. 32 (1-3) (1998)
Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
State Space Reduction by Non-Standard Semantics for Deadlock Analysis. Sci. Comput. Program. 30 (3) (1998)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE (1997)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Informatica 34 (6) (1997)
Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS (1996)
Nicoletta De Francesco, Antonella Santone
Unfold/Fold Transformations of Concurrent Processes. PLILP (1996)
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
Model Checking of Non-Finite State Processes by Finite Approximations. TACAS (1995)
Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini
A Petri Nets Semantics for Data Flow Networks. Acta Informatica 32 (4) (1995)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP (1995)
Nicoletta De Francesco, Gigliola Vaglini
Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases. Distributed Parallel Databases 2 (1) (1994)
Nicoletta De Francesco, Paola Inverardi
Proving Finiteness of CCS Processes by Non-Standard Semantics. Acta Informatica 31 (1) (1994)
Nicoletta De Francesco, Ugo Montanari, Gioia Ristori
Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET (1994)
Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich
Axiomatizing CCS, Nets and Processes. Sci. Comput. Program. 21 (3) (1993)
Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz
Specification of Concurrency Control in Persistent Programming Languages. POS (1992)
Nicoletta De Francesco, Paola Inverardi
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV (1991)
Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco
Towards innovative software engineering environments. J. Syst. Softw. 14 (1) (1991)
Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini
Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS (1989)
Nicoletta De Francesco, Gigliola Vaglini
Description of a Tool for Specifying and Prototyping Concurrent Programs. IEEE Trans. Software Eng. 14 (11) (1988)
Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini
Development of a Debugger for a Concurrent Language. IEEE Trans. Software Eng. 12 (4) (1986)
Nicoletta De Francesco, Diego Latella, Gigliola Vaglini
An Interactive Debugger for a Concurrent Language. ICSE (1985)
Fabrizio Baiardi, Nicoletta De Francesco, E. Matteoli, S. Stefanini, Gigliola Vaglini
Development of a debugger for a concurrent language. SIGSOFT (1983)