Concepedia

N. De Francesco

ND

7

Publications

145

Citations

7

H-Index

1983

Active since

Affiliations

University of Pisa(Current)

N. De Francesco is an author at University of Pisa specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal MethodsInformation SecurityData SecuritySoftware SecurityCryptography

Publications per year

1983–2008

7

Publications

7

Modelling free flight with collision avoidance

Mieke Massink, N. De Francesco · 2002 · 34 citations

Flight Control Systems, Trajectory Planning, Optimal Trajectories +11

Identification of Novel Single Nucleotide Polymorphisms in Promoter III of the Acetyl-CoA Carboxylase- Gene in Goats Affecting Milk Production Traits

Savini Federica, N. De Francesco, D’Elia Giovanna et al. · Journal of Heredity · 2008 · 27 citations · Full text

Abstract interpretation of operational semantics for secure information flow

Roberto Barbuti, Cinzia Bernardeschi, N. De Francesco · Information Processing Letters · 2002 · 24 citations

Engineering, Operational Semantics, Program Analysis +8

Development of a debugger for a concurrent language

Fabrizio Baiardi, N. De Francesco, Enrico Matteoli et al. · ACM SIGSOFT Software Engineering Notes · 1983 · 19 citations · Full text

Engineering, Software Engineering, Concurrent System +16

Checking secure information flow in Java bytecode by code transformation and standard bytecode verification

Cinzia Bernardeschi, N. De Francesco, Giuseppe Lettieri et al. · Software Practice and Experience · 2004 · 15 citations

Engineering, Information Security, Verification +17

Rows per page

1–5 of 7