Nicoletta De Francesco

Author

University of Pisa

Also Known As

N. De Francesco, Nicoletta De Francesco, Nicoletta Francesco, Nicoletta de Francesco

Publications

576

Citations

H-Index

Concepts

All Affiliations

University of Pisa University of Sannio

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	13	390
2	Computer Engineering	3	3	99
3	Medicine	1	1	40
4	Natural Sciences	1	1	40
5	Biology	1	1	40

Nicoletta De Francesco

Publications

445

Citations

H-Index

Page 1

	Year	Citations
Development of a debugger for a concurrent language Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini IEEE Transactions on Software Engineering EngineeringSoftware EngineeringProgram DebuggingConcurrent SystemSoftware Analysis	1986	73
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Journal of Computer and System Sciences Transition SystemsEngineeringAutomated ReasoningFormal MethodsProcess Calculus	1999	61
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, Journal of Computational Science Emergent BehaviorTarget LocalizationEngineeringAerospace EngineeringUnmanned System	2018	43
Model checking for malicious family detection and phylogenetic analysis in mobile environment Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo, Computers & Security BiologyPhylogeneticsNatural SciencesTaxonomyComputational Biology	2019	40
Java bytecode verification for secure information flow Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco ACM SIGPLAN Notices Java Bytecode VerificationEngineeringInformation SecurityVerificationFormal Verification	2003	36
Heuristic search for equivalence checking Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Software & Systems Modeling EngineeringAutomated ReasoningVerificationFormal MethodsComputer-aided Verification	2014	29
GreASE Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, ACM Transactions on Software Engineering and Methodology Formal SpecificationEngineeringAutomated ReasoningProgram AnalysisSearch Space	2014	27
Checking security of Java bytecode by abstract interpretation Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco EngineeringInformation SecurityVerificationSoftware AnalysisFormal Verification	2002	25
Reduced Models for Efficient CCS Verification Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Formal Methods in System Design Efficient Ccs VerificationEngineeringAutomated ReasoningVerificationFormal Methods	2005	24
Modelling Concurrent Accesses to Shared Data via Petri Nets Nicoletta De Francesco, Ugo Montanari, Gioia Ristori IFIP International Conference on Programming Concepts and Methods Petri NetEngineeringCloud ComputingStochastic Petri NetData Integration	1994	16

Page 1