| Verification of real-time DEVS models H Saadawi, G Wainer Proceedings of the 2009 Spring Simulation Multiconference, 1-8, 2009 | 34 | 2009 |
| Principles of discrete event system specification model verification H Saadawi, G Wainer Simulation 89 (1), 41-67, 2013 | 32 | 2013 |
| Rational time-advance devs (rta-devs) H Saadawi, G Wainer Proceedings of the 2010 Spring Simulation Multiconference, 1-8, 2010 | 27 | 2010 |
| 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 | 14 | 2016 |
| From DEVS to RTA-DEVS H Saadawi, G Wainer 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and …, 2010 | 14 | 2010 |
| Principles of DEVS models verification for real-time embedded applications H Saadawi, G Wainer, M Moallemi Real-time simulation technologies: principles, methodologies, and …, 2011 | 11 | 2011 |
| On the verification of hybrid DEVS models H Saadawi, G Wainer Proceedings of the 2012 Symposium on Theory of Modeling and Simulation-DEVS …, 2012 | 10 | 2012 |
| Modeling a sand pile application using Cell-DEVS H Saadawi, G Wainer Proceedings of the 2003 Summer Computer Simulation Conference, Montreal, QC …, 2003 | 8 | 2003 |
| Modeling physical systems using finite element Cell-DEVS H Saadawi, G Wainer Simulation Modelling Practice and Theory 15 (10), 1268-1291, 2007 | 7 | 2007 |
| Universal e-catalog pattern H Saadawi Proceedings of the 2006 conference on Pattern languages of programs, 1-8, 2006 | 5 | 2006 |
| Modeling complex physical systems using 2D finite element Cell-DEVS H Saadawi, G Wainer Advanced Simulation Technologies Conference 2004, 2004 | 5 | 2004 |
| Defining models of complex 2D physical systems using Cell-DEVS H Saadawi, G Wainer Technical Report SCE-04-04. Carleton University, 2004 | 4 | 2004 |
| Hybrid systems modeling and verification with DEVS (WIP) H Saadawi, G Wainer Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS …, 2013 | 3 | 2013 |
| Verification methodology for DEVS models HS Saadawi Carleton University, 2013 | 2 | 2013 |
| Improving the finite element method using cell-DEVS H Saadawi, G Wainer Summer Computer Simulation Conference, 348-353, 2003 | 2 | 2003 |
Gabriel WainerCarleton University, Department of Systems and Computer Engineering, Ottawa, CanadaVerified email at carleton.ca
