Alie El-Din Mady
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2017
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SEFM | Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. | Lus Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen |
| 2012 | SENSYS | Designing cost-efficient wireless sensor/actuator networks for building control systems. | Alie El-Din Mady, Gregory M. Provan, Ning Wei |
| 2011 | AAAI | 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 |