Michael Franz,
Wolfram Amme,
Matthew Beers, Niall Dalton, Peter H. Fröhlich, Vivek Haldar, Andreas Hartmann, Peter S. Housel, Frank Reig, Christian H. Stork, Jeffery von Ronne, Sergej Zhenochin:
Making Mobile Code Both Safe and Efficient
in J. Lala (Ed.; Foundations of Intrusion Tolerant Systems; IEEE Competer Society Press, 2003.
Jeffery von Ronne,
Wolfram Amme,
Andreas Hartmann, Michael Franz:
Efficient Online Optimization by Utlizing Offline Analysis and the SafeTSA - Representation in Recent Advances in Java Technology: Theory, Application, Implementation
Chapter 27, Trinity College, Dublin, Ireland, Computer Science Press, ISBN 0954414500, S. 233-241, 2003.
Konferenzen, Workshops
Andreas Hartmann,
Wolfram Amme,
Jeffery von Ronne, Michael Franz:
Code Annotation for Safe and Efficient Dynamic Object Resolution
Compiler Optimization Meets Compiler Verification, COCV 2003, Warsaw, Poland, 2003.
Jeffery von Ronne, Andreas Hartmann,
Wolfram Amme,
Michael Franz:
Efficient Online Optimization by Utilizing Offline Analysis and the SafeTSA Representation
in: Principles and Practice of Programming in Java (TM) PPPJ'02, Trinity College, Dublin, Ireland, 2002.