2008 |
7 | EE | Michelle L. Crane,
Jürgen Dingel:
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities.
CASCON 2008: 8 |
6 | EE | Michelle L. Crane,
Jürgen Dingel:
Towards a Formal Account of a Foundational Subset for Executable UML Models.
MoDELS 2008: 675-689 |
2007 |
5 | EE | Michelle L. Crane:
Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification.
MoDELS (Doctoral Symposium) 2007 |
4 | EE | Michelle L. Crane,
Jürgen Dingel:
UML vs. classical vs. rhapsody statecharts: not all models are created equal.
Software and System Modeling 6(4): 415-435 (2007) |
2006 |
3 | EE | Manfred Broy,
Michelle L. Crane,
Jürgen Dingel,
Alan Hartman,
Bernhard Rumpe,
Bran Selic:
2nd UML 2 Semantics Symposium: Formal Semantics for UML.
MoDELS Workshops 2006: 318-323 |
2005 |
2 | EE | Michelle L. Crane,
Jürgen Dingel:
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal.
MoDELS 2005: 97-112 |
2003 |
1 | EE | Michelle L. Crane,
Jürgen Dingel:
Runtime Conformance Checking of Objects Using Alloy.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |