Amine Achouri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2013–2014
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | COMPSAC | Institution Theory for Services Oriented Applications. | Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2014 | COMPSAC | Towards an Institutional Representation for the B Model Oriented Specification. | Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2014 | IRI | UML activity diagram to event-B: A model transformation approach based on the institution theory. | Amine Achouri, Leila Jemni Ben Ayed |
| 2013 | ICSoft | Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory. | Amine Achouri, Leila Jemni Ben Ayed |