1. Towards an industrial grade IVE for Java and next generation research platform for JML;Chalin;Int J Softw Tools Technol Transf,2010
2. Haddad G, Leavens GT. Extensible dynamic analysis for JML: a case study with loop annotations. Technical Report CS-TR-08-05. University of Central Florida, Orlando, Florida; April 2008.
3. Persson P, Hedin G. An interactive environment for real-time software development. In: Proceedings of the 33rd international conference on technology of object-oriented languages and systems (TOOLS׳00). St. Malò, France: IEEE Computer Society; 2000. p. 57–68.
4. Hu EY-S, Bernat G, Wellings A. Addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems. In: Proceedings of the 5th IEEE international symposium on object-oriented real-time distributed computing (ISORC׳02). Washington, DC, USA: IEEE Computer Society; 2010. p. 109–16.
5. Worst-case execution time analysis for a Java processor;Schoeberl;Softw Pract Exp,2010