Programming the Internet in Ada 95

Targeting GNAT to the Java virtual machine

Proceedings of the conference on TRI-Ada '97

A comparison of the object-oriented features of Ada 95 and Java

Proceedings of the conference on TRI-Ada '97

Why are we using Java again?

Communications of the ACM

Multilanguage programming on the JVM: the Ada 95 benefits

ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000

Addressing dynamic issues of program model checking

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software

Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications

Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies

Network Visualization of Heterogeneous US Army War Reserve Readiness Data

MIS '98 Proceedings of the 4th International Workshop on Advances in Multimedia Information Systems

A Java processor architecture for embedded real-time systems

Journal of Systems Architecture: the EUROMICRO Journal