Recent Academic and Industry Papers and Articles

(past one year only)

• All papers from 2005 onward are listed in the SRG and KindSoftware websites and my School homepage.
• January 2005 Internet Voting Not Impossible with Wolter Pieters, Communications of the ACM, Volume 48, Number 2 (2005). This is a short piece written in response to an article in the October 2004 CACM article "Analyzing Internet Voting Security" by David Jefferson et al. (Oct. 2004).
• January 2005 ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2 and a report on a case study involving the use of ESC/Java2 to verify portions of an Internet voting tally system with David Cok published in the special proceedings of CASSIS 2004.
• 18 July 2004 A short paper entitled Electronic and Internet Voting in The Netherlands is now available.
• July 2004 Three sets of slides (two presented at ECOOP) and a booklet of homework exercises for learning JML and ESC/Java2 are now online via the web page for the ECOOP 2004 tutorial Design by Contract and Automatic Verification for Java with JML and ESC/Java2, presented in Oslo, Norway.
• May 2004 Semantic Properties for Lightweight Specification in Knowledgeable Development Environments published as NIII technical report R0420.
• May 2004 Kind Theory and Software Reuse published as NIII technical report R0419.
• May 2004 ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2 with David Cok published as NIII technical report R0413.
• December 2003-February 2004 Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments for an ENTCS special issue relating to UITP 2003.