2008 |
4 | EE | Rachid Bouaziz,
Ismail Berrada:
Testing Component-Based Real Time Systems.
SNPD 2008: 888-894 |
2006 |
3 | EE | Ismail Berrada,
Richard Castanet,
Patrick Félix,
Aziz Salah:
Test Case Minimization for Real-Time Systems Using Timed Bound Traces.
TestCom 2006: 289-305 |
2005 |
2 | EE | Ismail Berrada,
Richard Castanet,
Patrick Félix:
Testing Communicating Systems: a Model, a Methodology, and a Tool.
TestCom 2005: 111-128 |
2004 |
1 | EE | Ismail Berrada,
Richard Castanet,
Patrick Félix:
From The Feasability Analysis To Real-Time Test Generation.
Stud. Inform. Univ. 3(2): 203-230 (2004) |