Routing Protocol Based on Tabu Search for Wireless Sensor Networks. - Fouzi Semchedine; Louiza Bouallouche-Medjkoune; Leila Bennacer; Naim Aber; Djamil Aïssani (Wirel. Pers. Commun., 2012)

Verification of Reachability Properties for Time Petri Nets. - Kais Klai; Naim Aber; Laure Petrucci (RP, 2013)

A New Approach to Abstract Reachability State Space of Time Petri Nets. - Kais Klai; Naim Aber; Laure Petrucci (TIME, 2013)

RBS2HLL - A Formal Modeling of Relay-Based Interlocking. - Naïm Aber; Benjamin Blanc; Nathalie Ferkane; Mohand Meziani; Julien Ordioni (RSSRail, 2019)