​
Login / Signup
Wajeb Saab
ORCID
Publication Activity (10 Years)
Years Active: 2013-2018
Publications (10 Years): 8
Top Topics
Power Grids
Formal Verification
Telecommunication Systems
Real Time Control
Top Venues
ETFA
IECON
e-Energy
ESEM
</>
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)