| A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory A Amine, JBA Leila | 13* | |
| UML activity diagram to event-B: A model transformation approach based on the institution theory A Achouri, LJB Ayed Proceedings of the 2014 IEEE 15th International Conference on Information …, 2014 | 7 | 2014 |
| Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory A Amine, JBA Leila ICSOFT 2013, 178-185, 2013 | 6 | 2013 |
| Using AToM3 for the Verification of Workflow Applications. LJB Ayed, AB Younes, ABB Achouri ICSOFT (2), 32-39, 2010 | 5 | 2010 |
| Institution-based UML activity diagram transformation with semantic preservation A Achouri, YB Hlaoui, LJB Ayed International Journal of Computational Science and Engineering 18 (3), 240-251, 2019 | 3 | 2019 |
| Towards an institutional representation for the B model oriented specification A Achouri, YB Hlaoui, LJB Ayed 2014 IEEE 38th International Computer Software and Applications Conference …, 2014 | 1 | 2014 |
| Institution theory for services oriented applications A Achouri, YB Hlaoui, LJB Ayed 2014 IEEE 38th International Computer Software and Applications Conference …, 2014 | 1 | 2014 |
| Formulating the B Model Oriented Specification Independent from Its Underlying Logic using Institution Theory YBHJBAL Amine Achouri LNCS, 2014 | | 2014 |
