Wajeb Saab

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 8

Top Topics

Formal Verification

Telecommunication Systems

Real Time Control

Top Venues

Publications

Jagdish Prasad Achara, Maaz Mohiuddin, Wajeb Saab, Roman Rudnik, Jean-Yves Le Boudec, Lorenzo Reyes-Chamorro
T-RECS: A Virtual Commissioning Tool for Software-Based Control of Electric Grids: Design, Validation, and Operation. e-Energy (2018)
Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec
Ordering events based on intentionality in cyber-physical systems. ICCPS (2018)
Seyed Alireza Sanaee Kohroudi, Mostafa Jalal, Maaz Mohiuddin, Wajeb Saab, Jean-Yves Le Boudec
Experimental validation of the suitability of virtualization-based replication for fault tolerance in real-time control of electric grids. ESEM (2018)
Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec
Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems. IEEE Trans. Ind. Informatics 14 (7) (2018)
Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec
Quarts: Quick agreement for real-time control systems. ETFA (2017)
Jagdish Prasad Achara, Maaz Mohiuddin, Wajeb Saab, Roman Rudnik, Jean-Yves Le Boudec
T-RECS: A software testbed for multi-agent real-time control of electric grids. ETFA (2017)
Andrey Bernstein, Jean-Yves Le Boudec, Mario Paolone, Lorenzo Reyes-Chamorro, Wajeb Saab
Aggregation of power capabilities of heterogeneous resources for real-time control of power grids. PSCC (2016)
Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec
Axo: Masking delay faults in real-time control systems. IECON (2016)
Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang
Formal Verification of Infinite-State BIP Models. ATVA (2015)
Ibrahim Abdelghany, Wajeb Saab, Tarek Sakakini, Abdul-Amir Yassine, Ali Chehab, Ayman I. Kayssi, Imad H. Elhajj
Energy-efficient truncated multipliers. ICEAC (2013)
Ibrahim Abdelghany, Wajeb Saab, Tarek Sakakini, Abdul-Amir Yassine, Ali Chehab, Ayman I. Kayssi, Imad H. Elhajj
Energy-efficient truncated multipliers with scaling. IDT (2013)