Skip to topic | Skip to bottom
... Mobius IST-15905


Start of topic | Skip to actions
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


You are here: Tools > Related Tools > Download Tools > ToolsPublications

to top

Ideas, requests, problems regarding the Mobius site QUESTION?