Seguir
Hesham Saadawi
Título
Citado por
Citado por
Ano
Verification of real-time DEVS models
H Saadawi, G Wainer
Proceedings of the 2009 Spring Simulation Multiconference, 1-8, 2009
352009
Principles of discrete event system specification model verification
H Saadawi, G Wainer
Simulation 89 (1), 41-67, 2013
332013
Rational time-advance devs (rta-devs)
H Saadawi, G Wainer
Proceedings of the 2010 Spring Simulation Multiconference, 1-8, 2010
282010
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
142016
From DEVS to RTA-DEVS
H Saadawi, G Wainer
2010 IEEE/ACM 14th International Symposium on Distributed Simulation and …, 2010
142010
Principles of DEVS models verification for real-time embedded applications
H Saadawi, G Wainer, M Moallemi
Real-time simulation technologies: principles, methodologies, and …, 2011
122011
On the verification of hybrid DEVS models
H Saadawi, G Wainer
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation-DEVS …, 2012
102012
Modeling a sand pile application using Cell-DEVS
H Saadawi, G Wainer
Proceedings of the 2003 Summer Computer Simulation Conference, Montreal, QC …, 2003
82003
Modeling physical systems using finite element Cell-DEVS
H Saadawi, G Wainer
Simulation Modelling Practice and Theory 15 (10), 1268-1291, 2007
72007
Universal e-catalog pattern
H Saadawi
Proceedings of the 2006 conference on Pattern languages of programs, 1-8, 2006
52006
Modeling complex physical systems using 2D finite element Cell-DEVS
H Saadawi, G Wainer
Advanced Simulation Technologies Conference 2004, 2004
52004
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
22013
Improving the finite element method using cell-DEVS
H Saadawi, G Wainer
Summer Computer Simulation Conference, 348-353, 2003
22003
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–15