Author

N. De Francesco

Observed names: N De Francesco, N. Francesco

Observed institution: University of Pisa

OpenAlex ID: A5111920651

Modelling free flight with collision avoidance

2002 · M. Massink, N. De Francesco · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 34

Abstract interpretation of operational semantics for secure information flow

2002 · R. Barbuti, C. Bernardeschi, et al. · Information Processing Letters · 23

Development of a debugger for a concurrent language

1983 · F. Baiardi, N. De Francesco, et al. · ACM SIGSOFT Software Engineering Notes · 19

PDF

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

2004 · C. Bernardeschi, N. De Francesco, et al. · Software Practice and Experience · 17

Using standard verifier to check secure information flow in Java bytecode

2003 · C. Bernardeschi, N. De Francesco, et al. · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 13

An abstract semantics tool for secure information flow of stack-based assembly programs

2002 · C. Bernardeschi, N. De Francesco, et al. · Microprocessors and Microsystems · 12

Model checking of non-finite state processes by finite approximations

1995 · N. Francesco, A. Fantechi, et al. · Lecture notes in computer science · 9

Development of a debugger for a concurrent language

1983 · F. Baiardi, N. De Francesco, et al. · ACM SIGPLAN Notices · 8

Shared abstract data types: An algebraic methodology for their specification

1989 · A. Bondavalli, N. Francesco, et al. · Lecture notes in computer science · 7

Modelling Free Flight with Collision Avoidance. : 270-280

2001 · N. De Francesco, Mieke Massink · CINECA IRIS Institutial research information system (University of Pisa) · 6

Specification of Concurrency Control in Persistent Programming Languages

1993 · N. De Francesco, G. Vaglini, et al. · Workshops in computing · 6

Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations

2006 · N. De Francesco, L. Martini · Lecture notes in computer science · 5

Description for a tool specifying and prototyping concurrent programs

1988 · N. De Francesco, G. Vaglini · IEEE Transactions on Software Engineering · 5

An interactive debugger for a concurrent language

1985 · N. De Francesco, Diego Latella, et al. · CINECA IRIS Institutial research information system (University of Pisa) · 5

Decomposing bytecode verification by abstract interpretation

2008 · C. Bernardeschi, N. De Francesco, et al. · ACM Transactions on Programming Languages and Systems · 4

PDF

A semantic driven method to check the fineteness of CCS processes

1992 · N. Francesco, P. Inverardi · Lecture notes in computer science · 3

PDF

Modular verification of correctness properties in environment for concurrent systems specifications: deadlock case

1990 · N De Francesco, G Vaglini · Information and Software Technology · 2

Efficient Genotype Elimination via Adaptive Allele Consolidation

2012 · N. De Francesco, G. Lettieri, et al. · IEEE Transactions on Computational Biology and Bioinformatics · 1

Partial model checking via abstract interpretation

2009 · N. De Francesco, G. Lettieri, et al. · Information Processing Letters · 1

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier

2009 · R. Barbuti, N. De Francesco, et al. · The Computer Journal · 1

PDF

An approach to system design based on P/T net simulation

2001 · C. Bernardeschi, N. De Francesco, et al. · Information and Software Technology · 1

Finite Approximations for Model Checking Non-finite-state Processes

2001 · N. De Francesco · The Computer Journal · 1

A framework for data-flow distributed processing

1980 · N. De Francesco, G. Perego, et al. · CALCOLO · 1

Algebraic computational models of OR-parallel execution of Prolog

1997 · R. Barbuti, N. De Francesco, et al. · Acta Informatica

Works count: 24

Citation count: 184

H-index: 8

I10-index: 6