Mounira Belmesk

Publication Activity (10 Years)

Years Active: 1990-2008
Publications (10 Years): 0

Publications

Thouraya Bouabana-Tebibel, Mounira Belmesk
Integration of the Association Ends within UML State Diagrams. Int. Arab J. Inf. Technol. 5 (1) (2008)
Thouraya Bouabana-Tebibel, Mounira Belmesk
An object-oriented approach to formally analyze the UML 2.0 activity partitions. Inf. Softw. Technol. 49 (9-10) (2007)
Thouraya Bouabana-Tebibel, Mounira Belmesk
Formalization of UML object dynamics and behavior. SMC (5) (2004)
Thouraya Bouabana-Tebibel, Mounira Belmesk
From UML Towards Petri Nets to Specify and Verify. ICINCO (1) (2004)
Mounira Belmesk, Zineb Habbas
Une algèbre de processus pour la programmation logique parallèle. JFPL (1992)
Mounira Belmesk
A Process Semantics of Logic Programs. RCLP (1991)
Mounira Belmesk
Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou". SPLT (1990)
Mounira Belmesk
A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. AIMSA (1990)
Mounira Belmesk
An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract). ISSAC (1990)
Mounira Belmesk, Zineb Habbas, Philippe Jorrand
A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. Dagstuhl Seminar on Parallelization in Inference Systems (1990)