Major Publications
- M.L. Crane, "Slicing UML's Three-layer Architecture: A Semantic Foundation for Behavioural Specification", PhD Thesis, 2009.
- M.L. Crane and J. Dingel, "Towards a UML Virtual Machine: Implementing an Interpreter for UML 2 Actions and Activities", CASCON 2008, pp. 96-110, 2008.
- M.L. Crane and J. Dingel, "Towards a Formal Account of a Foundational Subset for Executable UML Models", Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008), Toulouse, France, Lecture Notes in Computer Science 5301, pp. 675-689, 2008.
- M.L. Crane, "Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification", Presented at the Grace Hopper Celebration of Women in Computing (GHC 2007) PhD Symposium, October 2007.
- M.L. Crane, "Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification", Proceedings of the Doctoral Symposium at the 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS 2007), CEUR Workshop Proceedings Vol-262, October 2007.
- D. Flater, P.A. Martin, M.L. Crane, "Rendering UML Activity Diagrams as Human-Readable Text", Technical Report NISTIR 7469, National Institute of Standards and Technology, 2007.
- M.L. Crane and J. Dingel, "UML vs. Classical vs. Rhapsody statecharts: Not all models are created equal", Software and Systems Modelling, Volume 6, Number 4, December 2007.
- M. Broy, M.L. Crane, J. Dingel, A. Hartman, B. Rumpe and B. Selic, "2nd UML 2 Semantics Symposium: Formal Semantics for UML", MoDELS 2006 Workshops, Lecture Notes in Computer Science 4364, pp. 318-323, 2006.
- Michelle L. Crane, "On the Syntax and Semantics of State Machines", Depth Paper, Queen's University, February 2006.
- M.L. Crane and J. Dingel, "UML vs. Classical vs. Rhapsody Statecharts: Not All Models are Created Equal", Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2005), Montego Bay, Jamaica, Lecture Notes in Computer Science 3713, October 2005.
- M.L. Crane and J. Dingel, "Runtime Conformance Checking of Objects Using Alloy", Proceedings of the Third Workshop on Runtime Verification (RV '03), Electronic Notes in Theoretical Computer Science, Volume 89 (2), October 2003.
Other Publications
- M.L. Crane, J. Dingel, B. Selic, "Making UML Executable: Formalizing and Implementing UML Actions" (poster), OCE Discovery 08, May 2008.
- M.L. Crane, J. Dingel, B. Selic, "Semantics of UML: Mapping UML Actions to the System Model" (poster), CASCON 2007 Technology Showcase, October 2007.
- M. L. Crane and J. Dingel, "On the Semantics of UML State Machines: Categorization and Comparison", Technical Report 2005-501, Queen's University, August 2005.
- M.L. Crane, "Runtime Conformance Checking of Objects Using Alloy", M.Sc. Thesis, School of Computing, Queen's University, August 2003.
- M.L. Crane and J. Dingel, "Embee Performance Tests", Technical Report 2003-465, Queen's University, June 2003.