Tarik Nahhal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2020
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | VECoS | Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design. | Wilfried Yves Hamilton Adoni, Moez Krichen, Tarik Nahhal, Abdeltif Elbyed |
| 2016 | AICCSA | The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems. | Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, Tarik Nahhal |
| 2007 | CAV | Test Coverage for Continuous and Hybrid Systems. | Tarik Nahhal, Thao Dang |
| 2006 | FDL | Randomized Simulation of Hybrid Systems For Circuit Validation. | Thao Dang, Tarik Nahhal |