Concepedia

Nicoletta De Francesco

ND

15

Publications

445

Citations

14

H-Index

1986

Active since

Affiliations

University of Pisa(Current)

University of Sannio

Nicoletta De Francesco is an author at University of Pisa specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationVerificationFormal MethodsProgram AnalysisAutomated ReasoningSystem SoftwareData Security

Publications per year

1986–2019

15

Publications

15

Development of a debugger for a concurrent language

Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini · IEEE Transactions on Software Engineering · 1986 · 73 citations

Engineering, Software Engineering, Program Debugging +17

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone et al. · Journal of Computer and System Sciences · 1999 · 61 citations

Transition Systems, Engineering, Automated Reasoning +3

Design and simulation of the emergent behavior of small drones swarming for distributed target localization

Antonio Luca Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco et al. · Journal of Computational Science · 2018 · 43 citations · Full text

Emergent Behavior, Target Localization, Engineering +11

Model checking for malicious family detection and phylogenetic analysis in mobile environment

Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo et al. · Computers & Security · 2019 · 40 citations

Biology, Phylogenetics, Natural Sciences +11

Java bytecode verification for secure information flow

Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco · ACM SIGPLAN Notices · 2003 · 36 citations

Java Bytecode Verification, Engineering, Information Security +16

Rows per page

1–5 of 15