Searching for authors named Igor Siveroni – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Ph.D. Thesis Proposal Correctness of Analysis-Based Program Transformations of Functional Languages
- … Igor Siveroni 1 College of Computer Science Northeastern University Boston, MA 02115, USA igor…
- Add To MetaCart
-
Formalisation of the Java Card Runtime Environment and API
- …: Classification: Status: Igor Siveroni November, 2002 SECSAFE-ICSTM-006 1.0 Public Work in progress 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Operational Semantics of the Java Card Virtual Machine
- …Operational Semantics of the Java Card Virtual Machine Igor A. Siveroni Imperial College London…
- Cited by 12 (1 self) – Add To MetaCart
-
A Proposal for the JCVMLe Operational Semantics
- …A Proposal for the JCVMLe Operational Semantics Authors: Igor Siveroni and Chris Hankin Date…
- Cited by 5 (2 self) – Add To MetaCart
-
Constraint Systems for Useless Variable Elimination
- …Constraint Systems for Useless Variable Elimination Mitchell Wand and Igor Siveroni College…
- Cited by 18 (1 self) – Add To MetaCart
-
A Formal Specification of the Java Card Firewall
- …A Formal Specication of the Java Card Firewall Igor Siveroni 1 , Thomas Jensen 2 and Marc…
- Cited by 1 (0 self) – Add To MetaCart
-
Igor Siveroni Advisor: Prof. Mitchell Wand March 19, 1997
- …Plan of Study Igor Siveroni Advisor: Prof. Mitchell Wand March 19, 1997 1 Introduction…
- Add To MetaCart
-
Java Card Safety and Security through Static Analysis
- …Java Card Safety and Security through Static Analysis ? Rene Rydhof Hansen 1 and Igor Siveroni…
- Add To MetaCart
-
H.: Tempus fugit: How to plug it
- …, Universitá di Pisa, Italy Chris Hankin 1 Igor Siveroni 1 Herbert Wiklicky 1 Department of Computing, Imperial…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 9.
