Ahmed Sobeih
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2004–2008
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ICSE | Incremental state-space exploration for programs with dynamically allocated data. | Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan |
| 2006 | ICFEM | Optimized Execution of Deterministic Blocks in Java PathFinder. | Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov |
| 2005 | ICFEM | Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. | Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou |
| 2004 | IPCCC | On the reliability of ODMRP in mobile ad hoc networks. | Ahmed Sobeih, Hoda Baraka, Aly A. Fahmy |
| 2004 | MASCOTS | VRing: A Case for Building Application-Layer Multicast Rings (Rather Than Trees). | Ahmed Sobeih, William Yurcik, Jennifer C. Hou |
| 2004 | MEMOCODE | Check and simulate: a case for incorporating model checking in network simulation. | Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou |