Urmăriți
Behnaz Changizi
Behnaz Changizi
Leiden University
Adresă de e-mail confirmată pe behnaz.org
Titlu
Citat de
Citat de
Anul
A unified toolset for business process model formalization
B Changizi, N Kokash, F Arbab
Preproceedings of FESCA 2010, 147-156, 2010
342010
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
182010
Input-output conformance testing for channel-based service connectors
N Kokash, F Arbab, B Changizi, L Makhnist
arXiv preprint arXiv:1108.1862, 2011
122011
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
32012
Service orchestration with priority constraints
B Changizi, N Kokash, F Arbab
Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019
22019
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
12009
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–9