Papers

2017

2016

  • 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, Elsevier, 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 WorkflowsIn 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

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

    2011

     2010

    2009

    2008

    2007

    2006

    2005

    2004

    2003

    2002

    2001

    2000

    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

    1995

    1994

    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

    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