ReMHoc: a reliable multicast protocol for wireless mobile multihop ad hoc networks. - Ahmed Sobeih; Hoda Baraka; Aly A. Fahmy (CCNC, 2004)

On the reliability of ODMRP in mobile ad hoc networks. - Ahmed Sobeih; Hoda Baraka; Aly A. Fahmy (IPCCC, 2004)

VRing: A Case for Building Application-Layer Multicast Rings (Rather Than Trees). - Ahmed Sobeih; William Yurcik; Jennifer C. Hou (MASCOTS, 2004)

Check and simulate: a case for incorporating model checking in network simulation. - Ahmed Sobeih; Mahesh Viswanathan 001; Jennifer C. Hou (MEMOCODE, 2004)

J-Sim: A Simulation Environment for Wireless Sensor Networks. - Ahmed Sobeih; Wei-Peng Chen; Jennifer C. Hou; Lu-Chuan Kung; Ning Li 014; Hyuk Lim; Hung-Ying Tyan; Honghai Zhang (Annual Simulation Symposium, 2005)

Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. - Ahmed Sobeih; Mahesh Viswanathan 001; Darko Marinov; Jennifer C. Hou (ICFEM, 2005)

Towards Composable and Extensible Network Simulation. - Hung-Ying Tyan; Ahmed Sobeih; Jennifer C. Hou (IPDPS, 2005)

Optimized Execution of Deterministic Blocks in Java PathFinder. - Marcelo d'Amorim; Ahmed Sobeih; Darko Marinov (ICFEM, 2006)

J-Sim: a simulation and emulation environment for wireless sensor networks. - Ahmed Sobeih; Jennifer C. Hou; Lu-Chuan Kung; Ning Li 014; Honghai Zhang; Wei-Peng Chen; Hung-Ying Tyan; Hyuk Lim (IEEE Wirel. Commun., 2006)

Almost Peer-to-Peer Clock Synchronization. - Ahmed Sobeih; Michel Hack; Zhen Liu 001; Li Zhang 002 (IPDPS, 2007)

J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. - Ahmed Sobeih; Mahesh Viswanathan 001; Darko Marinov; Jennifer C. Hou (IPDPS, 2007)

Incremental state-space exploration for programs with dynamically allocated data. - Steven Lauterburg; Ahmed Sobeih; Darko Marinov; Mahesh Viswanathan 001 (ICSE, 2008)

Verification of Simulation Models of Network Protocols Using State Space Exploration - Ahmed Sobeih (2008)

Design, Realization and Evaluation of a Component-based, Compositional Network Simulation Environment. - Hung-Ying Tyan; Ahmed Sobeih; Jennifer C. Hou (Simul., 2009)

Assertion Checking in J-Sim Simulation Models of Network Protocols. - Ahmed Sobeih; Marcelo d'Amorim; Mahesh Viswanathan 001; Darko Marinov; Jennifer C. Hou (Simul., 2010)