Hesham Saadawi

According to our database, Hesham Saadawi authored at least 8 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

DEVS execution acceleration with machine learning.

Hesham Saadawi, Gabriel A. Wainer, German Pliego

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

2013

Principles of Discrete Event System Specification model verification.

Hesham Saadawi, Gabriel A. Wainer

Simul., 2013

Hybrid systems modeling and verification with DEVS (WIP).

Hesham Saadawi, Gabriel A. Wainer

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

2012

On the verification of hybrid DEVS models.

Hesham Saadawi, Gabriel A. Wainer

Proceedings of the 2012 Spring Simulation Multiconference, 2012

2010

Rational time-advance DEVS (RTA-DEVS).

Hesham Saadawi, Gabriel A. Wainer

Proceedings of the 2010 Spring Simulation Multiconference, 2010

From DEVS to RTA-DEVS.

Hesham Saadawi, Gabriel A. Wainer

Proceedings of the DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications, 2010

2009

Verification of real-time DEVS models.

Hesham Saadawi, Gabriel A. Wainer

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

2007

Modeling physical systems using finite element Cell-DEVS.

Hesham Saadawi, Gabriel A. Wainer

Simul. Model. Pract. Theory, 2007