 | 2009 |
|---|
| 7 |       | Mohamed Wassim Trojet,
Mamoun Sqali,
Lucile Torres,
Claudia S. Frydman:
Using Simulation Techniques and Formal Methods for Validating Interaction Based Models.
MSV 2009: 193-199 |
| 2008 |
|---|
| 6 |  | Mamoun Sqali,
Lucile Torres,
Claudia S. Frydman:
Synthesizing scenarios to DEVS models.
SpringSim 2008: 22 |
| 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) |
| 2005 |
|---|
| 4 | | Maâmar El-Amine Hamri,
Claudia S. Frydman,
Lucile Torres:
Modeling waiting systems from domain expert specifications.
Winter Simulation Conference 2005: 456-460 |
| 2004 |
|---|
| 3 | | Claudia S. Frydman,
Lucile Torres,
Souhir Ghédira:
Using DEVS for an Extended UML.
Software Engineering Research and Practice 2004: 903-908 |
| 2003 |
|---|
| 2 | | Maâmar El-Amine Hamri,
Claudia S. Frydman,
Lucile Torres:
Specifying and Validating Reactive Systems with CommonKADS Methodology.
KES 2003: 39-44 |
| 2000 |
|---|
| 1 | | Lucile Torres,
Claudia S. Frydman:
Building a knowledge based system for computer aided diagnosis.
KES 2000: 549-552 |
