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

Revision: r1.2 - 02 Oct 2006 - 12:37 - AlanMorkan
Tools > Related Tools > Download Tools > ToolsPublications
Ideas, requests, problems regarding the Mobius site QUESTION?