Result 1 to 20 of 20 total
Partial model checking via abstract interpretation. (English)
Inf. Process. Lett. 110, No. 3, 99-103 (2010).
1
Using abstract interpretation to add type checking for interfaces in Java bytecode verification. (English)
Theor. Comput. Sci. 411, No. 22-24, 2174-2201 (2010).
2
Celer: an efficient program for genotype elimination (English)
AMCA-POP, 56-70 (2010).
3
Decomposing bytecode verification by abstract interpretation. (English)
ACM Trans. Program. Lang. Syst. 31, No. 1 (2008).
4
Instruction-level security analysis for information flow in stack-based assembly languages. (English)
Inf. Comput. 205, No. 9, 1334-1370 (2007).
5
Instruction-level security typing by abstract interpretation. (English)
Int. J. Inf. Secur. 6, No. 2-3, 85-106 (2007).
6
Using postdomination to reduce space requirements of data flow analysis. (English)
Inf. Process. Lett. 98, No. 1, 11-18 (2006).
7
Using control dependencies for space-aware bytecode verification. (English)
Comput. J. 49, No. 2, 234-248 (2006).
8
Using control dependencies for space-aware bytecode verification (English)
Comput. J. 49, No. 2, 234-248 (2006).
9
A space-aware bytecode verifier for Java cards. (English)
Electron. Notes Theor. Comput. Sci. 141, No. 1, 237-254 (2005).
10
Abstract interpretation to check secure information flow in programs with input-output security annotations (English)
Formal Aspects in Security and Trust, 63-80 (2005).
11
Checking secure information flow in java bytecode by code transformation and standard bytecode verification. (English)
Softw., Pract. Exper. 34, No. 13, 1225-1255 (2004).
12
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification (English)
Softw., Pract. Exper. 34, No. 13, 1225-1255 (2004).
13
Java bytecode verification with dynamic structures (English)
IASTED Conf. on Software Engineering and Applications, 559-564 (2004).
14
Enforcement of applet boundaries in Java card systems (English)
IASTED Conf. on Software Engineering and Applications, 96-101 (2004).
15
Efficient bytecode verification using immediate postdominators in control flow graphs: extended abstract (English)
OTM Workshops, 425-436 (2003).
16
Feature weighted ensemble classifiers ‒ a modified decision scheme. (English)
Kittler, Josef (ed.) et al., Multiple classifier systems. 2nd international workshop, MCS 2001, Cambridge, GB, July 2-4, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2096, 218-227 (2001).
17
Feature weighted ensemble classifiers - A modified decision scheme (English)
Multiple Classifier Systems, 218-227 (2001).
18
Theoretical Analysis and Improved Decision Criteria for the n-Tuple Classifier. (English)
IEEE Transactions on Pattern Analysis and Machine Intelligence 21, No.04, 336-347 (1999).
19
Theoretical analysis and improved decision criteria for the n-tuple classifier (English)
IEEE Trans. Pattern Anal. Mach. Intell. 21, No. 4, 336-347 (1999).
20
Result 1 to 20 of 20 total
Start
Contact
Print
General Help
