publication venue for
- Dynamite. 23:1-37. 2014
- Efficient Analysis of DynAlloy Specifications. 17:1-34. 2007
- Metamodel-based model conformance and multiview consistency checking. 16:11-es. 2007
- Reasoning about static and dynamic properties in alloy. 14:478-526. 2005