Modeling physical systems using finite element Cell-DEVS. - Hesham Saadawi; Gabriel A. Wainer (Simul. Model. Pract. Theory, 2007)

Verification of real-time DEVS models. - Hesham Saadawi; Gabriel A. Wainer (SpringSim, 2009)

From DEVS to RTA-DEVS. - Hesham Saadawi; Gabriel A. Wainer (DS-RT, 2010)

Rational time-advance DEVS (RTA-DEVS). - Hesham Saadawi; Gabriel A. Wainer (SpringSim, 2010)

On the verification of hybrid DEVS models. - Hesham Saadawi; Gabriel A. Wainer (SpringSim (TMS-DEVS), 2012)

Hybrid systems modeling and verification with DEVS (WIP). - Hesham Saadawi; Gabriel A. Wainer (SpringSim (TMS-DEVS), 2013)

Principles of Discrete Event System Specification model verification. - Hesham Saadawi; Gabriel A. Wainer (Simul., 2013)

DEVS execution acceleration with machine learning. - Hesham Saadawi; Gabriel A. Wainer; German Pliego (SpringSim (TMS-DEVS), 2016)