Saadawi's Publications with ARSLab

Author (First or Last name): Title: Year:

Category:

Publication Type: Display:

14 publications
 
Publications in 2016
1- "DEVS execution acceleration with machine learning", Hesham Saadawi, Gabriel A. Wainer, German J. Pliego, Proceedings of the 2016 Spring Simulation Multiconference - TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Pasadena, CA - 2016 DEVS Execution Acceleration with Machine Learning.pdf
 
Publications in 2013
2- "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 2013 - 2013 p10-SW13.pdf
3- "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, page 41-67 - jan 2013 j7-SW13.pdf
 
Publications in 2012
4- "On the verification of hybrid DEVS models", Hesham Saadawi, Gabriel A. Wainer, Proceedings of 2012 Spring Simulation Conference (SpringSim12), DEVS/TMS Symposium, Orlando, FL - March 2012 p21-SW12.pdf
5- "Principles of DEVS Models Verification for Real-Time Embedded Applications", Hesham Saadawi, Gabriel A. Wainer, Mohammad Moallemi, Taylor and Francis, page 63--96 - 2012 10.1201_b12667-3.pdf
6- "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
7- "From DEVS to RTA-DEVS", Hesham Saadawi, Gabriel A. Wainer, Procedings of IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications DS-RT 2010, , page TBD, Washington, DC - July 2010 05636855.pdf
8- "Rational Time-Advance DEVS (RTA-DEVS) ", Hesham Saadawi, Gabriel A. Wainer, Proceedings of 2010 Spring Simulation Conference (SpringSim10), DEVS Symposium, page 199--206, Orlando, FL - April 2010 Rational Time Advance DEVSv11.pdf
 
Publications in 2009
9- "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
10- "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
11- "Modeling Complex Physical Systems Using 2D Finite Element Cell-DEVS", Hesham Saadawi, Gabriel A. Wainer, Advanced Simulation Technologies Conference 2004, Arlington, VA - 2004 MGA04FEM.pdf
 
Publications in 2003
12- "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
13- "Improving the Finite Elements Methods using Cell-DEVS", Hesham Saadawi, Master thesis from Carleton University - 2003 H_Saadawi_PhD_Thesis v .10_compressed.pdf
14- "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

14 publications
 

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).