WSAN QoS Driven Control Model for Building Operations. - Alie El-Din Mady; Menouer Boubekeur; Gregory M. Provan (SOCO, 2010)

Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation. - Alie El-Din Mady; Menouer Boubekeur; Gregory M. Provan; Conor Ryan; Kenneth N. Brown (SOCO, 2010)

Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation. - Alie El-Din Mady; Gregory M. Provan; Conor Ryan; Kenneth N. Brown (AAAI, 2011)

Co-design of Wireless Sensor-Actuator Networks for building controls. - Alie El-Din Mady; Gregory M. Provan (CDC/ECC, 2011)

Designing cost-efficient wireless sensor/actuator networks for building control systems. - Alie El-Din Mady; Gregory M. Provan; Ning Wei (BuildSys@SenSys, 2012)

Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. - Thao Dang 001; Alie El-Din Mady; Menouer Boubekeur; Rajesh Kumar; Mark Moulin (CSDM, 2016)

Cyber-Physical-Security Framework for Building Energy Management System. - Kaveh Paridari; Alie El-Din Mady; Silvio La Porta; Rohan Chabukswar; Jacobo Blanco; André Teixeira 001; Henrik Sandberg; Menouer Boubekeur (ICCPS, 2016)

Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. - Luís Diogo Couto; Stylianos Basagiannis; El Hassan Ridouane; Alie El-Din Mady; Miran Hasanagic; Peter Gorm Larsen (SEFM Workshops, 2017)

Generating Privacy Zones in Smart Cities. - Fayola Peters; Sorren Hanvey; Suresh Veluru 001; Alie El-Din Mady; Menouer Boubekeur; Bashar Nuseibeh (ISC2, 2018)

A Framework for Attack-Resilient Industrial Control Systems: Attack Detection and Controller Reconfiguration. - Kaveh Paridari; Niamh O'Mahony; Alie El-Din Mady; Rohan Chabukswar; Menouer Boubekeur; Henrik Sandberg (Proc. IEEE, 2018)

Rekeying-based Moving Target Defence Mechanism for Side-Channel Attacks. - Satyanarayana Vuppala; Alie El-Din Mady; Adam Kuenzi (GIoTS, 2019)

A Novel Asset Authentication Scheme for Cyber Physical Systems. - Satyanarayana Vuppala; Alie El-Din Mady; Deepak Mehta 001 (GIoTS, 2019)

Moving Target Defense Mechanism for Side-Channel Attacks. - Satyanarayana Vuppala; Alie El-Din Mady; Adam Kuenzi (IEEE Syst. J., 2020)