Mahdi Karima

Mahdi Karima

École Normale Supérieure de Constantine - Constantine / Algeria
Others
AD Scientific Index ID: 5848619
person_outline Mahdi Karima's MOST POPULAR ARTICLES
1-) A quantum inspired evolutionary framework for multi-objective optimization Progress in Artificial Intelligence: 12th Portuguese Conference on …, 2005
2-) Model checking and code generation for UML diagrams using graph transformation International Journal of Software Engineering & Applications 3 (6), 39, 2012
3-) From UML Activity Diagrams to CSP Expressions: A Graph Transformation Approach using Atom^ sup 3^ Tool International Journal of Computer Science Issues (IJCSI) 8 (2), 368, 2011
4-) Web services modeling and composition approach using object-oriented petri nets arXiv preprint arXiv:1304.2080, 2013
5-) From uml statecharts and collaboration diagrams to coloured petri nets models: A graph transformation based approach for modelling and analysis of business processes in virtual … 2009 Fourth South-East European Workshop on Formal Methods, 73-78, 2009