| |
| 2008 | ||
|---|---|---|
| 4 | EE | Youcef Hammal: A modular state exploration and compatibility checking of UML dynamic diagrams. AICCSA 2008: 793-800 |
| 3 | EE | Youcef Hammal: Behavioral Compatibility of Active Components. SEFM 2008: 372-376 |
| 2006 | ||
| 2 | EE | Youcef Hammal: Branching Time Semantics for UML 2.0 Sequence Diagrams. FORTE 2006: 259-274 |
| 2005 | ||
| 1 | EE | Youcef Hammal: A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. FORTE 2005: 38-52 |