Saadawi's Publications with ARSLab

Publications in 2013
1- "Hybrid Systems Modeling and Verification with DEVS", Hesham Saadawi, Gabriel A. Wainer, Proceedings of 2013 SCS/ACM/IEEE Symposium on Theory of Modeling and Simulation, TMS/DEVS’13 - 2013 p10-SW13.pdf

2- "Principles of Discrete Event System Specification model verification", Hesham Saadawi, Gabriel A. Wainer, SIMULATION: Transactions of the Society for Modeling and Simulation International, Volume 89, Number 1 - jan 2013 j7-SW13.pdf
 
Publications in 2012
3- "On the verification of hybrid DEVS models", Hesham Saadawi, Gabriel A. Wainer, Proceedings of 2012 Spring Simulation Conference (SpringSim12), DEVS/TMS Symposium - March 2012 p21-SW12.pdf


5- "Verification methodology for DEVS models", Hesham Saadawi, PhD thesis from Systems and Computer Engineering Dep. Carleton University, 1125 Colonel By Dr. Ottawa, ON, Canada K1S 5B6 - Fall 2012 Saadawi.pdf
 
Publications in 2010
6- "From DEVS to RTA-DEVS", Hesham Saadawi, Gabriel A. Wainer, Procedings of IEEE DS-RT, Washington DC, USA, page TBD - July 2010

7- "Rational Time-Advance DEVS (RTA-DEVS) ", Hesham Saadawi, Gabriel A. Wainer, Proceedings of 2010 Spring Simulation Conference (SpringSim10), DEVS Symposium, page 199--206 - April 2010 Rational Time Advance DEVSv11.pdf
 
Publications in 2009
8- "Verification of Real-Time DEVS Models", Hesham Saadawi, Gabriel A. Wainer, Springsim 2009 conference proceeding, P.O. Box 17900 San Diego, CA 92177-7900 - March 2009 Elevator verification_v7_DEVS09 Format.pdf
 
Publications in 2007
9- "Modeling Physical Systems Using Finite Element Cell-DEVS", Hesham Saadawi, Gabriel A. Wainer, Simulation Modelling Practice and Theory, Volume 15, Number 10, page 1268--1291 - November 2007 FEM-SIMPAT.pdf
 
Publications in 2004
 
Publications in 2003
11- "Improving the Finite Element Method models using Cell-DEVS", Hesham Saadawi, Gabriel A. Wainer, Proceedings of the 2003 Summer Computer Simulation Conference, Montreal, QC. Canada. - 2003 SCSC03-FEM.pdf

12- "Modeling a sand pile application using Cell-DEVS", Hesham Saadawi, Gabriel A. Wainer, Proceedings of the 2003 Summer Computer Simulation Conference (Student Workshop), Montreal, QC. Canada. - 2003 SCSC03SandPile.pdf


Copyright Notice:
The material in this webpage is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights are retained by copyright holder(s), and they cannot be reposted without the explicit permission of the copyright holder(s).