Post History:

Animals Matter to Me


Jeff Dallien, Wendy MacCaull, and Allen Tien, "Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care", Fifth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2008), pp. 78-91, Budapest, Hungary (abstract)

Jeff Dallien, "Workflow Verification for Healthcare", Masters Thesis, Department of Mathematics, Statistics and Computer Science, St. Francis Xavier University, Antigonish, Nova Scotia, Canada, 2007

Jeff Dallien, Wendy MacCaull and Allen Tien, "Dynamic Workflow Verification for Healthcare", Poster presentation, Formal Methods 2006, McMaster University, Hamilton, Ontario, 2006

Jeffrey Dallien and Wendy MacCaull, "Automated Theorem Proving using RelDT", 3rd Relation Day at Brock, Presentation, Brock University, St. Catharines, Ontario, 2005

Jeffrey Dallien and Wendy MacCaull, "Automated recognition of stutter invariance of LTL formulas", Atlantic Electronic Journal of Mathematics, Volume 1 Number 1, 2006, pages 56-74. (abstract) (pdf)

Jeff Dallien, "Automated checking for stutter invariance of LTL formulas", Undergraduate Honours Thesis, St. Francis Xavier University, 2004