Searching for authors named "Alessandro Coglio" – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
