Master :: Dimitrie Paun
Publications

Contact Information:

MSC Thesis:
[ Unknown -- 1999 ] Closure Under Stuttering in Temporal Formulas
Advisors:

More Information:
  • As an alumni since 1999

Publications:


2003:
  • M. Chechik and D. Paun. ``On Closure Under Stuttering'', Formal Aspects of Computing, pp. 342-368, 2003
    PS PDF Abstract
2002:
  • Dimitrie O. Paun and Marsha Chechik. ``On Closure Under Stuttering'', Formal Aspects of Computing, 2002
    PS PDF Abstract
previous:
  • M. Chechik and D. Paun. Events in Property Patterns, in Proceedings of the 6th International SPIN Workshop (SPIN'6), pp. 154-167, September, 1999
    PS PDF Abstract
  • Dimitrie O. Paun and Marsha Chechik. ``Events in Linear-Time Properties'', in Proceedings of 4th International Conference on Requirements Engineering, June, 1999
    PS PDF Abstract
  • Dimitrie O. Paun. Closure Under Stuttering in Temporal Formulas , Master Thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 1999
    PS PDF Abstract
  • Bernd Biechele and Dimitrie O. Paun. ``A Case Study Production Cell with PROMELA/SPIN'', Automated Verification: A Collection of Reports, April, 1998
    PS PDF Abstract
  • Dimitrie O. Paun, Marsha Chechik, and Bernd Biechelle. ``Production Cell Revisited'', in Proceedings of the 4th International SPINWorkshop (SPIN'4), November, 1998
    PS PDF Abstract

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004