Papers

2022

• • Mayank Varia, Aloni Cohen, Andrew Sellars, and Azer Bestavros. Multi-Regulation Computing: Examining the Legal and Policy Questions That Arise From Secure Multiparty Computation. To appear in Proceedings of ACM CSLaw'22: The Symposium on Computer Science and Law, Washington, D.C., November, 2022.

  • Azer Bestavros, Stacey Dogan, Paul Ohm, and Andy Sellars. Bridging the Computer Science–Law Divide. Public Interest Technology University Network (PIT-UN) report, May, 2022.

  • Esmail Asyabi, Yuanli Wang, John Liagouris, Vasiliki Kalavri, and Azer Bestavros. A New Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores. In Proceedings of ACM Eurosys'22: The Seventeenth European Conference on Computer Systems, April, 2022.

2021

• • William Koch, Renato Mancuso, Richard West, Azer Bestavros. Improving autopilot systems for drones using machine learning. Featured in Kudos Research Showcase: Technology and Engineering, 2021.

2020

• • Esmail Asyabi, Azer Bestavros, Erfan Sharafzadeh, and Timothy Zhu. Peafowl: In-application CPU Scheduling to Reduce Power Consumption of In-memory Key-Value Stores. In Proceedings of SOCC'20: The ACM Symposium on Cloud Computing, October 2020.

  • Zhenpeng Shi, Azer Bestavros, Ariel Orda, and David Starobinski. A Game-Theoretic Analysis of Shared/Buy-in Computing Systems. IEEE Open Journal of the Communications Society, January 2020.

2019

• • Nikolaj Volgushev, Malte Schwarzkopf, Ben Getchell, Andrei Lapets, Mayank Varia, and Azer Bestavros. Conclave: Secure Multi-Party Computation on Big Data. In Proceedings of Eurosys'19: The European Conference on Computer Systems, Dresden, Germany, 2019.

  • William Koch, Renato Mancuso, Richard West, Azer Bestavros. Reinforcement Learningfor UAV Attitude Control. ACM Transactions on Cyber-Physical Systems, Vol. 3, No. 2, Article 22, February 2019.

2018

• • Esmail Asyabi, SeyedAlireza Sanaee Kohroudi, Mohsen Sharifi, and Azer Bestavros. TerrierTail: Mitigating Tail Latency of Cloud Virtual Machines. IEEE Transactions on Parallel and Distributed Systems, 2018.

  • Esmail Asyabi, Mohsen Sharifi, and Azer Bestavros. ppXen: A hypervisor CPU scheduler for mitigating performance variability in virtualized clouds. Future Generation Computer Systems, 83C:75-84, 2018.

  • William Koch and Azer Bestavros. S3B: Software-defined Secure Server Bindings. In Proceedings of 2018 IEEE International Conference on Distributed Computing Systems, Vienna, Austria, July 2018.

  • Andrei Lapets, Frederick Jansen, Kinan Albab, Rawane Issa, Lucy Qin, Mayank Varia, and Azer Bestavros. Accessible privacy-preserving web-based data analysis for assessing and addressing economic inequalities. In Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, COMPASS '18, pages 48:1-48:5, New York, NY, USA, 2018. ACM.

  • Christopher Liao, Yonatan Klausner, David Starobinski, Eran Simhon, and Azer Bestavros. A Case Study of a Shared/Buy-in Computing Ecosystem. Cluster Computing, 2018.

  • Nikolaj Volgushev, Malte Schwarzkopf, Ben Getchell, Andrei Lapets, Mayank Varia, and Azer Bestavros. Conclave: Secure Multi-Party Computation on Big Data. In Proceedings of TPMPC'18: Theory and Practice of Multi-Party Computation Workshop, Aarhus, Denmark, May 2018.

2017

• • Kinan Bab, Rawane Issa, Andrei Lapets, Azer Bestavros, and Nikolaj Volgushev. Scalable Secure Multi-Party Network Vulnerability Analysis via Symbolic Optimization. In Proceedings of WTMC 2017: The IEEE Security and Privacy Workshop on Traffic Measurements for Cybersecurity, San Jose, CA, May 2017.

  • Christine Bassem and Azer Bestavros. GuideMe: Routes coordination of participating agents in mobile crowd sensing platforms. In Proceedings of 2017 IEEE International Conference on Big Data (Big Data), Boston, MA, December 2017.

  • Christine Bassem and Azer Bestavros. Multi-Capacity Bin Packing with Dependent Items and its Application to the Packing of Brokered Workloads in Virtualized Environments. Future Generation Computer Systems, 2017.

  • Azer Bestavros, Frederick Jansen, Andrei Lapets, Malte Schwarzkopf, Mayank Varia, and Nikolaj Volgushev. Design and Deployment of Usable, Scalable MPC. Presented at the 2017 Theory and Practice of Multi-Party Computation Workshop (TPMPC'17), April 2017.

  • Azer Bestavros, Andrei Lapets, and Mayank Varia. User-centric distributed solutions for privacy-preserving analytics. Communications of the ACM, Viewpoints: Privacy & Security, ACM Press, 2017.

  • Vatche Ishakian, Raymond Sweha, and Azer Bestavros. AngelCast: Cloud-based Peer-Assisted Live Streaming Using Optimized Multi-Tree Construction. Computer Communications Journal, 2017.

2016

• William Koch and Azer Bestavros. PROVIDE: Hiding from Automated Network Scans with Proofs of Identity. In Proceedings of HotWeb'16: IEEE Workshop on Hot Topics in Web Systems and Technologies, Washington, DC, November 2016.

• Andrei Lapets, Nikolaj Volgushev, Azer Bestavros, Frederick Jansen, and Mayank Varia. Secure MPC for Analytics as a Web Application. In Proceedings of SecDev'16: IEEE Conference on Cybersecurity Development, Boston, MA, November 2016.

• Nikolaj Volgushev, Malte Schwarzkopf, Andrei Lapets, Mayank Varia, and Azer Bestavros. DEMO: Integrating MPC in Big Data Workflows. In Proceedings of CCS'16: ACM Conference on Computer and Communications Security, Vienna, Austria, October 2016.

• Hoda Maleki, Mohammad Valizadeh, William Koch, Azer Bestavros, and Marten van Dijk. Markov Modeling of Moving Target Defense Games. In Proceedings of MTD'16: The ACM CCS Workshop on Moving Target Defense, Vienna, Austria, October 2016.

2015

• Nikolaj Volgushev, Andrei Lapets, and Azer Bestavros. Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure. In Proceedings of HotWeb'15: IEEE Workshop on Hot Topics in Web Systems and Technologies, Washington, DC, November 2015.

• Mario Teixeira and Azer Bestavros. End-to-End Informed VM Selection in Compute Clouds. In Proceedings of ICC'15: The IEEE International Workshop on Cloud Computing Systems, Networks, and Applications, London, UK, June 2015.

• Christine Bassem and Azer Bestavros. Rational Coordination of Crowdsourced Resources for Geo-temporal Request Satisfaction. In Proceedings of IOT-SOS'15: The IEEE Workshop on Internet of Things Smart Objects and Services, Boston, MA, June 2015.

• Sanaz Bahargam, Dora Erdos, Azer Bestavros, and Evimaria Terzi. Personalized Education: Solving a Group Formation and Scheduling Problem for Educational Content. In Proceedings of EDM'15: International Conference on Educational Data Mining, Madrid, Spain, June 2015.

• Christine Bassem and Azer Bestavros. Network-Constrained Packing of Brokered Workloads in Virtualized Environments. In Proceedings of CCGrid'15: The IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Shenzhen, Guangdong, China, May 2015.

• Dora Erdos, Vatche Ishakian, Azer Bestavros, and Evimaria Terzi. A Divide-and-Conquer Algorithm for Betweenness Centrality. In Proceedings of SDM'15: The SIAM International Conference on Data Mining, Vancouver, Canada, May 2015.

2014

• Nikolaos Laoutaris, Georgios Smaragdakis, Konstantinos Oikonomou, Ioannis Stavrakakis, and Azer Bestavros. Distributed Server Migration for Scalable Internet Service Deployment. IEEE/ACM Transactions on Networking, 22(3):917-930, June 2014.

• Rick Skowyra, Andrei Lapets, Azer Bestavros, and Assaf Kfoury. A Verification Platform for SDN-Enabled Applications. In Proceedings of IC2E'14: The IEEE International Conference on Cloud Engineering, Boston, MA, March 2014.

• Azer Bestavros and Orran Krieger. Towards an open cloud marketplace: Vision and first steps. IEEE Internet Computing: View from the Cloud, January 2014.

• B. Benatallah, A. Bestavros, Y. Manolopoulos, A. Vakali, and Y. Zhang, editors. Web Information Systems Engineering (Part I). Springer, Lecture Notes in Computer Science, Vol. 8786 and 8787, 2014.

• B. Benatallah, A. Bestavros, B. Catania, A Haller, Y. Manolopoulos, A. Vakali, and Y. Zhang, editors. Web Information Systems Engineering (Part II). Springer, Lecture Notes in Computer Science, Vol. 9051, 2014.

2013

• Dora Erdos, Vatche Ishakian, Azer Bestavros, and Evimaria Terzi. Repetition-Aware Content Placement in Navigational Networks. In Proceedings of KDD'13: The ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Chicago, IL, August 2013.

• Richard Skowyra, Sanaz Bahargam, and Azer Bestavros. Software-Defined IDS for Securing Embedded Mobile Devices. In Proceedings of HPEC'13: The IEEE High Performance Extreme Computing Conference, Waltham, MA, September 2013.

• Rick Skowyra, Andrei Lapets, Azer Bestavros, and Assaf Kfoury. Verifiably-Safe Software-Defined Networks for CPS. In Proceedings of HiCoNS'13: The ACM International Conference on High Confidence Networked Systems, Philadelphia, Pennsylvania, CPS Week, May 2013.

• Andrei Lapets, Rick Skowyra, Azer Bestavros, and Assaf Kfoury. Towards Accessible Integration and Deployment of Formal Tools and Techniques. In Proceedings of TOPI'13: The ICSE Workshop on Developing Tools as Plug-ins, San Francisco, CA, May 2013.

• Azer Bestavros and Assaf Kfoury, editors. Practical and Lightweight Formal Methods for the Design, Modeling and Analysis of Software Systems (Special Issue of Mathematical Structures in Computer Science). Cambridge University Press, Oxford, UK, 2013. (250 pages)

• Azer Bestavros, Assaf Kfoury, and Andrei Lapets. Seamless composition and integration -- A perspective on formal methods research. In A. Bestavros and A. Kfoury, editors, Practical and Lightweight Formal Methods for the Design, Modeling and Analysis of Software Systems (Special Issue of Mathematical Structures in Computer Science), chapter Postlude. Cambridge University Press, 2013.

2012

• Vatche Ishakian, Raymond Sweha, Azer Bestavros, and Jonathan Appavoo. CloudPack: Exploiting Workload Flexibility Through Rational Pricing. In Proceedings of the ACM/IFIP/USENIX Middleware Conference, Montreal, Canada, December 2012. (Best Paper Award)

• Dora Erdos, Vatche Ishakian, Andrei Lapets, Evimaria Terzi, and Azer Bestavros. The Filter-Placement Problem and its Application to Minimizing Information Multiplicity. In Proceedings of VLDB'12: The International Conference on Very Large Databases, volume 5, pages 418-429, Istanbul, Turkey, August 2012.

• Pietro Michiardi, Damiano Carra, Francesco Albanese, and Azer Bestavros. Peer-assisted Content Distribution on a Budget. The Computer Networks Journal (COMNET): The International Journal of Computer and Telecommunications Networking, 56(7):2038-2048, May 2012.

• Vatche Ishakian and Azer Bestavros. MorphoSys: Efficient Colocation of QoS-Constrained Workloads in the Cloud. In Proceedings of CCGrid'12: The IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Ottawa, Canada, May 2012.

• Dora Erdos, Vatche Ishakian, Evimaria Terzi, and Azer Bestavros. A Framework for the Evaluation and Management of Network Centrality. In Proceedings of SDM'12: The SIAM International Conference on Data Mining, Anaheim, CA, April 2012.

• Raymond Sweha, Vatche Ishakian, and Azer Bestavros. AngelCast: Cloud-based Peer-Assisted Live Streaming Using Optimized Multi-Tree Construction. In Proceedings of MMsys'12: The ACM Multimedia Systems Conference, Chapel Hill, NC, USA, February 2012.

• Evimaria Terzi, Azer Bestavros, Dora Erdos, and Vatche Ishakian. Towards Generalized Centrality Measures with Applications to Information Networks. NSF Workshop on Social Networking and Mobility in the Cloud, February 2012.

2011

• Georgios Smaragdakis, Nikolaos Laoutaris, Vassilis Lekakis, Azer Bestavros, John W. Byers, and Mema Roussopoulos. Selfish Overlay Network Creation and Maintenance. IEEE/ACM Transactions on Networking, 19(6):1624-1637, December 2011.

• Azer Bestavros and Assaf Kfoury. A domain-specific language for the incremental and modular design of large-scale verifiably-safe flow networks. In Proceedings of DSL'2011: The IFIP Conference on Domain-Specific Languages, Bordeaux, France, 2011.

• Vatche Ishakian, Andrei Lapets, Azer Bestavros, and Assaf Kfoury. Formal Verification of SLA Transformations. In CloudPerf'2011: The IEEE International Workshop on Performance Aspects of Cloud and Service Virtualization, Washington DC, USA, 2011.

• N. Soule, A. Bestavros, A. Kfoury, and A. Lapets. Safe Compositional Equation-based Modeling of Constrained Flow Networks. In Proc. of 4th Int'l Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Zürich, September 2011.

• Jorge Londono, Azer Bestavros, and Nikolaos Laoutaris. Trade and Cap: A Customer-Managed, Market-Based System for Trading Bandwidth Allowances at a Shared Link. The Computer Networks Journal (COMNET): The International Journal of Computer and Telecommunications Networking, 55(2011):3959-3974, September 2011.

• Hany Morcos, George Atia, Azer Bestavros, and Ibrahim Matta. An Information Theoretic Framework for Field Monitoring Using Autonomously Mobile Sensors. Ad Hoc Networks: Special Issue on Distributed Computing in Sensor Systems, 9(6):1049-1058, August 2011.

• Raymond Sweha, Vatche Ishakian, and Azer Bestavros. Angels In The Cloud: A Peer-Assisted Bulk-Synchronous Content Distribution Service. In Proceedings of CLOUD'2011: The IEEE International Conference on Cloud Computing, Washington DC, USA, 2011.

2010

• Michael Atighetchi, Jonathan Webb, Partha Pal, Joseph Loyall, Azer Bestavros, and Michael J Mayhew. Dynamic cross domain information sharing: Flexible adaptive policy management. In Proceedings of CCS'10: The ACM Conference on Computer and Communications Security, Chicago, IL, October 2010.

• Azer Bestavros and Michael Ocean. Virtualization And Programming Support For Video Sensor Networks With Application To Wireless And Physical Security. In B. Bhanu, C. Ravishankar, A. Roy-Chowdhury, D. Terzopoulos, and H. Aghajan, editors, Distributed Video Sensor Networks, chapter 12, pages 179-192. Springer, 2010.

• Azer Bestavros, Assaf Kfoury, Andrei Lapets, and Michael Ocean. Safe Compositional Network Sketches: The Formal Framework. In Proceedings of HSCC'10: The 13th ACM International Conference on Hybrid Systems: Computation and Control (in conjunction with CPSWEEK), Stockholm, Sweden, April 2010.

• Vatche Ishakian, Azer Bestavros, and Assaf Kfoury. A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-time Systems. In Proceedings of RTSCA'10: The IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pages 143-152, Macau, China, August 2010.

• Vatche Ishakian, Raymond Sweha, Jorge Londono, and Azer Bestavros. Colocation as a Service: Strategic and Operational Services for Cloud Colocation. In Proceedings of NCA'10: The IEEE International Symposium on Network Computing and Applications, Cambridge, MA, July 2010.

• Benyuan Liu, Azer Bestavros, Ding-Zhu Du, and Jie Wang. Editorial on Research Advances in Wireless Algorithms, Systems, and Applications. EURASIP Journal on Wireless Communications and Networking, August 2010.

• Jorge Londono, Azer Bestavros, and Nikolaos Laoutaris. A Trading System for Fairly Scheduling Fixed-Sized Delay-Tolerant Jobs at a Shared Link. In Proceedings of Globecom'10: The IEEE Global Telecommunications Conference, Miami, FL, December 2010.

• Jorge Londono, Azer Bestavros, and Nikolaos Laoutaris. Trade and Cap: A Customer-Managed, Market-Based System for Trading Bandwidth Allowances at a Shared Link. In Proceedings of NetEcon'10: The USENIX/ACM OSDI Workshop on the Economics of Networks, Systems, and Computation, Vancouver, Canada, October 2010.

• Hany Morcos, George Atia, Azer Bestavros, and Ibrahim Matta. An Information Theoretic Framework for Field Monitoring Using Autonomously Mobile Sensors. Ad Hoc Networks: Special Issue on Distributed Computing in Sensor Systems, page In Press, 2010.

• Hany Morcos, Azer Bestavros, and Ibrahim Matta. Preferential Field Coverage Through Detour-Based Mobility Coordination. In Proceedings of Med-Hoc-Net'10: The IFIP/IEEE Mediterranean Ad Hoc Networking Worshop, Jun-Les-Pins, France, June 2010.

• Georgios Smaragdakis, Nikolaos Laoutaris, Pietro Michiardi, Azer Bestavros, John Byers, and Mema Roussopoulos. Distributed Network Formation for n-way Broadcast Applications. IEEE Transactions on Parallel and Distributed Systems, 21(10):1427-1441, October 2010.

2009

• • Christine Bassem and Azer Bestavros. CSR: Constrained Selfish Routing in Ad-Hoc Networks. In Proceedings of WASA'09: International Conference on Wireless Algorithms, Systems, and Applications, Boston, MA, August 2009.

  • Christine Bassem and Azer Bestavros. CSR: Constrained Selfish Routing in Ad-Hoc Networks. In Benyuan Liu, Azer Bestavros, Ding-Zhu Du, and Jie Wang, editors, Wireless Algorithms, Systems, and Applications, chapter 19. Lecture Notes in Computer Science, Springer, 2009.

  • Azer Bestavros, Assaf Kfoury, Andrei Lapets, and Michael Ocean. Safe Compositional Network Sketches: Tool and Use Cases. In Proceedings of CRTS'09: The IEEE/RTSS Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Washington D.C., December 2009.

  • Mina Guirguis, Azer Bestavros, and Ibrahim Matta. Assessment of Vulnerability of Content Adaptation Mechanisms to RoQ Attacks. In Proceedings of ICN'09: IARIA International Conference on Networks, Guadeloupe, France, March 2009.

  • Khaled Harfoush, Azer Bestavros, and John Byers. Measuring Bottleneck Bandwidth of Targeted Path Segments. IEEE/ACM Transactions on Networking, 17(1):80-92, February 2009.

  • Benyuan Liu, Azer Bestavros, Ding-Zhu Du, and Jie Wang, editors. Wireless Algorithms, Systems, and Applications. Lecture Notes in Computer Science, Springer, Germany, 2009. (594 pages) ISBN: 978-3-642-03416-9.

  • Jorge Londono and Azer Bestavros. A Two-Tiered On-Line Server-Side Bandwidth Reservation Framework for the Real-Time Delivery of Multiple Video Streams. In Proceedings of MMCN'09: The SPIE and IS&T Conference on Multimedia Computing and Networking, San Jose, CA, January 2009.

  • Jorge Londono, Azer Bestavros, and Shanghua Teng. Colocation Games And Their Application to Distributed Resource Management. In Proceedings of USENIX HotCloud'09: Workshop on Hot Topics in Cloud Computing, San Diego, CA, June 2009.

  • Michael Ocean, Assaf Kfoury, and Azer Bestavros. A Formal Type-Centric Framework for Verification and Resource Allocation in Pervasive Sense-and-Respond Systems. In Proceedings of MOMPES'09: The 6th IEEE ICSE Workshop on Model-based Methodologies for Pervasive and Embedded Software, pages 31-41, Vancouver, Canada, May 2009.

  • Rick Schantz, Jake Beal, Joe Loyall, Partha Pal, Kurt Rohloff, and Azer Bestavros. Research Challenges in Information Systems for the Next Generation Electric Grid. NITRD Workshop on New Research Directions for Future Cyber-Physical Energy Systems, June 2009.

2008

• Jorge Londono and Azer Bestavros. netEmbed: A Network Resource Mapping Service for Distributed Applications. In Proceedings IPDPS'08: The IEEE International Symposium on Parallel and Distributed Processing, High-Performance Grid Computing Workshop, pages 1-8, Miami, Florida, April 2008.

• Hany Morcos, George Atia, Azer Bestavros, and Abraham Matta. An Information Theoretic Framework for Field Monitoring Using Autonomously Mobile Sensors. In Proceedings of DCOSS'08: The 4th IEEE/ACM International Conference on Distributed Computing in Sensor Systems, Santorini, Greece, June 2008. (Best Paper Award).

• Hany Morcos, Azer Bestavros, and Abraham Matta. Amorphous Placement and Informed Diffusion for Timely Field Monitoring by Autonomous, Resource-Constrained, Mobile Sensors. In Proceedings of SECON'08: The IEEE Conference on Sensor, Mesh and Ad Hoc Communications and Networks, pages 469-477, San Francisco, CA, June 2008.

• Michael Ocean and Azer Bestavros. Wireless and physical security via embedded sensor networks. In Proceedings of WiSec'08: The ACM Conference on Wireless Network Security, Alexandria, Virginia, March 2008. (Best Paper Award).

• Georgios Smaragdakis, Nikolaos Laoutaris, Pietro Michiardi, Azer Bestavros, John Byers, and Mema Roussopoulos. Swarming on optimized graphs for n-way broadcast. In Proceedings of Infocom'08: The IEEE International Conference on Computer Communication, pages 628-636, Phoenix, Arizona, April 2008.

• Georgios Smaragdakis, Vassilis Lekakis, Nikolaos Laoutaris, Azer Bestavros, John W. Byers, and Mema Roussopoulos. EGOIST: Overlay Routing using Selfish Neighbor Selection. In Proceedings of ACM CoNEXT 2008, Madrid, Spain, November 2008.

2007

• Azer Bestavros and Michael Ocean. Programming and Virtualization of Distributed Multitasking Sensor Networks. In Insup Lee, Joseph Leung, and Sang Son, editors, Handbook of Real-Time and Embedded Systems, chapter 23. CRC Press, 2007.

• Fernando Duarte, Bernardo Mattos, Azer Bestavros, Virgilio Almeida, and Jussara Almeida. Traffic Characteristics and Communication Patterns in Blogosphere. In Proceedings of ICWSM'07: International Conference on Weblogs and Social Media, Boulder, Colorado, March 2007.

• Mina Guirguis, Azer Bestavros, and Ibrahim Matta. Reduction of Quality (RoQ) Attacks on Dynamic Load Balancers: Vulnerability Assessment and Design Tradeoffs. In Proceedings of Infocom'07: The IEEE International Conference on Computer Communication, pages 857-865, Anchorage, Alaska, May 2007.

• Mina Guirguis, Azer Bestavros, Ibrahim Matta, and Yuting Zhang. Adversarial Exploits of End-Systems Adaptation Dynamics. Journal of Parallel and Distributed Computing, 67(3):318-328, 2007.

• Nikolaos Laoutaris, Georgios Smaragdakis, Azer Bestavros, and John Byers. Implications of Selfish Neighbor Selection in Overlay Networks. In Proceedings of Infocom'07: The IEEE International Conference on Computer Communication, Anchorage, Alaska, May 2007.

• Nikolaos Laoutaris, Georgios Smaragdakis, Konstantinos Oikonomou, Ioannis Stavrakakis, and Azer Bestavros. Distributed Placement of Service Facilities in Large-Scale Networks. In Proceedings of Infocom'07: The IEEE International Conference on Computer Communication, Anchorage, Alaska, May 2007.

• Nikolaos Laoutaris, Georgios Zervas, Azer Bestavros, and George Kollios. The Cache Inference Problem and its Application to Content and Request Routing. In Proceedings of Infocom'07: The IEEE International Conference on Computer Communication, pages 848-856, Anchorage, Alaska, May 2007.

• Jorge Londono and Azer Bestavros. netEmbed: A Service for Embedding Distributed Applications (Extended Abstract and Demo). In Proceedings of the ACM/IFIP/Usenix Middleware Conference, Newport Beach, California, November 2007.

• Sowmya Manjanatha, Azer Bestavros, Mark Gaynor, and Steve Moulton. Rule-based decision support for sensor networks using snbench. In Proceedings of the IEEE Workshop on High Confidence Medical Device Software and Systems (HCMDSS'07), Cambridge, Massachusetts, June 2007.

• Karim Mattar, Ashwin Sridharan, Hui Zang, Ibrahim Matta, and Azer Bestavros. TCP over CDMA2000 Networks: A Cross-Layer Measurement Study. In Proceedings of PAM'07: Passive and Active Measurement Conference, Louvain-la-neuve, Belgium, April 2007.

• Niky Riga, Ibrahim Matta, and Azer Bestavros. A Geometric Approach to Slot Alignment in Wireless Sensor Networks. In Proceedings of Globecom'07: The IEEE Global Telecommunications Conference Ad-hoc and Sensor Networking Symposium, pages 817-822, Washington, DC, November 2007.

• Georgios Smaragdakis, Nikolaos Laoutaris, Azer Bestavros, Ibrahim Matta, and Ioannis Stavrakakis. Distributed Selfish Caching. IEEE Transactions on Parallel and Distributed Systems, 18(10):1361-1375, October 2007.

• Georgios Smaragdakis, Nikolaos Laoutaris, Azer Bestavros, Ibrahim Matta, and Ioannis Stavrakakis. Mistreatment-Resilient Distributed Caching. The Computer Networks Journal (COMNET): The International Journal of Computer and Telecommunications Networking, 51(11), August 2007.

2006

• Azer Bestavros. If GENI is a Programmable Architecture then What (Real-Time) Instruction Set Architecture should GENI have?. Position Statement at NSF Workshop on Real-Time GENI, February 2006.

• Azer Bestavros. Towards Safe and Scalable Compositional Analysis and Programming. Position Statement at NSF Workshop on High-Confidence Software Systems, October 2006.

• Mina Guirguis, Azer Bestavros, and Ibrahim Matta. Exogenous-Loss Aware Traffic Management in Overlay Networks: Toward Global Fairness. The Computer Networks Journal (COMNET): The International Journal of Computer and Telecommunications Networking, 50(13):2331-2348, 2006.

• Mina Guirguis, Azer Bestavros, and Ibrahim Matta. On the Impact of Low-Rate Attacks. In Proceedings of ICC'2006: The IEEE International Conference on Communications, Istanbul, Turkey, June 2006.

• Shudong Jin and Azer Bestavros. Small-world Characteristics of Internet Topologies and Multicast Scaling. The Computer Networks Journal (COMNET): The International Journal of Computer and Telecommunications Networking, 50(5), April 2006.

• Feifei Li, Ching Chang, George Kollios, and Azer Bestavros. Characterizing and Exploiting Reference Locality in Data Stream Applications. In Proceedings of IEEE ICDE'06: The International Conference on Data Engineering, Atlanta, Georgia, April 2006.

• Nikolaos Laoutaris and Georgios Smaragdakis and Azer Bestavros and Ioannis Stavrakakis. Mistreatment in Distributed Caching Groups: Causes and Implications. In Proceedings of Infocom'06: The IEEE International Conference on Computer Communication, Barcelona, Spain, April 2006.

• Michael Ocean, Azer Bestavros, and Assaf Kfoury. snBench: Programming and virtualization framework for distributed multitasking sensor networks. In Proceedings of VEE'06: The 2nd ACM/Usenix International Conference on Virtual Execution Environments, pages 89 -- 99, New York, NY, USA, June 2006. ACM Press.

• Georgios Smaragdakis, Nikolaos Laoutaris, Ibrahim Matta, Azer Bestavros, and Ioannis Stavrakakis. A Feedback Control Approach to Mitigating Mistreatment in Distributed Caching Groups. Lecture Notes in Computer Science 3976 - 0331, 2006.

• Georgios Smaragdakis, Nikolaos Laoutaris, Ibrahim Matta, Azer Bestavros, and Ioannis Stavrakakis. A Feedback Control Approach to Mitigating Mistreatment in Distributed Caching Groups. In Proceedings of IFIP Networking 2006, Coimbra, Portugal, May 2006.

• Eveline Veloso, Virgilio Almeida, Wagner Meira, Azer Bestavros, and Shudong Jin. A Hierarchical Characterization of a Live Streaming Media Workload. IEEE/ACM Transactions on Networking, 14(1):133-146, February 2006.

2005

• Azer Bestavros. Towards Trusted Adaptation Dynamics in Computing Systems and Networks. Position Statement at NSF Workshop on Next Generation Secure Internet, July 2005.

• 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.

• Azer Bestavros, John Byers, and Khaled Harfoush. Inference and Labeling of Metric-Induced Network Topologies. IEEE Transactions on Parallel and Distributed Systems, 16(10):1053-1065, November 2005.

• Mina Guirguis, Azer Bestavros, Ibrahim Matta, and Yuting Zhang. Reduction of Quality (RoQ) Attacks on Internet End-Systems. In Proceedings of Infocom'05: The IEEE International Conference on Computer Communication, Miami, Florida, March 2005.

• Shudong Jin and Azer Bestavros. Generating Internet Streaming Media Objects and Workloads. In Xueyan Tang, Jianliang Xu, and Samuel T. Chanson, editors, Web Content Delivery. Springer, 2005.

• Hany Morcos, Ibrahim Matta, and Azer Bestavros. M2RC: Multiplicative-increase/additive-decrease Multipath Routing Control for Wireless Sensor Networks. ACM SIGBED Review, Special Issue on the Best of SenSys 2004, 2(1), January 2005.

• Abhishek Sharma, Azer Bestavros, and Ibrahim Matta. dPAM: A Distributed Prefetching Protocol for Scalable Asynchronous Multicast in P2P Systems. In Proceedings of Infocom'05: The IEEE International Conference on Computer Communication, Miami, Florida, March 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.

2004

• 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.

• Vijay Erramilli, Ibrahim Matta, and Azer Bestavros. On the Interaction between Data Aggregation and Topology Control in Wireless Sensor Networks. In Proceedings of the First IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks (IEEE SECON 2004), Santa Clara, CA, October 2004.

• Mina Guirguis, Azer Bestavros, and Ibrahim Matta. Adaptation = Vulnerability: Under RoQ Attacks. In ACM SIGCOMM 2004 (Poster Session), Portland, Oregon, August 2004.

• Mina Guirguis, Azer Bestavros, and Ibrahim Matta. Bandwidth Stealing via Link-targeted RoQ Attacks. In Proceedings of CCN'04: IASTED International Conference on Communication and Computer Networks, MIT, Cambridge, MA, November 2004.

• Mina Guirguis, Azer Bestavros, and Ibrahim Matta. Exploiting the Transients of Adaptation for RoQ Attacks on Internet Resources. In Proceedings of ICNP'04: The 12th IEEE International Conference on Network Protocols, Berlin, Germany, October 2004.

• Mina Guirguis, Azer Bestavros, and Ibrahim Matta. Routing Tradeoffs inside a d-dimensional Torus with applicability to CAN. In Proceedings of the 1st International Computer Engineering Conference New Technologies for the Information Society (ICENCO'04), Cairo, Egypt, December 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.

• Kanishka Gupta, Azer Bestavros, and Ibrahim Matta. Context-aware Real-time Scheduling. In RTAS 2004: IEEE Real-Time and Embedded Technology and Applications Symposium (WIP Session), Toronto, Canada, May 2004.

• Hany Morcos, Ibrahim Matta, and Azer Bestavros. M2RC: Multiplicative-increase/additive-decrease Multipath Routing Control for Wireless Sensor Networks. In Proceedings of the Second ACM Conference on Embedded Networked Sensor Systems (ACM SenSys '04), Baltimore, Maryland, November 2004. Short Paper.

• Niky Riga, Ibrahim Matta, and Azer Bestavros. DIP: Density Inference Protocol for wireless sensor networks and its application to density-unbiased statistics. In Proceedings of SANPA'04: Second International Workshop on Sensor and Actor Network Protocols and Applications, Boston, MA, August 2004.

• Abhishek Sharma, Azer Bestavros, and Ibrahim Matta. Performance Evaluation of Distributed Prefetching for Asynchronous Multicast in P2P Networks. In Proceedings of WCW'04: The 9th International Workshop on Web Caching And Content Distribution, Beijing, China, October 2004.

• Georgios Smaragdakis, Ibrahim Matta, and Azer Bestavros. SEP: A Stable Election Protocol for clustered heteregeneous wireless sensor networks. In Proceedings of SANPA'04: Second International Workshop on Sensor and Actor Network Protocols and Applications, Boston, MA, August 2004.

2003

• Azer Bestavros and Shudong Jin. OSMOSIS: Scalable Delivery of Real-Time Streaming Media in Ad-Hoc Overlay Networks. In Proceedings of IEEE ICDCS'03 Workshop on Data Distribution in Real-Time Systems, Providence, RI, May 2003.

• 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.

• Mina Guirguis, Azer Bestavros, and Ibrahim Matta. XQM: eXogenous-loss aware Queue Management. In IEEE ICNP 2003 (Poster Session), Atlanta, Georgia, November 2003.

• Khaled Harfoush, Azer Bestavros, and John Byers. Measuring Bottleneck Bandwidth of Targeted Path Segments. In Proceedings of Infocom'03: The IEEE International Conference on Computer Communication, San Fransisco, CA, May 2003.

• Shudong Jin and Azer Bestavros. An Empirical Study of Inherent Routing Bias in Variable-degree networks. Unpublished manuscript, January 2003.

• Shudong Jin and Azer Bestavros. Small-world Characteristics of Internet Topologies and Multicast Scaling. In Proceedings of Mascots'2003: The IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Orlando, FL, October 2003.

• Shudong Jin, Azer Bestavros, and Arun Iyengar. Network-Aware Partial Caching For Internet Streaming Media. ACM Multimedia Systems Journal, 9(4), October 2003.

• Shudong Jin, Liang Guo, Ibrahim Matta, and Azer Bestavros. A Spectrum of TCP-friendly Window-based Congestion Control Algorithms. IEEE/ACM Transactions on Networking, 11(3):341-355, June 2003.

2002

• Azer Bestavros, John Byers, and Khaled Harfoush. Inference and Labeling of Metric-Induced Network Topologies. In Proceedings of Infocom'02: The IEEE International Conference on Computer Communication, New York, NY, June 2002.

• 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.

• Khaled Harfoush, Azer Bestavros, and John Byers. PeriScope: An Active Measurement API. In Proceedings of PAM'2002: The IEEE Passive and Active Measurement Workshop, March 2002.

• Shudong Jin and Azer Bestavros. Cache and Relay Streaming Media Delivery for Asynchronous Clients. In Proceedings of the 4th International Workshop on Networked Group Communication, Boston, MA, October 2002.

• Shudong Jin and Azer Bestavros. Scalability of Multicast Delivery for Non-sequential Streaming Access. In Proceedings of Sigmetrics'2002: The ACM International Conference on Measurement and Modeling of Computer Systems, 2002.

• Shudong Jin, Azer Bestavros, and Arun Iyengar. Accelerating Internet Streaming Media Delivery using Network-Aware Partial Caching. In Proceedings of ICDCS'2002: The IEEE International Conference on Distributed Computing Systems, 2002.

• Stanislav Rost, John Byers, and Azer Bestavros. The Cyclone Server Architecture: Streamlining Delivery of Popular Content. International Journal on Computer Communications, 25(4):403-412, March 2002.

• Eveline Veloso, Virgilio Almeida, Wagner Meira, Azer Bestavros, and Shudong Jin. A Hierarchical Characterization of a Live Streaming Media Workload. In Proceedings of the ACM/Usenix Internet Measurment Workshop (IMW'02), Marseille, France, November 2002.

2001

• Paul Barford, Azer Bestavros, John Byers, and Mark Crovella. On the marginal utility of network topology measurements. In Proceedings of the 2001 Sigcomm Internet Measurement Workshop, October 2001.

• Azer Bestavros and Sumit Mehrotra. DNS-based Internet Client Clustering and Characterization. In Proceedings of WWC'01: The 4th IEEE Workshop on Workload Characterization, Austin, TX, December 2001.

• Azer Bestavros and Michael Rabinovich, editors. Web Caching and Content Delivery. Elsevier, 2001. (330 pages).

• Shudong Jin and Azer Bestavros. GISMO: Generator of Streaming Media Objects and Workloads. Performance Evaluation Review, 29(3), 2001.

• Shudong Jin and Azer Bestavros. GreedyDual* Web Caching Algorithm: Exploiting the Two Sources of Temporal Locality in Web Request Streams. International Journal on Computer Communications, 24(2):174-183, February 2001.

• Shudong Jin, Liang Guo, Ibrahim Matta, and Azer Bestavros. TCP-friendly SIMD Congestion Control and Its Convergence Behavior. In Proceedings of ICNP'01: The 9th IEEE International Conference on Network Protocols, Riverside, CA, November 2001.

• Stanislav Rost, John Byers, and Azer Bestavros. The Cyclone Server Architecture: Streamlining Delivery of Popular Content. In Proceedings of the 6th International Web Caching and Content Delivery Workshop, Boston, MA, June 2001.

2000

• Luis Aversa and Azer Bestavros. Load Balancing a Cluster of Web Servers Using Distributed Packet Rewriting. In Proceedings of IPCCC'2000: The IEEE International Performance, Computing, and Communication Conference, Phoenix, AZ, February 2000.

• Khaled Harfoush, Azer Bestavros, and John Byers. Robust Identification of Shared Losses Using End-to-End Unicast Probes. In Proceedings of ICNP'00: The 6th IEEE International Conference on Network Protocols, Osaka, Japan, October 2000.

• Shudong Jin and Azer Bestavros. GreedyDual* Web Caching Algorithm: Exploiting the Two Sources of Temporal Locality in Web Request Streams. In Proceedings of the 5th International Web Caching and Content Delivery Workshop, Lisbon, Portugal, May 2000.

• Shudong Jin and Azer Bestavros. Popularity-Aware GreedyDual-Size Web Proxy Caching Algorithms. In Proceedings of ICDCS'2000: The IEEE International Conference on Distributed Computing Systems, Taiwan, May 2000.

• Shudong Jin and Azer Bestavros. Sources and Characteristics of Web Temporal Locality. In Proceedings of Mascots'2000: The IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, San Fransisco, CA, August 2000.

• Shudong Jin and Azer Bestavros. Temporal Locality in Web Request Streams: Sources, Characteristics, and Caching Implications (Extended Abstract). In Proceedings of Sigmetrics'2000: The ACM International Conference on Measurement and Modeling of Computer Systems, Santa Clara, CA, June 2000.

• Ibrahim Matta and Azer Bestavros. QoS Controllers for the Internet. In Proceedings of the NSF Workshop on Information Technology, Cairo, Egypt, March 2000.

• Jaehee Yoon, Azer Bestavros, and Ibrahim Matta. Adaptive Reliable Multicast. In Proceedings of ICC'2000: The IEEE International Conference on Communications, New Orleans, June 2000.

• Jaehee Yoon, Azer Bestavros, and Ibrahim Matta. SomeCast: A Paradigm for Real-Time Adaptive Reliable Multicast. In Proceedings of RTAS'2000: The IEEE Real-Time Technology and Applications Symposium, Washington, DC, May 2000.

1999

• Alia Atlas and Azer Bestavros. Design and Implementation of Statistical Rate Monotonic Scheduling in KURT Linux. In Proceedings of RTSS'99: The 19th IEEE Real-Time Systems Symposium, Phoenix, AZ, December 1999.

• Alia Atlas and Azer Bestavros. Multiplexing VBR Traffic Flows with Guaranteed Application-level QoS Using Statistical Rate Monotonic Scheduling. In Proceedings of IC3N'99: The 8th IEEE International Conference on Computer Communications and Networks, Boston, MA, October 1999.

• Paul Barford, Azer Bestavros, Adam Bradley, and Mark Crovella. Changes in Web Client Access Patterns: Characteristics and Caching Implications. World Wide Web Journal, Special Issue on Characterization and Performance Evaluation, 2(1999):15-28, August 1999. Baltzer Science Publishers.

• P. Basu, A. Narayanan, W. Ke, T.D.C. Little, and A. Bestavros. Optimal Scheduling of Secondary Content for Aggregation in Video-on-Demand Systems. In Proceedings of IC3N'99: The 8th IEEE International Conference on Computer Communications and Networks, Boston, MA, October 1999.

• Azer Bestavros and Gitae Kim. Preserving Bandwidth Using A Lazy Packet Discard Policy in ATM Networks. In Proceedings of SPIE'99 Performance and Control of Network Systems III, Boston, MA, September 1999.

• Azer Bestavros, John Byers, Mark Crovella, Paul Barford, Ibrahim Matta, and Michael Mitzenmacher. BU/NSF Workshop on Internet Measurement Instrumentation and Characterization. NSF Workshop Report (Also available as Boston University Technical Report BUCS-TR-1999-019), December 1999.

• Ibrahim Matta, Azer Bestavros, and Marwan Krunz. Load profiling based routing for guaranteed bandwidth flows. European Transactions on Telecommunications - Special Issue on Architectures, Protocols and Quality of Service for the Internet of the Future, 10(2), March/April 1999.

1998

• Alia Atlas and Azer Bestavros. Statistical Rate Monotonic Scheduling. In Proceedings of RTSS'98: The 18th IEEE Real-Time Systems Symposium, Madrid, Spain, December 1998.

• Azer Bestavros. Engineering Real-Time Robotics Software Systems Using Cleopatra. Integrated Computer-Aided Engineering, 5(4):349-367, October 1998. IOS Press.

• Azer Bestavros and Ibrahim Matta. A Load Profiling Approach to Routing Guaranteed Bandwidth Flows. In Proceedings of Infocom'98: The IEEE International Conference on Computer Communication, San Fransisco, CA, April 1998.

• Azer Bestavros and Frank Mueller, editors. Languages, Compilers, and Tools for Embedded Systems. Lecture Notes in Computer Science, Springer, Amsterdam, 1998. (265 pages) ISBN: 978-3-540-65075-1.

• Azer Bestavros, Spyridon Braoudakis, and Euthimios Panagos. Speculative Versus Optimistic Concurrency Control: An Experimental Evaluation. International Journal of Computers and Applications, Acta Press, 20(3):97-106, 1998.

• Azer Bestavros, Ann Cavoukian, Lorrie Faith Cranor, Josef Dietl, Daniel Jaye, Marit Kohntopp, Tara Lemmey, Steven Lucas, Massimo Marchiori, Dave Marvit, Maclen Marvit, Yossi Matias, James S. Miller, Deirdre Mulligan, Joseph Reagle, Drummond Reed, and Lawrence C. Stewart. P3P Guiding Principles . W3C Technical Note (P3P10-19980721), July 1998.

• Azer Bestavros, Mark Crovella, Jun Liu, and David Martin. Packet Rewriting and its Application to Scalable Web Server Architectures. In Proceedings of ICNP'98: The 6th IEEE International Conference on Network Protocols, Austin, TX, October 1998.

• Mark E. Crovella, Murad S. Taqqu, and Azer Bestavros. Heavy-Tailed Probability Distributions in the World Wide Web. In A Practical Guide To Heavy Tails, chapter 1, pages 3-26. Chapman & Hall, New York, 1998.

• Subrata Das, Azer Bestavros, Alper Caglayan, and Paul Gonsalves. Increasing agent autonomy by learning from events. In Proceedings of the Second International Conference on The Practical Applications of Knowledge Discovery and Data Mining, pages 241-260, London, UK, March 1998.

1997

• Sanjoy Baruah and Azer Bestavros. Pinwheel Scheduling for Fault-tolerant Broadcast Disks in Real-time Database Systems. In Proceedings of IEEE ICDE'97: The International Conference on Data Engineering, Birmingham, England, April 1997.

• Sanjoy Baruah and Azer Bestavros. Real-Time Mutable Broadcast Disks. In Proceedings of RTDB'97: The Second International Workshop on Real-Time Databases, Burlington, VT, September 1997.

• Sanjoy Baruah and Azer Bestavros. Real-Time Mutable Broadcast Disks. In Azer Bestavros and Victor Fay-Wolfe, editors, Real-Time Database and Information Systems: Research Advances, chapter 1, pages 3-22. Kluwer Academic Publishers, Norwell, Massachusetts, 1997.

• Azer Bestavros. CLEOPATRA -- A Programming Environment for Embedded Time-critical Systems. Final Report for Research Initiation Award CCR-9308344, The National Science Foundation, CISE, Washington DC, January 1997.

• Azer Bestavros. Load Profiling: A Methodology for Scheduling Real-Time Tasks in a Distributed System. In Proceedings of ICDCS'97: The IEEE International Conference on Distributed Computing Systems, Baltimore, Maryland, May 1997.

• Azer Bestavros. Load Profiling in Distributed Real-Time Systems. Journal of Information Sciences, 101(1/2):1-27, June 1997. North-Holland.

• Azer Bestavros. Real-time Computer Monitoring & Control Methodologies to Aid in the Study of Protein Interactions for Biosensor Applications. Final Report for Grant: DAAH04-94-G-0095, The US Army Research Office, In collaboration with ARO Natick Labs, January 1997.

• Azer Bestavros. Speculative Service in Large-scale Distributed Information Systems. International Journal on Computer Applications, 4(1):1-9, April 1997. ISCA Press.

• Azer Bestavros. World Wide Web Traffic Reduction and Load Balancing Through Server-Based Caching. IEEE Concurrency: Special Issue on Parallel and Distributed Technology, 5(1):56-67, Jan-Mar 1997. IEEE Press.

• Azer Bestavros and Gitae Kim. Exploiting Redundancy For Timeliness in TCP Boston. In Proceedings of RTAS'97: The IEEE Real-time Technology and Applications Symposium, Montreal, Canada, June 1997.

• Azer Bestavros and Gitae Kim. Implementation and Performance Evaluation of TCP Boston. In Proceedings of ICC'97: The IEEE International Conference on Communications, Montreal, Canada, June 1997.

• Azer Bestavros and Gitae Kim. TCP Boston: A Fragmentation-tolerant TCP Protocol for ATM Networks. In Proceedings of Infocom'97: The IEEE International Conference on Computer Communication, Kobe, Japan, April 1997.

• Azer Bestavros and Ibrahim Matta. Load Profiling for Efficient Route Selection in Multi-Class Networks. In Proceedings of IEEE ICNP'97: The International Conference on Network Protocols, Atlanta, GA, October 1997.

• Azer Bestavros and Sue Nagy. Admission Control and Overload Management for Real-Time Databases. In Azer Bestavros, Kwei-Jay Lin, and Sang Son, editors, Real-Time Database Systems: Issues and Applications, chapter 12, pages 193-212. Kluwer Academic Publishers, Norwell, Massachusetts, 1997.

• Azer Bestavros and Sue Nagy. Admission Control for Soft-Deadline Scheduling in ACCORD. In Proceedings of RTAS'97: The IEEE Real-time Technology and Applications Symposium, Montreal, Canada, June 1997.

• Azer Bestavros and Sue Nagy. Concurrency Admission Control in ACCORD. In Azer Bestavros and Victor Fay-Wolfe, editors, Real-Time Database and Information Systems: Research Advances, chapter 15, pages 261-286. Kluwer Academic Publishers, Norwell, Massachusetts, 1997.

• Azer Bestavros and Victor Wolfe, editors. Real-Time Database and Information Systems Research: Research Advances. Kluwer Academic Publishers, Norwell, Massachusetts, 1997. (446 pages).

• Azer Bestavros, Kwei-Jay Lin, and Sang Son. Advances in Real-Time Database Systems Research. In Azer Bestavros, Kwei-Jay Lin, and Sang Son, editors, Real-Time Database Systems: Issues and Applications, chapter 1, pages 1-15. Kluwer Academic Publishers, Norwell, Massachusetts, 1997.

• Mark Crovella and Azer Bestavros. Self-Similarity in World Wide Web Traffic: Evidence and Possible Causes. IEEE/ACM Transactions on Networking, 5(6):835-846, December 1997.

• Sue Nagy and Azer Bestavros. Concurrency Admission Control for Hard-Deadline Transactions in ACCORD. In Proceedings of RTDB'97: The Second International Workshop on Real-Time Databases, Burlington, VT, September 1997.

1996

• Virgilio Almeida, Azer Bestavros, Mark Crovella, and Adriana de Oliveira. Characterizing Reference Locality in the Web. In Proceedings of PDIS'96: The IEEE Conference on Parallel and Distributed Information Systems, pages 92-107, Miami Beach, Florida, December 1996.

• Sanjoy Baruah and Azer Bestavros. Timely and Fault-Tolerant Data Access from Broadcast Disks: A Pinwheel-Based Approach. In Proceedings of DART'96: ACM CIKM Workshop on Databases: Active & Real-Time, Rockville, Maryland, November 1996.

• Azer Bestavros, editor. ACM SIGMOD Record: Special Issue on Real-Time Databases 25(1). ACM Press, March 1996.

• Azer Bestavros. Advances in Real-Time Database Systems Research. ACM SIGMOD Record, 25(1):3-8, March 1996. (Research Topic Review).

• Azer Bestavros. AIDA-based real-time fault-tolerant broadcast disks. In Proceedings of RTAS'96: The 1996 IEEE Real-Time Technology and Applications Symposium, Boston, Massachusetts, May 1996.

• Azer Bestavros. Middleware Support for Data Mining and Knowledge Discovery in Large-scale Distributed Information Systems. In SIGMOD'96 Data Mining Workshop, Montreal, Canada, June 1996.

• Azer Bestavros. Speculative Data Dissemination and Service to Reduce Server Load, Network Traffic and Service Time for Distributed Information Systems. In Proceedings of ICDE'96: The 1996 International Conference on Data Engineering, pages 180-189, New Orleans, Louisiana, March 1996.

• Azer Bestavros. The validation and implementation of real-time robotics systems using cleopatra object-oriented physically-correct specifications. ACM SIGPLAN Object-Oriented Programming and Systems (OOPS) Messenger, 7(1):36-43, January 1996.

• Azer Bestavros and Spyridon Braoudakis. Value-cognizant Speculative Concurrency Control for Real-Time Databases. Information Systems Journal: Special Issue on Real-Time Database Systems, 21(1):75-101, March 1996.

• Azer Bestavros and Carlos Cunha. Server-initiated Document Dissemination for the WWW. IEEE Data Engineering Bulletin, 19:3-11, September 1996.

• Azer Bestavros and Sue Nagy. An Admission Control Paradigm for Value-cognizant Real-Time Databases. In Proceedings of AAAI'96: The Fall Symposium on Flexible Computation in Intelligent Systems, MIT, Cambridge, MA, November 1996.

• Azer Bestavros and Sue Nagy. Value-cognizant Admission Control for RTDB Systems. In Proceedings of RTSS'96: The 16th IEEE Real-Time System Symposium, Washington, DC, December 1996.

• Azer Bestavros and Sue Nagy. Value-cognizant Admission Control Strategies for Real-Time Database Management Systems. In Proceedings of RTDB'96: The 1996 Workshop on Real-Time Databases, Newport Beach, California, March 1996.

• Azer Bestavros, Kwei-Jay Lin, and Sang Son, editors. Real-Time Database Systems: Issues and Applications. Kluwer Academic Publishers, Norwell, Massachusetts, 1996. (368 pages).

• Azer Bestavros, Kwei-Jay Lin, and Sang Son. Real-Time Databases: Issues and Applications. ACM SIGMOD Record, 25(3), September 1996. (Workshop Review).

• Mark Crovella and Azer Bestavros. Self-Similarity in World Wide Web Traffic: Evidence and Possible Causes. In Proceedings of SIGMETRICS'96: The ACM International Conference on Measurement and Modeling of Computer Systems., Philadelphia, Pennsylvania, May 1996. Also, in Performance evaluation review, May 1996, 24(1):160-169.

1995

• Azer Bestavros. Demand-based data-dissemination in Distributed Multimedia Systems. In Proceedings of the ACM/IASTED/ISMM International Conference on Distributed Multimedia Systems and Applications, Stanford, CA, August 1995.

• Azer Bestavros. Demand-based document dissemination to reduce traffic and balance load in distributed information systems. In Proceedings of SPDP'95: The 7th IEEE Symposium on Parallel and Distributed Processing, pages 338-345, San Anotonio, Texas, October 1995.

• Azer Bestavros. Information Dissemination and Speculative Service: Two Candidate Functionalities for the Middleware Infrastructure. A Position Statement in SIGCOMM'95: Workshop on Middleware, Cambridge, MA, August 1995.

• Azer Bestavros. Models, Languages, and Architectures of Parallel Computers. An Invited Presentation to the BU/NSF High Performance Computing Workshop for Educators, June 1995.

• Azer Bestavros. Preserving the Causal and Structural Properties of Real-Time Systems using Object Oriented Specification in Cleopatra. In OORTS'95: The 1995 IEEE Workshop on Object Oriented Real-Time Systems, San Antonio, Texas, October 1995.

• Azer Bestavros. Speculative Concurrency Control for Multidatabases with Real-Time Interoperable Subsystems. Journal of Integrated Computer-Aided Engineering, 2(4), October 1995. John Wiley and Sons, Co.

• Azer Bestavros. Using Speculation to Reduce Server Load and Service Time on the World Wide Web. In Proceedings of CIKM'95: The 4th ACM International Conference on Information and Knowledge Management, Baltimore, Maryland, November 1995.

• Azer Bestavros and Spyridon Braoudakis. Value-cognizant Speculative Concurrency Control. In Proceedings of VLDB'95: The International Conference on Very Large Databases, pages 122-133, Zurich, Switzerland, September 1995.

• Azer Bestavros, Robert Carter, Mark Crovella, Carlos Cunha, Abdelsalam Heddaya, and Sulaiman Mirdad. Application Level Document Caching in the Internet. In IEEE SDNE'95: The Second International Workshop on Services in Distributed and Networked Environments, Whistler, British Columbia, June 1995.

• Azer Bestavros, Roscoe Giles, Abdelsalam Heddaya, Steve Homer, and Claudio Rebbi. The Boston University Parallel Curriculum. Proceedings of the First Wellesley Forum on Parallel Computing Curricula, March 1995.

• Hariharane Ramasamy, Azer Bestavros, and Temple Smith. An Extended Genetic Algorithm. In ACS Symposium on using Genetic Algorithms in Computer-Aided Chemistry, Anaheim, CA, April 1995.

1994

• Azer Bestavros. An Adaptive Information Dispersal Algorithm for Time-critical Reliable Communication. In Ivan Frisch, Manu Malek, and Shivendra Panwar, editors, Network Management and Control, Volume II, chapter 6, pages 423-438. Plenum Publishing Corporation, New York, New York, 1994.

• Azer Bestavros. An Ounce of Prevention is Worth a Pound of Cure: Towards Physically-Correct Specifications of Embedded Real-Time Systems. In Proceedings of COMPASS'94: The Ninth Annual IEEE Conference on Computer Assurance, Gaithersburg, MD, June 1994.

• Azer Bestavros. CLEOPATRA: Physically-Correct Specifications of Embedded Real-Time Programs. In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, FL, June 1994.

• Azer Bestavros. Multi-version Speculative Concurrency Control with Delayed Commit. In Proceedings of the 1994 International Symposium on Computers and their Applications, Long Beach, CA, March 1994.

• Azer Bestavros. Parallel Computing: From Architectures to Programming Languages. An Invited Presentation to the BU/NSF High Performance Computing Workshop for Educators, May 1994.

• Azer Bestavros. Speculative Algorithms For Concurrency Control in Responsive Databases. In Miroslaw Malek, editor, Responsive Computer Systems: Steps toward fault-tolerant Real-Time systems, chapter 8, pages 143-166. Kluwer Academic Publishers, Norwell, Massachusetts, 1994.

• Azer Bestavros and Spyridon Braoudakis. Timeliness via Speculation for Real-Time Databases. In Proceedings of RTSS'94: The 14th IEEE Real-Time System Symposium, San Juan, Puerto Rico, December 1994.

• Azer Bestavros and Paul Dell. Object-Oriented Laboratory Instrument Scheduling and Monitoring System: Database Issues. In OOPSLA '94 Workshop on Object-Oriented Technology for Health Care and Medical Information Systems, October 1994.

• Azer Bestavros, Richard Gerber, and Steve Masticola. Language, Compiler, and Tool Support for Real-Time Systems. ACM SIGPLAN Notices, December 1994. (Workshop Review).

1993

• Azer Bestavros. AIDA: A Bandwidth Allocation Strategy for Distributed Time-Critical Systems. In Proceedings of the First IEEE IPPS Workshop on Parallel and Distributed Real-Time Systems, Newport Beach, CA, April 1993.

• Azer Bestavros. AIDA-based Communication for Distributed Real-Time Applications. In Proceedings of the Second IEEE Network Management and Control Workshop, Tarrytown, NY, September 1993.

• Azer Bestavros and Spyridon Braoudakis. SCC-nS: A family of Speculative Concurrency Control Algorithms for Real-Time Databases. In Proceedings of the Third International Workshop on Responsive Computer Systems, Lincoln, NH, September 1993.

• Azer Bestavros and Dimitrios Spartiotis. Probabilistic Job Scheduling for Distributed Real-time Applications. In Proceedings of the First IEEE Workshop on Real-Time Applications, pages 97-102, New York, NY, May 1993.

1992

• Azer Bestavros. On the Specification and Verification of Real-Time Systems: A Position Statement. In IEEE RTOS'92: The 1992 IEEE Workshop on Real-Time Operating System and Software, Pitsburgh, PA, May 1992.

• Azer Bestavros. Speculative Concurrency Control: On Being Neither Optimistic Nor Pessimistic. A Position Statement in IEEE RTOSS'92: Panel on Real-Time Databases, June 1992.

1991

• Azer Bestavros. An Algorithm for Self-Diagnosis in Distributed Systems. International Journal of Mini and Microcomputers, 13(2):77-88, 1991. ACTA Press, Anaheim, Calgary, Zurich.

• Azer Bestavros. IDA-based Redundant Array of Inexpensive Disks. In Proceedings of PDIS'91: The IEEE International Conference on Parallel and Distributed Information Systems, pages 2-9, Miami Beach, Florida, December 1991.

• Azer Bestavros. Planning for embedded systems: A real-time prospective. In Proceedings of AIRTC-91: The 3rd IFAC Workshop on Artificial Intelligence in Real Time Control, Napa/Sonoma Region, CA, September 1991.

• Azer Bestavros. Specification and verification or real-time embedded systems using the Time-constrained Reactive Automata. In Proceedings of RTSS'91: The 12th IEEE Real-time Systems Symposium, pages 244-253, San Antonio, Texas, December 1991.

• Azer Bestavros. Time-constrained Reactive Automata: A Novel Development Methodology for Embedded Real-Time Systems. PhD thesis, Harvard University, Division of Applied Sciences (Department of Computer Science), Cambridge, Massachusetts, September 1991.

• Azer Bestavros and Thomas Cheatham. Efficient Execution of Homogeneous Tasks with Unequal Run Times on the Connection Machine. In Proceedings of ICPP'91, The 1991 International Conference on Parallel Processing, volume 3, pages 304-305, Chicago, Illinois, August 1991.

1990

• Azer Bestavros. An Algorithm for self diagnosis in distributed systems. In Proceedings of the 1990 Operations Research Society of America and The Institute for Management Systems (TIMS/ORSA) national joint meeting, Las Vegas, Nevada, May 1990.

• Azer Bestavros. Distributed self diagnosis for loosely-coupled computer networks. In Proceedings of PDCS'90: The ISCA International Conference on Parallel and Distributed Computing, and Systems, New York, New York, October 1990.

• Azer Bestavros. IOTA-based real-time executable specification using ESPRIT. In Proceedings of the 10th Annual Rochester Forth Conference on Embedded Systems, pages 46-50, Rochester, NY, June 1990.

• Azer Bestavros. Parallel Bin Packing Simulation. In Proceedings of PDCS'90: The ISCA International Conference on Parallel and Distributed Computing, and Systems, New York, New York, October 1990.

• Azer Bestavros. SETH: A VLSI chip for the real-time information dispersal and retrieval for security and fault-tolerance. In Proceedings of ICPP'90, The 1990 International Conference on Parallel Processing, pages 457-464, Chicago, Illinois, August 1990.

• Azer Bestavros. The IOTA: A model for Real-time Parallel Computation. In Proceedings of TAU'90: The 1990 ACM International Workshop on Timing issues in the Specification and Synthesis of Digital Systems, Vancouver, Canada, August 1990.

• Azer Bestavros, Thomas Cheatham, and Dan Stefanescu. Parallel Bin Packing Using First-Fit and K-Delayed Best-Fit Heuristics. In Proceedings of the 2nd IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, December 1990.

• Azer Bestavros, James Clark, and Nicola Ferrier. Management of Sensori-Motor Activity in Mobile Robots. In Proceedings of the 1990 IEEE International Conference on Robotics & Automation, Cincinati, Ohio, May 1990. IEEE Computer Society Press.

1989

• Azer Bestavros. A New Environment for Developing Real-Time Embedded Systems. Internal Report, Department of Computer Science, Harvard University, April 1989.

• Azer Bestavros. SETH: A VLSI Chip for the Dispersal and Retrieval of Information for Security and Fault-Tolerance. In the Massachusetts Microelectronic Center (M2C) newsletter, March 1989.

1988

• Azer Bestavros. The Michael-Merlin Connection: Programming tools for the remote control of the American Cimflex robot. Robotics Laboratory, Harvard University, Cambridge, MA, September 1988.

1987

• Azer Bestavros. Depth Estimation in a System with a Mobile Camera. Internal Report, Department of Computer Science, Harvard University, December 1987.

• Azer Bestavros. On automatic programming. Internal Report, Department of Computer Science, Harvard University, December 1987.

• Azer Bestavros. Self Diagnosis in Distributed Fault Tolerant Computing Systems. Master's thesis, Alexandria University, School of Engineering, Department of Computer Science, Alexandria, Egypt, April 1987.

• Azer Bestavros. Very High Level programming Languages. Internal Report, Department of Computer Science, Harvard University, December 1987.

1986

• Azer Bestavros and Ahmed Belal. MasterMind: A Game of Diagnostic Strategies. Bulletin of the Faculty of Engineering, Alexandria University, December 1986.