Publications
Refereed Conferences and Symposia
S. Alagic, M. Royer and D. Briggs, Program verification tech-niques for XML Schema-based technologies, Proceedings of the ICSOFT Conference, Vol. 2, pp. 86 - 93, 2006.
S. Alagic, M. Royer, and D. Briggs, Verification theories for XML Schema, Proceedings of BNCOD, Lecture Notes in Computer Science, 2006.
Workshop Papers
S. Alagic, M. Royer, and D. Crews, Temporal verification the- ories for Java-like classes, Proceedings of the ECOOP FTfJP06 workshop on Formal Techniques for Java-like Programs, http://www.disi.unige.it/person/AnconaD/FTfJP06/, 2006.
Other Publications
S. Alagic and M. Royer, Next generation of virtual platforms, ODBMS.org, Oct. 2005.
Invited Presentations
XVP. An Extended Virtual Platform Presentation for NEPLS at Sun Microsystems, Burlington, MA Spring 2006.
Journal Articles
M. Royer, S. Alagic, D. Dillon, Reflective constraint management for languages on virtual platforms, Journal of Object Technology, November 2007, http://www.jot.fm/issues/issue_2007_11/.
S. Alagic, M. Royer, Genericity in Java: persistent and database systems implications. VLDB Journal, February 2007.