Ahmed Sobeih

15 papers A* 1A 3B 1C 4Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2010 J jnl
Assertion Checking in J-Sim Simulation Models of Network Protocols.
Simul.
Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
2009 J jnl
Design, Realization and Evaluation of a Component-based, Compositional Network Simulation Environment.
Simul.
Hung-Ying Tyan, Ahmed Sobeih, Jennifer C. Hou
2008 A* conf
Incremental state-space exploration for programs with dynamically allocated data.
ICSE
Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan
2008 — —
Verification of Simulation Models of Network Protocols Using State Space Exploration
Ahmed Sobeih
2007 A conf
Almost Peer-to-Peer Clock Synchronization.
IPDPS
Ahmed Sobeih, Michel Hack, Zhen Liu, Li Zhang
2007 A conf
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols.
IPDPS
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
2006 J jnl
J-Sim: a simulation and emulation environment for wireless sensor networks.
IEEE Wirel. Commun.
Ahmed Sobeih, Jennifer C. Hou, Lu-Chuan Kung, Ning Li, Honghai Zhang, Wei-Peng Chen, Hung-Ying Tyan, Hyuk Lim
2006 C conf
Optimized Execution of Deterministic Blocks in Java PathFinder.
ICFEM
Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov
2005 C conf
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.
ICFEM
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
2005 — conf
J-Sim: A Simulation Environment for Wireless Sensor Networks.
Annual Simulation Symposium
Ahmed Sobeih, Wei-Peng Chen, Jennifer C. Hou, Lu-Chuan Kung, Ning Li, Hyuk Lim, Hung-Ying Tyan, Honghai Zhang
2005 A conf
Towards Composable and Extensible Network Simulation.
IPDPS
Hung-Ying Tyan, Ahmed Sobeih, Jennifer C. Hou
2004 C conf
Check and simulate: a case for incorporating model checking in network simulation.
MEMOCODE
Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou
2004 C conf
On the reliability of ODMRP in mobile ad hoc networks.
IPCCC
Ahmed Sobeih, Hoda Baraka, Aly A. Fahmy
2004 — conf
ReMHoc: a reliable multicast protocol for wireless mobile multihop ad hoc networks.
CCNC
Ahmed Sobeih, Hoda Baraka, Aly A. Fahmy
2004 B conf
VRing: A Case for Building Application-Layer Multicast Rings (Rather Than Trees).
MASCOTS
Ahmed Sobeih, William Yurcik, Jennifer C. Hou