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