Hesham Saadawi
Title
Cited by
Cited by
Year
Verification of real-time DEVS models
H Saadawi, G Wainer
Proceedings of the 2009 Spring Simulation Multiconference, 1-8, 2009
292009
Principles of discrete event system specification model verification
H Saadawi, G Wainer
Simulation 89 (1), 41-67, 2013
252013
Rational time-advance devs (rta-devs)
H Saadawi, G Wainer
Proceedings of the 2010 Spring Simulation Multiconference, 1-8, 2010
212010
On the verification of hybrid DEVS models
H Saadawi, G Wainer
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation-DEVS …, 2012
122012
From DEVS to RTA-DEVS
H Saadawi, G Wainer
2010 IEEE/ACM 14th International Symposium on Distributed Simulation and …, 2010
122010
Principles of DEVS models verification for real-time embedded applications
H Saadawi, G Wainer, M Moallemi
Real-time simulation technologies: principles, methodologies, and …, 2011
102011
Modeling a sand pile application using Cell-DEVS
H Saadawi, G Wainer
Proceedings of the 2003 Summer Computer Simulation Conference, Montreal, QC …, 2003
82003
DEVS execution acceleration with machine learning
H Saadawi, G Wainer, G Pliego
2016 Symposium on Theory of Modeling and Simulation (TMS-DEVS), 1-6, 2016
72016
Modeling physical systems using finite element Cell-DEVS
H Saadawi, G Wainer
Simulation Modelling Practice and Theory 15 (10), 1268-1291, 2007
62007
Universal e-catalog pattern
H Saadawi
Proceedings of the 2006 conference on Pattern languages of programs, 1-8, 2006
52006
Defining models of complex 2D physical systems using Cell-DEVS
H Saadawi, G Wainer
Technical Report SCE-04-04. Carleton University, 2004
42004
Modeling complex physical systems using 2D finite element Cell-DEVS
H Saadawi, G Wainer
Advanced Simulation Technologies Conference 2004, 2004
42004
Verification methodology for DEVS models
HS Saadawi
Carleton University, 2013
32013
Improving the Finite Element Method using Cell-DEVS
H Saadawi, G Wainer
Summer Computer Simulation Conference, 348-353, 2003
22003
Hybrid systems modeling and verification with DEVS (WIP)
H Saadawi, G Wainer
Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS …, 2013
12013
Hybrid Systems Modeling and Verification with DEVS
H Saadawi, G Wainer
The system can't perform the operation now. Try again later.
Articles 1–16