Vajih Montaghami

According to our database, Vajih Montaghami authored at least 6 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Bordeaux: A Tool for Thinking Outside the Box.

Vajih Montaghami, Derek Rayside

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2015

Pattern-based debugging of declarative models.

Vajih Montaghami, Derek Rayside

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

2014

Staged Evaluation of Partial Instances in a Relational Model Finder.

Vajih Montaghami, Derek Rayside

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2012

Synthesizing iterators from abstraction functions.

Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson

Proceedings of the Generative Programming and Component Engineering, 2012

Extending Alloy with Partial Instances.

Vajih Montaghami, Derek Rayside

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2008

An evaluation method for aspectual modeling of distributed software architectures.

Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008