History
1
au:De Francesco, N*
64


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 | next | last

Result 1 to 20 of 64 total

Partial model checking via abstract interpretation. (English)
Inf. Process. Lett. 110, No. 3, 99-103 (2010).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
Using abstract interpretation to add type checking for interfaces in Java bytecode verification. (English)
Theor. Comput. Sci. 411, No. 22-24, 2174-2201 (2010).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
An abstract interpretation approach for enhancing the Java bytecode verifier (English)
Comput. J. 53, No. 6, 679-700 (2010).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
Celer: an efficient program for genotype elimination (English)
AMCA-POP, 56-70 (2010).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
Decomposing bytecode verification by abstract interpretation. (English)
ACM Trans. Program. Lang. Syst. 31, No. 1 (2008).
WorldCat.org
5
PDF XML AMS-TeX TEXT BIBTeX DOI
On the representer theorem and equivalent degrees of freedom of SVR. (English)
J. Mach. Learn. Res. 8, 2467-2495 (2007).
WorldCat.org
6
PDF XML AMS-TeX TEXT BIBTeX URL
Instruction-level security analysis for information flow in stack-based assembly languages. (English)
Inf. Comput. 205, No. 9, 1334-1370 (2007).
WorldCat.org
7
PDF XML AMS-TeX TEXT BIBTeX DOI
Instruction-level security typing by abstract interpretation. (English)
Int. J. Inf. Secur. 6, No. 2-3, 85-106 (2007).
WorldCat.org
8
PDF XML AMS-TeX TEXT BIBTeX DOI
A user-friendly interface to specify temporal properties of concurrent systems. (English)
Inf. Sci. 177, No. 1, 299-311 (2007).
WorldCat.org
9
PDF XML AMS-TeX TEXT BIBTeX DOI
Reduced models for efficient CCS verification. (English)
Form. Methods Syst. Des. 26, No. 3, 319-350 (2005).
WorldCat.org
10
PDF XML AMS-TeX TEXT BIBTeX DOI
Abstract interpretation to check secure information flow in programs with input-output security annotations (English)
Formal Aspects in Security and Trust, 63-80 (2005).
WorldCat.org
11
PDF XML AMS-TeX TEXT BIBTeX DOI
Checking secure information flow in java bytecode by code transformation and standard bytecode verification. (English)
Softw., Pract. Exper. 34, No. 13, 1225-1255 (2004).
WorldCat.org
12
PDF XML AMS-TeX TEXT BIBTeX DOI
Analyzing information flow properties in assembly code by abstract interpretation. (English)
Comput. J. 47, No. 1, 25-45 (2004).
WorldCat.org
13
PDF XML AMS-TeX TEXT BIBTeX DOI
Concrete and abstract semantics to check secure information flow in concurrent programs. (English)
Fundam. Inform. 60, No. 1-4, 81-98 (2004).
WorldCat.org
14
PDF XML AMS-TeX TEXT BIBTeX URL
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification (English)
Softw., Pract. Exper. 34, No. 13, 1225-1255 (2004).
WorldCat.org
15
PDF XML AMS-TeX TEXT BIBTeX DOI
Analyzing information flow properties in assembly code by abstract interpretation (English)
Comput. J. 47, No. 1, 25-45 (2004).
WorldCat.org
16
PDF XML AMS-TeX TEXT BIBTeX DOI
Checking security properties by model checking. (English)
Softw. Test., Verif. Reliab. 13, No. 3, 181-196 (2003).
WorldCat.org
17
PDF XML AMS-TeX TEXT BIBTeX DOI
Abstract interpretation and model checking for checking secure information flow in concurrent systems. (English)
Fundam. Inform. 54, No. 2-3, 195-211 (2003).
WorldCat.org
18
PDF XML AMS-TeX TEXT BIBTeX
Efficient bytecode verification using immediate postdominators in control flow graphs: extended abstract (English)
OTM Workshops, 425-436 (2003).
WorldCat.org
19
PDF XML AMS-TeX TEXT BIBTeX DOI
Authenticity in a reliable protocol for mobile computing (English)
SAC, 318-324 (2003).
WorldCat.org
20
PDF XML AMS-TeX TEXT BIBTeX
first | previous | 1 21 41 61 | next | last

Result 1 to 20 of 64 total

Valid XHTML 1.0 Transitional Valid CSS!