Daniel M. Zimmerman

• Home
• Contact
• Courses
• Publications
  • Journal
  • Conference
  • Workshop
  • Tutorial/Talk
  • Thesis
  • Industry
  • Other

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.