Peer-Reviewed Workshop Publications (in reverse chronological order)

  • Verified Gaming, with Joseph R. Kiniry. 1st Games and Software Engineering Workshop (GAS 2011), at 33rd International Conference on Software Engineering (ICSE 2011), Waikiki, Honolulu, Hawaii, May 2011.
  • A UNITY-based Formalism for Dynamic Distributed Systems. 8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA ’03), Nice, France, April 2003.
  • Applying the Distributed Programming Paradigm to Improve Scalability in Multi-User Environments, with Erich R. Schmidt and Cristian Tapus. 13th European Conference on Object-Oriented Programming (ECOOP ’99) Workshop on Multi-User Object-Oriented Environments, Lisbon, Portugal, June 1999.
  • A New Approach to Multi-User Environments Using Software Distributed Shared Memory, with Erich R. Schmidt, and Cristian Tapus. 1st Workshop on Software Distributed Shared Memory (WSDSM ’99), Rhodes, Greece, June 1999.