| 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 | 39 | 2015 |
| 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 | 15 | 2016 |
| 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 | 11 | 2016 |
| 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 | 9 | 2017 |
| 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 | 9 | 2017 |
| 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 | 8 | 2017 |
| 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 | 5 | 2018 |
| 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 | 3 | 2018 |
| 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 | 3 | 2018 |
| 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 | 2 | 2013 |
| 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 | 2 | 2013 |
| 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 | 1 | 2018 |
| NI USRP GSM Base Station T Hajar, W Saab, T Sakakini The Thirteenth FEA Student and Alumni Conference, 73-78, 2014 | 1 | 2014 |
| 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 |
Jean-Yves Le BoudecProfessor of Communication Systems, EPFLVerified email at epfl.ch
