Verification of real-time DEVS models H Saadawi, G Wainer Proceedings of the 2009 Spring Simulation Multiconference, 1-8, 2009 | 29 | 2009 |

Principles of discrete event system specification model verification H Saadawi, G Wainer Simulation 89 (1), 41-67, 2013 | 25 | 2013 |

Rational time-advance devs (rta-devs) H Saadawi, G Wainer Proceedings of the 2010 Spring Simulation Multiconference, 1-8, 2010 | 21 | 2010 |

On the verification of hybrid DEVS models H Saadawi, G Wainer Proceedings of the 2012 Symposium on Theory of Modeling and Simulation-DEVS …, 2012 | 12 | 2012 |

From DEVS to RTA-DEVS H Saadawi, G Wainer 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and …, 2010 | 12 | 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 | 10 | 2011 |

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 |

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 | 7 | 2016 |

Modeling physical systems using finite element Cell-DEVS H Saadawi, G Wainer Simulation Modelling Practice and Theory 15 (10), 1268-1291, 2007 | 6 | 2007 |

Universal e-catalog pattern H Saadawi Proceedings of the 2006 conference on Pattern languages of programs, 1-8, 2006 | 5 | 2006 |

Defining models of complex 2D physical systems using Cell-DEVS H Saadawi, G Wainer Technical Report SCE-04-04. Carleton University, 2004 | 4 | 2004 |

Modeling complex physical systems using 2D finite element Cell-DEVS H Saadawi, G Wainer Advanced Simulation Technologies Conference 2004, 2004 | 4 | 2004 |

Verification methodology for DEVS models HS Saadawi Carleton University, 2013 | 3 | 2013 |

Improving the Finite Element Method using Cell-DEVS H Saadawi, G Wainer Summer Computer Simulation Conference, 348-353, 2003 | 2 | 2003 |

Hybrid systems modeling and verification with DEVS (WIP) H Saadawi, G Wainer Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS …, 2013 | 1 | 2013 |

Hybrid Systems Modeling and Verification with DEVS H Saadawi, G Wainer | | |