Mobius encourages tool-related publications, particularly case studies focusing on the use of Mobius components for Mobius component development.

• Tool-centric Papers, Arranged in Reverse Chronological Order
• Kiniry, J., Morkan, A., Denby, B., "Soundness and Completeness Warnings in ESC/Java2", accepted to SAVCBS 06
• Kiniry, J., Morkan, A., Cochran, D., Fairmichael, F., Chalin, P., Oostdijk, M., Hubbers, E., "The KOA Remote Voting System: A Summary of Work To-Date", accepted to TGC 06
• Kiniry, J., Morkan, A., Cochran, D., "Formal Methods in Remote Voting", poster accepted to FSE 06

• Tools-friendly Publication Forums
• placeholder

-- JosephKiniry - 21 Jun 2006