Searching for authors named "Alessandro Coglio" – sorted by Relevance.
-
An approach to the generation of high-assurance Java Card applets
- An Approach to the Generation of High-Assurance Java Card Applets Alessandro Coglio Kestrel
- Add To MetaCart
-
The Control Component of OMRS
- The Control Component of OMRS Alessandro Coglio April 1996 This note presents and (concisely
- Add To MetaCart
-
Toward Automatic Generation of Provably Correct Java Card Applets
- Toward Automatic Generation of Provably Correct Java Card Applets Alessandro Coglio Kestrel
- Cited by 3 (0 self) – Add To MetaCart
-
Improving the Official Specification of Java Bytecode Verification
- Improving the Ocial Specication of Java Bytecode Verication Alessandro Coglio Kestrel Institute
- Cited by 8 (2 self) – Add To MetaCart
-
Simple verification technique for complex Java bytecode subroutines
- Simple Verification Technique for Complex Java Bytecode Subroutines Alessandro Coglio Kestrel
- Cited by 15 (2 self) – Add To MetaCart
-
Type Safety in the JVM: Some Problems in Java 2 SDK 1.2 and Proposed Solutions
- Type Safety in the JVM: Some Problems in Java 2 SDK 1.2 and Proposed Solutions Alessandro Coglio
- Cited by 8 (3 self) – Add To MetaCart
-
Specification of an Executor of Extended Simple Colored Petri Nets
- and Alessandro Coglio Dept. of Informatics, Systems, and Telecommunications (DIST) Faculty of Engineering
- Add To MetaCart
-
A Formal Specification of Java Class Loading
- A Formal Specication of Java TM Class Loading Zhenyu Qian, Allen Goldberg ? , and Alessandro
- Cited by 25 (2 self) – Add To MetaCart
-
The Control Component of Open Mechanized Reasoning Systems
- ;b Alessandro Coglio c Fausto Giunchiglia d;e a DIST, University of Genova, 16145 Genova, Italy b LORIA
- Cited by 2 (2 self) – Add To MetaCart
-
A Logic Level Specification of the NQTHM Simplification Process
- A Logic Level Specification of the NQTHM Simplification Process Alessandro Coglio Universit`a di
- Cited by 2 (1 self) – Add To MetaCart

