List all publications in the following research area.
Network Simulation and Emulation
Journal / Magazine
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, num. 4, pp. 104-119, August 2006.
Jennifer C. Hou and P. R. Kumar, Network modeling and simulation, editorial for the special issue of network modeling and simulation in Computer Networks Journal, vol. 50, num. 12, August 2006.
Hwangnam Kim and Jennifer C. Hou, Mixed mode simulation for IEEE 802.11-operated WLANs: integration of packet mode and fluid mode based simulation, Computer Networks Journal, vol. 51, num. 6, pp. 1379-1402, April 2007.
Chunyu Hu and Jennifer C. Hou, Toward Efficient and Scalable Wireless Network Simulation, IEEE Wireless Communications Magazine, to appear.
Conference Paper
Hung-Ying Tyan, Bin Wang, Yi Ye, and Chao-Ju Hou, NetSimQ: a Java-integrated network simulation tool for QoS control in point-to-point high speed networks, in Proc. of 3rd NASA Research and Education Network Workshop, Moffett Field, CA, August 1998. (note: Also presented in the Work-in-Progress session of IEEE Real-Time Technology and Applications Symposium, Denver, CO, June 1998)
Hung-Ying Tyan and Chao-Ju Hou, JavaSim: A component-based compositional network simulation environment, in Proc. of Western Simulation Multiconference -- Communication Networks And Distributed Systems Modeling And Simulation, January 2001. (note: An enhanced version has been submitted to IEEE Trans. on Software Engineering, October 2001)
Hung-Ying Tyan and Chao-Ju Hou, Design, realization, and evaluation of a component-based, compositional network simulation environment, in Proc. of 2002 SCS Western Multiconference on Computer Simulation -- communication networks and distributed systems modeling and simulation conference, January 2002. (note: An enhanced version has been submitted to ACM Trans. on Modeling and Computer Simulation, December 2001)
Hwangnam Kim and Chao-Ju Hou, How good is fluid simulation for simulating IEEE 802.11 operated WLANs?, in Proc. of 2003 SCS Western Multiconference on Computer Simulation -- communication networks and distributed systems modeling and simulation conference, January 2003.
Hwangnam Kim and Chao-Ju Hou, Network calculus based simulation: theorems, implementation, and evaluation,, in Proc. of IEEE INFOCOM 2004, March 2004. (note: acceptance ratio = ~18%)
Hwangnam Kim and Chao-Ju Hou, Throughput analysis for IEEE 802.11-operated WLANs: mathematical modeling and its application to fluid model based simulation, in Proc. of ACM SIGMETRICS 2004, June 2004. (note: acceptance ratio = ~12%)
Ahmed Sobeih, Jennifer C. Hou, and Mahesh Viswanathan, Check and Simulate: A Case for Incorporating Model Checking in Network Simulation, in Proc. of Second ACM-IEEE Int'l Conf. on Formal Methods and Models for Codesign, June 2004. (note: acceptance ratio = ~47%)
Ahmed Sobeih, Wei-Peng Chen, Jennifer C. Hou, Lu-Chuan Kung, Ning Li, Hyuk Lim, Honghai Zhang, J-Sim: a simulation and emulation environment for wireless sensor networks, in Proc. of 38th Annual Simulation Symposium, San Diego, CA, April 2005.
Chunyu Hu and Jennifer C. Hou, A reactive channel model for expediting wireless network simulation, in Proc. of ACM SIGMETRICS poster session, June 2005. (note: 31 full papers and 23 posters out of 237 submissions)
Hung-Ying Tyan, Ahmed Sobeih, and Jennifer C. Hou, Towards composable and extensible network simulation, in Proc. of NSF Next Generation Software Program Meeting, in conjuction with IEEE International Parallel and Distributed Processing Symposium (IPDPS), Denver, Colorado, April 2005. (note: invited paper)
Hwangnam Kim and Jennifer C. Hou, Mixed-mode simulation for IEEE 802.11-operated WLANs: achieving the best of all worlds performance, in Proc. of International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2005), July 2005.
Ahmed Sobeih, Mahesh Viswanathan and Jennifer C. Hou, Finding bugs in network protocols using simulation code and protocol-specific heuristics, in Proc. of Seventh International Conference on Formal Engineering Methods (ICFEM 2005), November 2005.
Hwangnam Kim, Hyuk Lim, and Jennifer C. Hou, Accelerating simulation of large-scale IP networks: an network invariant preserving approach, in Proc. of IEEE INFOCOM 2006, March 2006 (acceptance rate = 18%).
Jong-Kwon Lee and Jennifer C. Hou, Modeling steady-state and transient behaviors of user mobility: formulation, analysis, and application, in Proc. of ACM 7th International Symposium on Mobile Ad Hoc Networking and Computing (Mobihoc'06), May 2006. (note: 31/318, acceptance rate = 10%)
Marcelo d'Amorim, Ahmed Sobeih and Darko Marinov, Optimized Execution of Deterministic Blocks in Java PathFinder, in Proc. of Proceedings of the International Conference on Formal Engineering Methods (ICFEM 2006), November 2006.
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov and Jennifer C. Hou, J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols, in Proc. of Proc. of the IEEE International Symposium on Parallel and Distributed Processing (IEEE IPDPS 2007), NSF Next Generation Software Program Workshop, March 2007.
Technical Report
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. (note: published in Proc. of ANSS 2005. A substantially extended version appeared in IEEE Communications Magazine)
Hwangnam Kim and Jennifer C. Hou, Network Invariant-Based Fast Simulation for Large Scale TCP/IP Networks, UIUCDCS-R-2004-2424, Department of Computer Science, University of Illinois at Urbana Champaign, 2004. (note: a shortened version appeared in IEEE INFOCOM 2006)
Hwangnam Kim and Jennifer C. Hou, Mixed-mode simulation for IEEE 802.11-operated WLANs: achieving the best of all worlds performance, UIUCDCS-R-2004-2463, Department of Computer Science, University of Illinois at Urbana Champaign, 2004.
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. (note: published in Proc. of ACM-IEEE MEMOCODE 2004)
Chunyu Hu and Jennifer C. Hou, A Reactive Channel Model for Expediting Wireless Network Simulation, Technical Report UIUCDCS-R-2005-2539, Department of Computer Science, University of Illinois at Urbana-Champaign, March 2005. (note: published in Proc. of SIGMETRICS 2005 as an extended abstract)
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.
Chunyu Hu and Jennifer C. Hou, Toward Efficient and Scalable Wireless Network Simulation, UIUCDCS-R-2005-2670, Department of Computer Science, University of Illinois at Urbana-Champaign, 2005.
Ph.D. Thesis
Hung-Ying Tyan, Design, realization and evaluation of a component-based software architecture for network simulation, Department of Electrical Engineering, Ohio State University, 2001.
Hwangnam Kim, Enabling theoretical model based techniques for simulating large scale networks, Department of Conputer Science, University of Illinois at Urbana-Champaign, August 2004.
Manuscripts Submitted for Review
Hwangnam Kim and Jennifer C. Hou, A fast simulation framework for IEEE 802.11-operated wireless LANs, IEEE/ACM Trans. on Networking, 2005 (under second review).
Hung-Ying Tyan, Ahmed Sobeih and Jennifer C. Hou, Design, ralization, and evaluation of a component-based, compositional network simulation environment, Simulation: Transaction of the Society for Modeling and Simulation International, 2006.
Hwangnam Kim, Hyuk Lim, and Jennifer C. Hou, Accelerating Simulation of Large-Scale IP Networks Through Preserving Network Invariants, Computer Networks Journal, 2007.
Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov and Jennifer C. Hou, Verification of Network Simulation Models Using State Space Exploration and Protocol-Specific Heuristics, ACM Trans. on Modeling and Computer Simulation, 2007.
|
