iBench Journal/Conference Articles Click here for BibTeX entries
	iBench BU/CS Technical Reports Click here for BibTeX entries
	iBench Publications By Keywords

	Michael Ocean, Azer Bestavros, and Assaf Kfoury. snBench: Programming and virtualization framework for distributed multitasking sensor networks. In Proceedings of the 2nd international conference on Virtual execution environments (VEE 2006), pages 89 -- 99, New York, NY, USA, June 2006. ACM Press.
	Azer Bestavros, Adam Bradley, Assaf Kfoury, and Ibrahim Matta. Typed Abstraction of Complex Network Compositions. In Proceedings of ICNP'05: The 13th IEEE International Conference on Network Protocols, Boston, MA, November 2005.
	Azer Bestavros, Adam Bradley, Assaf Kfoury, and Michael Ocean. SNBENCH: A Development and Run-Time Platform for Rapid Deployment of Sensor Network Applications. In Proceedings of the IEEE International Workshop on Broadband Advanced Sensor Networks (Basenets 2005), Boston, MA, October 2005.
	Yuting Zhang, Azer Bestavros, Mina Guirguis, Ibrahim Matta, and Richard West. Friendly Virtual Machines: Leveraging a Feedback-Control Model for Application Adaptation. In Proceedings of the 2005 ACM/USENIX Conference on Virtual Execution Environments, Chicago, Illinois, June 2005.
	Azer Bestavros, Adam Bradley, Assaf Kfoury, and Ibrahim Matta. Safe Compositional Specification of Networking Systems. ACM SIGCOMM Computer Communication Review (CCR), 34(3), July 2004.
	Adam Bradley, Azer Bestavros, and Assaf Kfoury. A Typed Model for Encoding-Based Protocol Interoperability. In Proceedings of ICNP'04: The 12th IEEE International Conference on Network Protocols, Berlin, Germany, October 2004.
	Gali Diamant, Leonid Veytser, Ibrahim Matta, Azer Bestavros, Mina Guirguis, Liang Guo, Yuting Zhang, and Sean Chen. itmBench: Generalized API for Internet Traffic Managers. In Proceedings of the 10th IEEE Globecom Workshop on Computer-Aided Modeling, Analysis and Design of Communication Links and Networks (CAMAD'04), Austin, Texas, November 2004.
	Mina Guirguis, Azer Bestavros, Ibrahim Matta, Niky Riga, Gali Diamant, and Yuting Zhang. Providing Soft Bandwidth Guarantees Using Elastic TCP-based Tunnels. In Proceedings of ISCC'04: IEEE Symposium on Computer and Communications, Alexandria, Egypt, 2004.
	Adam Bradley, Azer Bestavros, and Assaf Kfoury. Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. In Proceedings of ICNP'03: The 11th IEEE International Conference on Network Protocols, Atlanta, GA, November 2003.
	Adam Bradley and Azer Bestavros. Basis Token Consistency: Extending and Evaluating a Novel Web Consistency Algorithm. In Proceedings of WC3: The International Workshop on Caching, Coherence, and Consistency, New York, June 2002.
	Adam Bradley and Azer Bestavros. Basis Token Consistency: Supporting Strong Web Cache Consistency. In Proceedings of the 2002 Globecom Global Internet Symposium, Taipei, Taiwan, November 2002.
	Adam Bradley, Azer Bestavros, and Assaf Kfoury. Safe Composition of Web Communication Protocols for Extensible Edge Services. In Proceedings of the 7th International Web Caching and Content Delivery Workshop, Boulder, CO, August 2002.

	Dustin Burke, Dave Cecere, and Ben Freiberg. Extending snBench to Support a Video-Based Intrusion Detection and Alerting System with a Centralized Hash Table. Technical Report BUCS-TR-2006-015, CS Department, Boston University, July 14 2006.
	Ching Chang, Raymond Sweha, and Panagiotis Papapetrou. Extending snBench to Support a Graphical Programming Interface for a Sensor Network Tasking Language (STEP). Technical Report BUCS-TR-2006-014, CS Department, Boston University, July 14 2006.
	Yarom Gabay, Michael Ocean, Assaf Kfoury, and Likai Liu. Computational Properties of SNAFU. Technical Report BUCS-TR-2006-001, CS Department, Boston University, February 6 2006.
	Likai Liu and Assaf Kfoury. Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types. Technical Report BUCS-TR-2006-029, CS Department, Boston University, October 25 2006.
	Jorge Londono, Sowmya Manjanatha, and Zhinan Han. Extending snBench to Provide Concurrency Support in the Sensorium Execution Environment (SXE). Technical Report BUCS-TR-2006-013, CS Department, Boston University, July 14 2006.
	Michael Ocean, Assaf Kfoury, and Azer Bestavros. Integrating Sensor-Network Research and Development into a Software Engineering Curriculum. Technical Report BUCS-TR-2006-016, CS Department, Boston University, July 14 2006.
	Gabriel Parmer, Georgios Zervas, and Angshuman Bagchi. Extending snBench to Support Hierarchical and Configurable Scheduling. Technical Report BUCS-TR-2006-012, CS Department, Boston University, July 14 2006.
	Azer Bestavros, Adam Bradley, Assaf Kfoury, and Ibrahim Matta. Typed Abstraction of Complex Network Compositions. Technical Report BUCS-TR-2005-014, CS Department, Boston University, May 1 2005.
	Adam Bradley, Assaf Kfoury, and Azer Bestavros. StaXML: Static Typing of XML Document Fragments for Imperative Web Scripting Languages. Technical Report BUCS-TR-2004-007, CS Department, Boston University, February 13 2005.
	Yarom Gabay, Assaf Kfoury, Likai Liu, Azer Bestavros, Adam Bradley, and Ibrahim Matta. Type Systems for a Network Specification Language With Multiple-Choice Let. Technical Report BUCS-TR-2005-034, CS Department, Boston University, December 28 2005.
	Likai Liu, Assaf Kfoury, Azer Bestavros, Adam Bradley, Yarom Gabay, and Ibrahim Matta. Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking. Technical Report BUCS-TR-2005-015, CS Department, Boston University, May 12 2005.
	Likai Liu, Assaf Kfoury, Azer Bestavros, Yarom Gabay, Adam Bradley, and Ibrahim Matta. Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach. Technical Report BUCS-TR-2005-033, CS Department, Boston University, December 28 2005.
	Azer Bestavros, Adam Bradley, Assaf Kfoury, and Ibrahim Matta. Safe Compositional Specification of Networking Systems. Technical Report BUCS-TR-2004-021, CS Department, Boston University, May 14 2004.
	Adam Bradley, Azer Bestavros, and Assaf Kfoury. Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. Technical Report BUCS-TR-2003-012, CS Department, Boston University, May 16 2003.
	Gali Diamant, Leonid Veytser, Ibrahim Matta, Azer Bestavros, Mina Guirguis, Liang Guo, Yuting Zhang, and Sean Chen. itmBench: Generalized API for Internet Traffic Managers. Technical Report BUCS-TR-2003-032, CS Department, Boston University, December 16 2003.
	Adam Bradley, Azer Bestavros, and Assaf Kfoury. Safe Composition of Web Communication Protocols for Extensible Edge Services. Technical Report BUCS-TR-2002-017, Boston University, Computer Science Department, May 2002.
	Adam Bradley, Azer Bestavros, and Assaf Kfoury. Validating Arbitrarily Large Network Protocol Compositions with Finite Computation. Technical Report BUCS-TR-2002-030, Boston University, Computer Science Department, November 2002.
	Adam Bradley and Azer Bestavros. Basis Token Consistency: A Practical Mechanism for Strong Web Cache Consistency. Technical Report BUCS-TR-2001-024, Boston University, Computer Science Department, October 2001.

(C) Copyright 2003. All rights reserved.
Updated last on October 31, 2006