Ahmed Sobeih

According to our database, Ahmed Sobeih authored at least 15 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Assertion Checking in J-Sim Simulation Models of Network Protocols.

Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou

Simul., 2010

2009

Design, Realization and Evaluation of a Component-based, Compositional Network Simulation Environment.

Hung-Ying Tyan, Ahmed Sobeih, Jennifer C. Hou

Simul., 2009

2008

Verification of Simulation Models of Network Protocols Using State Space Exploration

Ahmed Sobeih

PhD thesis, 2008

Incremental state-space exploration for programs with dynamically allocated data.

Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols.

Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Almost Peer-to-Peer Clock Synchronization.

Ahmed Sobeih, Michel Hack, Zhen Liu, Li Zhang

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006

J-Sim: a simulation and emulation environment for wireless sensor networks.

Ahmed Sobeih, Jennifer C. Hou, Lu-Chuan Kung, Ning Li, Honghai Zhang, Wei-Peng Chen, Hung-Ying Tyan, Hyuk Lim

IEEE Wirel. Commun., 2006

Optimized Execution of Deterministic Blocks in Java PathFinder.

Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Towards Composable and Extensible Network Simulation.

Hung-Ying Tyan, Ahmed Sobeih, Jennifer C. Hou

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.

Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou

Proceedings of the Formal Methods and Software Engineering, 2005

J-Sim: A Simulation Environment for Wireless Sensor Networks.

Ahmed Sobeih, Wei-Peng Chen, Jennifer C. Hou, Lu-Chuan Kung, Ning Li, Hyuk Lim, Hung-Ying Tyan, Honghai Zhang

Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005

2004

Check and simulate: a case for incorporating model checking in network simulation.

Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

VRing: A Case for Building Application-Layer Multicast Rings (Rather Than Trees).

Ahmed Sobeih, William Yurcik, Jennifer C. Hou

Proceedings of the 12th International Workshop on Modeling, 2004

On the reliability of ODMRP in mobile ad hoc networks.

Ahmed Sobeih, Hoda Baraka, Aly A. Fahmy

Proceedings of the 23rd IEEE International Performance Computing and Communications Conference, 2004

ReMHoc: a reliable multicast protocol for wireless mobile multihop ad hoc networks.

Ahmed Sobeih, Hoda Baraka, Aly A. Fahmy

Proceedings of the 1st IEEE Consumer Communications and Networking Conference, 2004