Amine Achouri

According to our database, Amine Achouri authored at least 6 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Institution-based UML activity diagram transformation with semantic preservation.

Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed

Int. J. Comput. Sci. Eng., 2019

2016

A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory.

Amine Achouri, Leila Jemni Ben Ayed

CoRR, 2016

2014

UML activity diagram to event-B: A model transformation approach based on the institution theory.

Amine Achouri, Leila Jemni Ben Ayed

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Towards an Institutional Representation for the B Model Oriented Specification.

Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Institution Theory for Services Oriented Applications.

Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory.

Amine Achouri, Leila Jemni Ben Ayed

Proceedings of the ICSOFT 2013, 2013