 | 2009 |
|---|
| 7 |       | Mohamed Wassim Trojet,
Claudia S. Frydman,
Maâmar El-Amine Hamri:
Practical application of "lightweight" Z in DEVS framework.
SpringSim 2009 |
| 2008 |
|---|
| 6 |  | Mohamed Wassim Trojet,
Maâmar El-Amine Hamri,
Claudia S. Frydman:
Integrating Z in DEVS : a case study Lift Control System.
Software Engineering Research and Practice 2008: 437-443 |
| 2006 |
|---|
| 5 | | Maâmar El-Amine Hamri,
Lucile Torres,
Claudia S. Frydman:
Discrete event simulation of reactive knowledge based systems.
KES Journal 10(6): 417-431 (2006) |
| 4 | | Maâmar El-Amine Hamri,
Norbert Giambiasi,
Claudia S. Frydman:
Min-Max-DEVS modeling and simulation.
Simulation Modelling Practice and Theory 14(7): 909-929 (2006) |
| 2005 |
|---|
| 3 | | Maâmar El-Amine Hamri,
Claudia S. Frydman,
Lucile Torres:
Modeling waiting systems from domain expert specifications.
Winter Simulation Conference 2005: 456-460 |
| 2004 |
|---|
| 2 | | Maâmar El-Amine Hamri,
Norbert Giambiasi,
Claudia S. Frydman:
Simulation Semantics for Min-Max DEVS Models.
AIS 2004: 699-708 |
| 2003 |
|---|
| 1 | | Maâmar El-Amine Hamri,
Claudia S. Frydman,
Lucile Torres:
Specifying and Validating Reactive Systems with CommonKADS Methodology.
KES 2003: 39-44 |
