Runtime Conformance Checking of Objects Using Alloy. - Michelle L. Crane; Jürgen Dingel (RV@CAV, 2003)

2nd UML 2 Semantics Symposium: Formal Semantics for UML. - Manfred Broy; Michelle L. Crane; Jürgen Dingel; Alan Hartman; Bernhard Rumpe; Bran Selic (MoDELS (Workshops), 2006)

Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification. - Michelle L. Crane (MoDELS (Doctoral Symposium), 2007)

UML vs. classical vs. rhapsody statecharts: not all models are created equal. - Michelle L. Crane; Jürgen Dingel (Softw. Syst. Model., 2007)

Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. - Michelle L. Crane; Jürgen Dingel (CASCON, 2008)

Towards a Formal Account of a Foundational Subset for Executable UML Models. - Michelle L. Crane; Jürgen Dingel (MoDELS, 2008)

Rendering UML Activity Diagrams as Human-Readable Text. - David W. Flater; Philippe Martin; Michelle L. Crane (IKE, 2009)

Slicing UML's Three-layer Architecture: A Semantic Foundation for Behavioural Specification. - Michelle L. Crane (2009)

UML 2 Semantics Symposium: Formal Semantics for UML. - Manfred Broy; Michelle L. Crane; Jürgen Dingel; Alan Hartman; Bernhard Rumpe; Bran Selic (CoRR, 2014)