Ahmed Sobeih

Biography

I am a Ph.D. candidate at the Department of Computer Science, College of Engineering, University of Illinois at Urbana-Champaign (UIUC). I am a member of the Illinois Network Design and Experimentation (INDEX) group. My Ph.D. advisors are Prof. Jennifer C. Hou and Prof. Mahesh Viswanathan. I also work closely with Prof. Darko Marinov. I received my B.Sc. and M.Sc. degrees in Computer Engineering from Cairo University, Egypt in July 1999 and May 2002 respectively. 

Research Interests

• Simulation modeling, analysis and verification

• Verification of simulation models of network protocols

• Wireless networks and sensor networks

Honors and Awards

• IBM Invention Award (2007)

• Vodafone-U.S. Foundation Graduate Fellowship (2006-2007, 2007-2008)

• Represented in The Chancellor's List (2005-2006)

• Richard T. Cheng Endowed Fellowship, University of Illinois at Urbana-Champaign (2002-2003)

• Travel grant, Cairo University, Giza, Egypt (2002)

• B.Sc. Honors Award, Cairo University, Giza, Egypt July (1999)

• Undergraduate Excellence Financial Award, Cairo University, Giza, Egypt (1994-1999)

• Partial scholarship from Faculty of Science and Technology, University of Robert Gordon, Aberdeen, UK (1996)

• High school tuition waiver, Greek Catholic Patriarchal College, Cairo, Egypt (1993-1994)

• Full scholarship for the International Baccalaureate, United World College of the Adriatic, Trieste, Italy (1993)

Publications

Patent: 

• Michel Hack, Zhen Liu, Ahmed Sobeih and Li Zhang, “Almost Peer-to-Peer Clock Synchronization,” US patent filed as YOR920060441US1 by IBM in 2006. 

Journals and Magazines: 

• Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov and Jennifer C. Hou, "Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties," Submitted for publication.

• Hung-Ying Tyan,  Ahmed Sobeih and Jennifer C. Hou, "Design, Realization, and Evaluation of a Component-Based Compositional Network Simulation Environment," Accepted for publication in SIMULATION: Transactions of The Society for Modeling and Simulation International. 

• Ahmed Sobeih, Wei-Peng Chen, Jennifer C. Hou, Lu-Chuan Kung, Ning Li, Hyuk Lim, Hung-Ying Tyan and Honghai Zhang, "J-Sim: A Simulation and Emulation Environment for Wireless Sensor Networks,” IEEE Wireless Communications Magazine, Vol. 13, No. 4, August 2006.

Conferences and Workshops: 

• Ahmed Sobeih, Michel Hack, Zhen Liu and Li Zhang, "Almost Peer-to-Peer Clock Synchronization," Proceedings of the IEEE International Symposium on Parallel and Distributed Processing (IEEE IPDPS 2007), Long Beach, CA, March 2007.

• Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov and Jennifer C. Hou, "J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols," Proceedings of the IEEE International Symposium on Parallel and Distributed Processing (IEEE IPDPS 2007), NSF Next Generation Software Program Workshop, Long Beach, CA, March 2007.

• Marcelo d'Amorim, Ahmed Sobeih and Darko Marinov, "Optimized Execution of Deterministic Blocks in Java PathFinder," To appear in the Proceedings of the International Conference on Formal Engineering Methods (ICFEM 2006), Macau, China, November 2006.  

• Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov and Jennifer C. Hou, "Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics," Proceedings of the International Conference on Formal Engineering Methods (ICFEM 2005), Springer-Verlag LNCS 3785, Manchester, United Kingdom, November 2005. 

• Hung-Ying Tyan,  Ahmed Sobeih and Jennifer C. Hou, "Towards Composable and Extensible Network Simulation," Proceedings of the IEEE International Symposium on Parallel and Distributed Processing (IEEE IPDPS 2005), NSF Next Generation Software Program Workshop, Denver, CO, April 2005.

• Ahmed Sobeih, Wei-Peng Chen, Jennifer C. Hou, Lu-Chuan Kung, Ning Li, Hyuk Lim, Hung-Ying Tyan and Honghai Zhang, "J-Sim: A Simulation Environment for Wireless Sensor Networks,” Proceedings of the Annual Simulation Symposium (ANSS 2005), part of the 2005 Spring Simulation Multiconference (SpringSim 2005), San Diego, CA, April 2005.

• Ahmed Sobeih and William Yurcik, "A Survey of Ring-Building Network Protocols Suitable for Command and Control Group Communications," Proceedings of the Conference on Sensors, and Command, Control, Communications, and Intelligence (C3I) Technologies for Homeland Security and Homeland Defense IV, part of the SPIE Symposium on Defense and Security, Orlando, FL, March 2005. 

• Ahmed Sobeih, Jun Wang and William Yurcik, "Performance Evaluation and Comparison of Tree and Ring Application-Layer Multicast Overlay Networks," Proceedings of the International Computer Engineering Conference: New Technologies for the Information Society (ICENCO 2004), Cairo, Egypt, December 2004.

• Ahmed Sobeih, William Yurcik and Jennifer C. Hou, "VRing: A Case for Building Application-Layer Multicast Rings (Rather Than Trees)," Proceedings of the IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (IEEE/ACM MASCOTS 2004), Volendam, The Netherlands, October 2004.

• Ahmed Sobeih, Mahesh Viswanathan and Jennifer C. Hou, "Check and Simulate: A Case for Incorporating Model Checking in Network Simulation," Proceedings of the ACM-IEEE International Conference on Formal Methods and Models for Codesign (ACM-IEEE MEMOCODE 2004), San Diego, CA, June 2004.

• Ahmed Sobeih, Hoda Baraka and Aly Fahmy, "On the Reliability of ODMRP in Mobile Ad Hoc Networks," Proceedings of the IEEE International Performance, Computing, and Communications Conference (IEEE IPCCC 2004), Phoenix, AZ, April 2004. 

• Ahmed Sobeih, Hoda Baraka and Aly Fahmy, "ReMHoc: A Reliable Multicast Protocol for Wireless Mobile Multihop Ad Hoc Networks," Proceedings of the IEEE Consumer Communications and Networking Conference (IEEE CCNC 2004), Las Vegas, NV, January 2004.

• Hassanein Amer and Ahmed Sobeih, “Increasing the Reliability of the Motorola MC68HC11 in the Presence of Temporary Failures,” Proceedings of the IEEE Mediterranean Electrotechnical Conference (IEEE MELECON 2002), Cairo, Egypt, May 2002. 

Technical Reports and Theses: 

• Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov and Jennifer C. Hou, "Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties," Technical Report UIUCDCS-R-2007-2886, Department of Computer Science, University of Illinois at Urbana-Champaign, August 2007 (Engineering No. is UILU-ENG-2007-1788).

• Marcelo d'Amorim, Ahmed Sobeih and Darko Marinov, "Optimized Execution of Deterministic Blocks in Java PathFinder," Technical Report UIUCDCS-R-2006-2740, Department of Computer Science, University of Illinois at Urbana-Champaign, June 2006 (Engineering No. is UILU-ENG-2006-1780). 

• Ahmed Sobeih, Mahesh Viswanathan and Jennifer C. Hou, "Bounded Model Checking of Network Protocols in Network Simulators by Exploiting Protocol-Specific Heuristics," Technical Report UIUCDCS-R-2005-2547, Department of Computer Science, University of Illinois at Urbana-Champaign, April 2005 (Engineering No. is UILU-ENG-2005-1741). 

• Ahmed Sobeih, William Yurcik and Jennifer C. Hou, "VRing: A Ring-based Application-Layer Multicast Protocol," Technical Report UIUCDCS-R-2004-2468, Department of Computer Science, University of Illinois at Urbana-Champaign, August 2004 (Engineering No. is UILU-ENG-2004-1769). 

• Ahmed Sobeih, Mahesh Viswanathan and Jennifer C. Hou, "Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation," Technical Report UIUCDCS-R-2004-2466, Department of Computer Science, University of Illinois at Urbana-Champaign, July 2004 (Engineering No. is UILU-ENG-2004-1767). 

• Ahmed Sobeih and Jennifer C. Hou, “A Simulation Framework for Sensor Networks in J-Sim,” Technical Report UIUCDCS-R-2003-2386, Department of Computer Science, University of Illinois at Urbana-Champaign, November 2003 (Engineering No. is UILU-ENG-2003-1772). 

• Ahmed Sobeih, “Reliable Multicasting in Wireless Mobile Multihop Ad Hoc Networks,” M.Sc. Thesis, Computer Engineering Department, Faculty of Engineering, Cairo University, Giza, Egypt, April 2002.