An evaluation method for aspectual modeling of distributed software architectures. - Hamid Bagheri; Vajih Montaghami; Gholamreza Safi; Seyed-Hassan Mirian-Hosseinabadi (AICCSA, 2008)

Extending Alloy with Partial Instances. - Vajih Montaghami; Derek Rayside (ABZ, 2012)

Synthesizing iterators from abstraction functions. - Derek Rayside; Vajih Montaghami; Francesca Leung; Albert Yuen; Kevin Xu; Daniel Jackson 001 (GPCE, 2012)

Staged Evaluation of Partial Instances in a Relational Model Finder. - Vajih Montaghami; Derek Rayside (ABZ, 2014)

Pattern-based debugging of declarative models. - Vajih Montaghami; Derek Rayside (MoDELS, 2015)

Bordeaux: A Tool for Thinking Outside the Box. - Vajih Montaghami; Derek Rayside (FASE, 2017)