 | 2010 |
|---|
| 16 |       | Rabah Mokhtari,
Allaoua Chaoui,
Mohamed Redha Bahri:
Mapping UML Components diagrams to XML using Graph Transformation.
CAINE 2010: 245-250 |
| 15 |  | Amel Boubendir,
Allaoua Chaoui:
Towards a generic technique for analysing interactions between aspects at requirement phase.
ICDIM 2010: 507-512 |
| 14 | | Laïd Kahloul,
Allaoua Chaoui,
Karim Djouani:
Modeling and Analysis of Reconfigurable Systems Using Flexible Nets.
NDT (1) 2010: 343-357 |
| 13 | | Laïd Kahloul,
Karim Djouani,
Walid Tfaili,
Allaoua Chaoui,
Yacine Amirat:
Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool.
NDT (2) 2010: 604-618 |
| 12 | | Amel Boubendir,
Allaoua Chaoui:
Towards a Model for Dealing with Aspect Interactions at Requirement Phase.
SEDE 2010: 196-202 |
| 11 | | Laïd Kahloul,
Allaoua Chaoui,
Karim Djouani:
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets.
TASE 2010: 107-116 |
| 10 | | Elhillali Kerkouche,
Allaoua Chaoui,
El-Bay Bourennane,
Ouassila Labbani:
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models.
JSW 5(11): 1279-1291 (2010) |
| 9 | | Elhillali Kerkouche,
Allaoua Chaoui,
El-Bay Bourennane,
Ouassila Labbani:
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation.
Journal of Object Technology 9(4): 25-43 (2010) |
| 2009 |
|---|
| 8 | | Allaoua Chaoui,
Ismail Hadjadj:
PNTools: a Multi-Language Environment to Integrate Petri Nets Tools.
CIIA 2009 |
| 7 | | Elkamel Merah,
Allaoua Chaoui:
Un Caml Light Distribué.
CIIA 2009 |
| 6 | | Elhillali Kerkouche,
Allaoua Chaoui:
A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation.
ICDCN 2009: 206-211 |
| 5 | | Elhillali Kerkouche,
Allaoua Chaoui,
Khaled Khalfaoui:
Transforming UML models to colored petri nets models using graph grammars.
ISCC 2009: 230-236 |
| 4 | | Hammadi Bennoui,
Allaoua Chaoui,
Kamel Barkaoui:
Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets.
ISPDC 2009: 99-106 |
| 3 | | Elhillali Kerkouche,
Allaoua Chaoui,
El-Bay Bourennane,
Ouassila Labbani:
Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach.
SEDE 2009: 111-118 |
| 2008 |
|---|
| 2 | | Amel Meliouh,
Elhillali Kerkouche,
Allaoua Chaoui:
A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line.
CAINE 2008: 88-93 |
| 1 | | Laïd Kahloul,
Allaoua Chaoui:
Code mobility modeling: a temporal labeled reconfigurable nets.
MOBILWARE 2008: 34 |
Data released under the ODC-BY 1.0 license — See also our legal information page