Energy-efficient truncated multipliers. - Ibrahim Abdelghany; Wajeb Saab; Tarek Sakakini; Abdul-Amir Yassine; Ali Chehab; Ayman I. Kayssi; Imad H. Elhajj (ICEAC, 2013)

Energy-efficient truncated multipliers with scaling. - Ibrahim Abdelghany; Wajeb Saab; Tarek Sakakini; Abdul-Amir Yassine; Ali Chehab; Ayman I. Kayssi; Imad H. Elhajj (IDT, 2013)

Formal Verification of Infinite-State BIP Models. - Simon Bliudze; Alessandro Cimatti; Mohamad Jaber 001; Sergio Mover; Marco Roveri; Wajeb Saab; Qiang Wang 020 (ATVA, 2015)

Axo: Masking delay faults in real-time control systems. - Maaz Mohiuddin; Wajeb Saab; Simon Bliudze; Jean-Yves Le Boudec (IECON, 2016)

Aggregation of power capabilities of heterogeneous resources for real-time control of power grids. - Andrey Bernstein; Jean-Yves Le Boudec; Mario Paolone; Lorenzo Reyes-Chamorro; Wajeb Saab (PSCC, 2016)

T-RECS: A software testbed for multi-agent real-time control of electric grids. - Jagdish Prasad Achara; Maaz Mohiuddin; Wajeb Saab; Roman Rudnik; Jean-Yves Le Boudec (ETFA, 2017)

Quarts: Quick agreement for real-time control systems. - Wajeb Saab; Maaz Mohiuddin; Simon Bliudze; Jean-Yves Le Boudec (ETFA, 2017)

T-RECS: A Virtual Commissioning Tool for Software-Based Control of Electric Grids: Design, Validation, and Operation. - Jagdish Prasad Achara; Maaz Mohiuddin; Wajeb Saab; Roman Rudnik; Jean-Yves Le Boudec; Lorenzo Reyes-Chamorro (e-Energy, 2018)

Experimental validation of the suitability of virtualization-based replication for fault tolerance in real-time control of electric grids. - Seyed Alireza Sanaee Kohroudi; Mostafa Jalal; Maaz Mohiuddin; Wajeb Saab; Jean-Yves Le Boudec (ESEM, 2018)

Ordering events based on intentionality in cyber-physical systems. - Wajeb Saab; Maaz Mohiuddin; Simon Bliudze; Jean-Yves Le Boudec (ICCPS, 2018)

Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems. - Maaz Mohiuddin; Wajeb Saab; Simon Bliudze; Jean-Yves Le Boudec (IEEE Trans. Ind. Informatics, 2018)

Reliable and Robust Cyber-Physical Systems for Real-Time Control of Electric Grids. - Wajeb Saab (2019)