A formal approach for the specification, verification and control of flexible manufacturing systems. - Sajeh Zairi; Belhassen Zouari; Laurent Piétrac (ETFA, 2007)

Sensor self-scheduling algorithm based on one-hop neighbouring knowledge and considering the sensors remaining energy. - Sajeh Zairi; Éric Niel; Belhassen Zouari; Emil Dumitrescu (ECC, 2009)

Coloured Petri Net Model for the Formal Validation of Sensor Networks. - Sajeh Zairi; Belhassen Zouari; Éric Niel (SNA, 2009)

Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy. - Sajeh Zairi; Belhassen Zouari; Éric Niel; Emil Dumitrescu (IET Wirel. Sens. Syst., 2012)

Generic Colored Petri Nets Model for the Makespan Optimization in Fexible Manufacturing Systems. - Sajeh Zairi; Zeineb Madhbi; Belhassen Zouari (MIM, 2013)

Dynamic Reliability Assessment Based on Ouroboros Paradigm. - Hela Kadri; Sajeh Zairi; Éric Niel (EMS, 2014)

Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network. - Sajeh Zairi; Anis Mezni; Belhassen Zouari (WWIC, 2015)

A generic generalized stochastic Petri nets model for the performance analysis of FMS considering the resources failures. - Sajeh Zairi; Belhassen Zouari; Hamdi Rahal; Jean-François Pradat-Peyre (CoDIT, 2018)

Non-Terrestrial Networks in a Nutshell. - Ikbal Chammakhi Msadaa; Sajeh Zairi; Amine Dhraief (IEEE Internet Things Mag., 2022)

Flying to the Rescue: UAV-Assisted Urgent Alert Transmission in VANET. - Leila Bouchrit; Sajeh Zairi; Ikbal Chammakhi Msadaa; Amine Dhraief; Khalil Drira (WETICE, 2023)

Enhancing road safety: UAV-enabled warning message dissemination in urban and rural environments for VANETS. - Leila Bouchrit; Sajeh Zairi; Ikbal Chammakhi Msadaa; Amine Dhraief (Int. J. Commun. Networks Distributed Syst., 2025)

A state machine-based mobility model for UAVs supporting VANETs. - Leila Bouchrit; Sajeh Zairi; Ikbal Chammakhi Msadaa; Amine Dhraief (Peer Peer Netw. Appl., 2025)