Donald Craig
donald@mun.ca

eHealth Research Unit (eHRU)
Room 1779, Health Sciences Centre
300 Prince Philip Drive
St. John's, NL
A1B 3V6

Theses

• Compatibility of Software Components - Modeling and Verification, Ph.D. Thesis (2007)
• Extensible Hierarchical Object-Oriented Logic Simulation with an Adaptable Graphical User Interface, M.Sc. Thesis (1996)
• Circuit Description and Elementary Hierarchical Circuit Simulation Using C++ and the Object-Oriented Programming Paradigm , B.Sc. Thesis (1991)

Conference Papers (refereed)

• D.C. Craig and W.M. Zuberek, "Verification of Component Behavioral Compatibility," Second International Conference on Dependability of Computer Systems, 2007 (DepCoS-RELCOMEX '07), pp.294-304, 14-16 June 2007.
• D.C. Craig and W.M. Zuberek, "Petri Nets in Modeling Component Behavior and Verifying Component Compatibility," International Workshop on Petri Nets and Software Engineering (PNSE'07), (28th International Conference on Application and Theory of Petri Nets and Other Models of Councurrency), pp.160-174, 25-26 June 2007.
• D.C. Craig and W.M. Zuberek, "Component Compatibility and Its Verification," First International Workshop on Software Architecture Research and Practice (SARP '07), (Second International Conference on Digital Telecommunications – ICDT 2007), pp.26-32, 1-5 July 2007.
• D.C. Craig and W.M. Zuberek, "Multicomponent Compatibility and its Verification," Seventh International Conference on Application of Concurrency to System Design, 2007 (ACSD 2007), pp.233-235, 10-13 July 2007.
• D.C. Craig and W.M. Zuberek, "Compatibility of Software Components – Modeling and Verification,". International Conference on Dependability of Computer Systems, 2006 (DepCoS-RELCOMEX '06), pp.11-18, May 2006.
• D.C. Craig and W.M. Zuberek, "Modelling and Verification of Compatibility of Component Composition,". Third Workshop on Modelling of Objects, Components, and Agents pp.117-130, 11-13 October 2004.

Conference Papers (refereed by abstract)

• D.C. Craig, "A Formal Model for Representing Component Interfaces and Their Interaction," Fourteenth Annual Newfoundland Electrical and Computer Engineering Conference, October 12, 2004.

Teaching

• Computer Science 3710 -- Vocational Languages
  • Winter 2003
  • Winter 2004

Academic Presentations

• Checking Deadlock-Freeness in Petri Nets. Third Annual Graduate Student Research Forum, Department of Computer Science, (Memorial University), March 8, 2006.
• On the Interactions of Component Interfaces. First Annual Graduate Student Research Forum, Department of Computer Science, (Memorial University), March 16, 2004.
• The Colour of Spam -- Bimodal Classification of Electronic Mail Using Statistical Bayesian Analysis. Aldrich Interdisciplinary Lecture & Conference for Graduate Students, (Memorial University) on February 23, 2004.
• A Comparison of Two Functional Programming Languages. Aldrich Interdisciplinary Lecture & Conference for Graduate Students, (Memorial University) on February 2001.
• An Object-Oriented Approach Towards Hierarchical Simulation, presented at the Computer Science Research Forum '95, Memorial University on May 3, 1995.

Technical Reports

• A Comparison of the Haskell and Miranda Functional Programming Languages (PostScript). Technical Report #2000-02.
• Compiling and Using the hugs Interpreter (PostScript). Technical Report #2000-03.

Technology Articles

• Hierarchical Logic Simulation, Dr. Dobb's Journal of Software Tools, Vol.24 No.3, pp. 32, 34, 36-38, March 1999.

Presentations

Presentations given to the St. John's Linux User's Group:

• Ruby and Ruby on Rails (Part II) (March 25, 2008).
• Ruby and Ruby on Rails (Part I) (Februray 12, 2008).
• Ruby on Rails (March 23, 2006).
• Bayesian Spam Filtering (April 7, 2005).
• Ruby Programming Language (October 16, 2003).

Course-related presentations:

• Introduction to Ruby on Rails (April 04, 2011).

Software Projects

• The buryspam Bayesian spam filter (Version 2).
• The DigiTcl Digital Circuit Layout Tool and Simulator.

Miscellaneous

• Connecting to MUN's wireless network using Ubuntu Linux 10.04.
• Connecting to MUN's wireless network with the ASUS Eee PC.
• Metathesis: a LaTeX template that aims to conform to the Guidelines for Theses and Reports from the School of Graduate Studies here at MUN. Instructions on how to use the template are also provided.
• Making presentations using the LaTeX Beamer Class on the Computer Science machines at MUN.
• Income Tux Spreadsheet for Canadian Federal and Provincial (NL) 2010 Income Taxes (in ODF format).