Wajeb Saab
Wajeb Saab
PhD candidate in Computer and Communications Sciences at EPFL
Verified email at epfl.ch
Title
Cited by
Cited by
Year
Formal verification of infinite-state BIP models
S Bliudze, A Cimatti, M Jaber, S Mover, M Roveri, W Saab, Q Wang
International Symposium on Automated Technology for Verification and …, 2015
342015
Axo: Masking Delay Faults in Real-Time Control Systems
M Mohiuddin, W Saab, S Bliudze, JY Le Boudec
The 42nd Annual Conference of IEEE Industrial Electronics Society, 2016
112016
Aggregation of power capabilities of heterogeneous resources for real-time control of power grids
A Bernstein, JY Le Boudec, M Paolone, L Reyes-Chamorro, W Saab
2016 Power Systems Computation Conference (PSCC), 1-7, 2016
102016
T-RECS: A Software Testbed for Multi-Agent Real-Time Control of Electric Grids
JP Achara, MM Maaz, W Saab, R Rudnik, JY Le Boudec
Emerging Technologies And Factory Automation (ETFA), 2017 22nd IEEE …, 2017
72017
Quarts: Quick Agreement for Real-Time Control Systems
W Saab, MM Maaz, S Bliudze, JY Le Boudec
Emerging Technologies And Factory Automation (ETFA), 2017 22nd IEEE …, 2017
72017
Axo: Detection and recovery for delay and crash faults in real-time control systems
M Mohiuddin, W Saab, S Bliudze, JY Le Boudec
IEEE Transactions on Industrial Informatics 14 (7), 3065-3075, 2017
62017
T-RECS: A Virtual Commissioning Tool for Software-Based Control of Electric Grids–Design, Validation, and Operation
JP Achara, M Mohiuddin, W Saab, R Rudnik, JY Le Boudec, ...
9th ACM International Conference on Future Energy Systems (ACM e-Energy), 2018
42018
Robust Real-Time Control of Power Grids in the Presence of Communication Network Non-Idealities
W Saab, R Rudnik, JY Le Boudec, L Reyes-Chamorro, M Paolone
2018 IEEE International Conference on Probabilistic Methods Applied to Power …, 2018
32018
Slack selection for unintentional islanding: Practical validation in a benchmark microgrid
L Reyes-Chamorro, W Saab, R Rudnik, AM Kettner, M Paolone, ...
2018 Power Systems Computation Conference (PSCC), 1-7, 2018
32018
Energy-efficient truncated multipliers
I Abdelghany, W Saab, T Sakakini, AA Yassine, A Chehab, A Kayssi, ...
Energy Aware Computing Systems and Applications (ICEAC), 2013 4th Annual …, 2013
22013
Energy-efficient truncated multipliers with scaling
I Abdelghany, W Saab, T Sakakini, AA Yassine, A Chehab, A Kayssi, ...
Design and Test Symposium (IDT), 2013 8th International, 1-6, 2013
22013
Ordering Events Based on Intentionality in Cyber-Physical Systems
W Saab, MM Maaz, S Bliudze, JY Le Boudec
9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 107-118, 2018
12018
NI USRP GSM Base Station
T Hajar, W Saab, T Sakakini
The Thirteenth FEA Student and Alumni Conference, 73-78, 2014
12014
Reliable and Robust Cyber-Physical Systems for Real-Time Control of Electric Grids
W Saab
EPFL, 2019
2019
Experimental Validation of the Suitability of Virtualization-Based Replication for Fault Tolerance in Real-Time Control of Electric Grids
SA Sanaee Kohroudi, J Mostafa, MM Maaz, W Saab, JY Le Boudec
ACM/IEEE International Symposium on Empirical Software Engineering and …, 2018
2018
A controller and an agreement protocol for a real-time control system
W Saab, M Mashood Mohiuddin, S Bliudze, JY Le Boudec
2018
Experimental Validation of the Suitability of Virtualization-Based Replication for Fault Tolerance in Real-Time Control of Electric Grids
S Kohroudi, S Alireza, J Mostafa, MM Maaz, W Saab, JY Le Boudec
ACM / IEEE International Symposium on Empirical Software Engineering and …, 2018
2018
Axo: Tolerating Delay Faults in Real-Time Systems
MM Maaz, W Saab, S Bliudze, JY Le Boudec
2016
The system can't perform the operation now. Try again later.
Articles 1–18