Follow
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
322009
Principles of discrete event system specification model verification
H Saadawi, G Wainer
Simulation 89 (1), 41-67, 2013
312013
Rational time-advance devs (rta-devs)
H Saadawi, G Wainer
Proceedings of the 2010 Spring Simulation Multiconference, 1-8, 2010
282010
From DEVS to RTA-DEVS
H Saadawi, G Wainer
2010 IEEE/ACM 14th International Symposium on Distributed Simulation and …, 2010
142010
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
132016
On the verification of hybrid DEVS models
H Saadawi, G Wainer
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation-DEVS …, 2012
112012
Principles of DEVS models verification for real-time embedded applications
H Saadawi, G Wainer, M Moallemi
Real-time simulation technologies: principles, methodologies, and …, 2011
112011
Modeling a sand pile application using Cell-DEVS
H Saadawi, G Wainer
Proceedings of the 2003 Summer Computer Simulation Conference, Montreal, QC …, 2003
92003
Modeling physical systems using finite element Cell-DEVS
H Saadawi, G Wainer
Simulation Modelling Practice and Theory 15 (10), 1268-1291, 2007
72007
Modeling complex physical systems using 2D finite element Cell-DEVS
H Saadawi, G Wainer
Advanced Simulation Technologies Conference 2004, 2004
52004
Universal e-catalog pattern
H Saadawi
Proceedings of the 2006 conference on Pattern languages of programs, 1-8, 2006
42006
Defining models of complex 2D physical systems using Cell-DEVS
H Saadawi, G Wainer
Technical Report SCE-04-04. Carleton University, 2004
42004
Hybrid systems modeling and verification with DEVS (WIP)
H Saadawi, G Wainer
Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS …, 2013
32013
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
The system can't perform the operation now. Try again later.
Articles 1–15