A unified toolset for business process model formalization B Changizi, N Kokash, F Arbab Preproceedings of FESCA 2010, 147-156, 2010 | 34 | 2010 |
A semantic model for service composition with coordination time delays N Kokash, B Changizi, F Arbab Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 18 | 2010 |
Input-output conformance testing for channel-based service connectors N Kokash, F Arbab, B Changizi, L Makhnist arXiv preprint arXiv:1108.1862, 2011 | 12 | 2011 |
A constraint-based method to compute semantics of channel-based coordination models B Changizi, N Kokash, F Arbab Proceedings of the International Conference on Software Engineering Advances …, 2012 | 3 | 2012 |
Service orchestration with priority constraints B Changizi, N Kokash, F Arbab Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019 | 2 | 2019 |
Compositional Workflow Modeling with Priority Constraints LM B. Changizi, N. Kokash, F. Arbab Science of Computer Programming, 2020 | 1* | 2020 |
On the correctness of a translation map between specifications in Z and SETL2 prototype B Changizi, HSH MIRIAN International Journal of Information and Communication Technology Research 1 …, 2009 | 1 | 2009 |
Constraint-Based Analysis of Business Process Models B Changizi Leiden University, 2020 | | 2020 |
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, EPTCS N Kokash, F Arbab, B Changizi, L Makhnist | | 2011 |