| 2008 |
|---|
| 9 | EE | Steven Lauterburg,
Ahmed Sobeih,
Darko Marinov,
Mahesh Viswanathan:
Incremental state-space exploration for programs with dynamically allocated data.
ICSE 2008: 291-300 |
| 2007 |
|---|
| 8 | EE | Ahmed Sobeih,
Michel Hack,
Zhen Liu,
Li Zhang:
Almost Peer-to-Peer Clock Synchronization.
IPDPS 2007: 1-10 |
| 7 | EE | Ahmed Sobeih,
Mahesh Viswanathan,
Darko Marinov,
Jennifer C. Hou:
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols.
IPDPS 2007: 1-6 |
| 2006 |
|---|
| 6 | EE | Marcelo d'Amorim,
Ahmed Sobeih,
Darko Marinov:
Optimized Execution of Deterministic Blocks in Java PathFinder.
ICFEM 2006: 549-567 |
| 2005 |
|---|
| 5 | EE | Ahmed Sobeih,
Wei-Peng Chen,
Jennifer C. Hou,
Lu-Chuan Kung,
Ning Li,
Hyuk Lim,
Hung-Ying Tyan,
Honghai Zhang:
J-Sim: A Simulation Environment for Wireless Sensor Networks.
Annual Simulation Symposium 2005: 175-187 |
| 4 | EE | Ahmed Sobeih,
Mahesh Viswanathan,
Darko Marinov,
Jennifer C. Hou:
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.
ICFEM 2005: 235-250 |
| 3 | EE | Hung-Ying Tyan,
Ahmed Sobeih,
Jennifer C. Hou:
Towards Composable and Extensible Network Simulation.
IPDPS 2005 |
| 2004 |
|---|
| 2 | EE | Ahmed Sobeih,
William Yurcik,
Jennifer C. Hou:
VRing: A Case for Building Application-Layer Multicast Rings (Rather Than Trees).
MASCOTS 2004: 437-446 |
| 1 | EE | Ahmed Sobeih,
Mahesh Viswanathan,
Jennifer C. Hou:
Check and simulate: a case for incorporating model checking in network simulation.
MEMOCODE 2004: 27-36 |
