Modular design for the Java virtual machine architecture

A formal model for the parallel semantics of P3L

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2

A Practical Method for Specification and Analysis of Exception Handling-A Java/JVM Case Study

IEEE Transactions on Software Engineering

Formalizing the safety of Java, the Java virtual machine, and Java card

ACM Computing Surveys (CSUR)

A Programmer Friendly Modular Definition of the Semantics of Java

Formal Syntax and Semantics of Java

Verification of Compilers

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

Proof-Outlines for Threads in Java

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory

High Level System Design and Analysis Using Abstract State Machines

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Verifying Compilers and ASMs

ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications

Composition and Submachine Concepts for Sequential ASMs

Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic

Engineering and theoretical underpinnings of retrenchment

Science of Computer Programming

Array modeling in Java virtual machine

APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies