Follow
Vajihollah Montaghami
Vajihollah Montaghami
Verified email at uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
Extending Alloy with partial instances
V Montaghami, D Rayside
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
492012
Bordeaux: A tool for thinking outside the box
V Montaghami, D Rayside
Fundamental Approaches to Software Engineering: 20th International …, 2017
152017
Staged evaluation of partial instances in a relational model finder
V Montaghami, D Rayside
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
152014
Synthesizing iterators from abstraction functions
D Rayside, V Montaghami, F Leung, A Yuen, K Xu, D Jackson
Proceedings of the 11th International Conference on Generative Programming …, 2012
102012
Pattern-based debugging of declarative models
V Montaghami, D Rayside
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
42015
An evaluation method for aspectual modeling of distributed software architectures
H Bagheri, V Montaghami, G Safi, SH Mirian-Hosseinabadi
2008 IEEE/ACS International Conference on Computer Systems and Applications …, 2008
12008
Debugging Relational Declarative Models with Discriminating Examples
V Montaghami
University of Waterloo, 2017
2017
ECE750 Course-project: Towards Sliced Alloy
V Montaghami
2012
The system can't perform the operation now. Try again later.
Articles 1–8