Naim Aber

According to our database, Naim Aber authored at least 4 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

RBS2HLL - A Formal Modeling of Relay-Based Interlocking.

Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

2013

A New Approach to Abstract Reachability State Space of Time Petri Nets.

Kais Klai, Naim Aber, Laure Petrucci

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Verification of Reachability Properties for Time Petri Nets.

Kais Klai, Naim Aber, Laure Petrucci

Proceedings of the Reachability Problems - 7th International Workshop, 2013

2012

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