Azer Bestavros
Orcid: 0000-0003-0798-8835Affiliations:
- Boston University, USA
According to our database1,
Azer Bestavros
authored at least 173 papers
between 1990 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
On csauthors.net:
Bibliography
2022
A new benchmark harness for systematic and robust evaluation of streaming state stores.
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022
Multi-Regulation Computing: Examining the Legal and Policy Questions That Arise From Secure Multiparty Computation.
Proceedings of the 2022 Symposium on Computer Science and Law, 2022
Proceedings of the 2022 Symposium on Computer Science and Law, 2022
2020
IEEE Open J. Commun. Soc., 2020
Peafowl: in-application CPU scheduling to reduce power consumption of in-memory key-value stores.
Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020
2019
CoRR, 2019
Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications.
Proceedings of the 2019 IEEE Cybersecurity Development, 2019
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019
2018
IEEE Trans. Parallel Distributed Syst., 2018
ppXen: A hypervisor CPU scheduler for mitigating performance variability in virtualized clouds.
Future Gener. Comput. Syst., 2018
Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018
Accessible Privacy-Preserving Web-Based Data Analysis for Assessing and Addressing Economic Inequalities.
Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, 2018
2017
Role-Based Ecosystem Model for Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications.
IACR Cryptol. ePrint Arch., 2017
Multi-Capacity Bin Packing with Dependent Items and its Application to the Packing of Brokered Workloads in Virtualized Environments.
Future Gener. Comput. Syst., 2017
CoRR, 2017
AngelCast: Cloud-based peer-assisted live streaming using optimized multi-tree construction.
Comput. Commun., 2017
Commun. ACM, 2017
Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization.
Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017
GuideMe: Routes coordination of participating agents in mobile crowd sensing platforms.
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017
2016
CoRR, 2016
Proceedings of the IEEE Cybersecurity Development, 2016
Proceedings of the Fourth IEEE Workshop on Hot Topics in Web Systems and Technologies, 2016
Proceedings of the 2016 ACM Workshop on Moving Target Defense, 2016
2015
Rational coordination of crowdsourced resources for geo-temporal request satisfaction.
Proceedings of the 16th IEEE International Symposium on A World of Wireless, 2015
Proceedings of the 2015 SIAM International Conference on Data Mining, Vancouver, BC, Canada, April 30, 2015
Proceedings of the XXXIII Brazilian Symposium on Computer Networks and Distributed Systems, 2015
Proceedings of the IEEE International Conference on Communication, 2015
Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure.
Proceedings of the Third IEEE Workshop on Hot Topics in Web Systems and Technologies, 2015
Personalized Education; Solving a Group Formation and Scheduling Problem for Educational Content.
Proceedings of the 8th International Conference on Educational Data Mining, 2015
Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015
2014
IEEE/ACM Trans. Netw., 2014
IEEE Internet Comput., 2014
Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014
2013
Postlude: seamless composition and integration - a perspective on formal methods research.
Math. Struct. Comput. Sci., 2013
Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems.
Math. Struct. Comput. Sci., 2013
Proceedings of the 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2013
Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013
Proceedings of the IEEE High Performance Extreme Computing Conference, 2013
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013
2012
The Filter-Placement Problem and its Application to Minimizing Information Multiplicity.
Proc. VLDB Endow., 2012
Proceedings of the Twelfth SIAM International Conference on Data Mining, 2012
Proceedings of the Middleware 2012, 2012
Proceedings of the 2012 International Conference on Connected Vehicles and Expo, 2012
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012
2011
A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report).
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011
Trade & Cap: A customer-managed, market-based system for trading bandwidth allowances at a shared link.
Comput. Networks, 2011
An information-theoretic framework for field monitoring using autonomously mobile sensors.
Ad Hoc Networks, 2011
Proceedings of the World Congress on Services, 2011
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011
Proceedings of the IEEE International Conference on Cloud Computing, 2011
2010
IEEE Trans. Parallel Distributed Syst., 2010
EURASIP J. Wirel. Commun. Netw., 2010
Dynamic cross domain information sharing: a concept paper on flexible adaptive policy management.
Proceedings of the 3rd ACM Workshop on Assurable and Usable Security Configuration, 2010
A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010
Proceedings of The Ninth IEEE International Symposium on Networking Computing and Applications, 2010
Proceedings of the 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, 2010
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010
A Trading System for Fairly Scheduling Fixed-Sized Delay Tolerant Jobs at a Shared Link.
Proceedings of the Global Communications Conference, 2010
2009
Proceedings of the Wireless Algorithms, 2009
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems.
Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009
Proceedings of the Eighth International Conference on Networks, 2009
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009
2008
Proceedings of the First ACM Conference on Wireless Network Security, 2008
Amorphous Placement and Informed Diffusion for Timely Field Monitoring by Autonomous, Resource-Constrained, Mobile Sensors.
Proceedings of the Fifth Annual IEEE Communications Society Conference on Sensor, 2008
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
Proceedings of the INFOCOM 2008. 27th IEEE International Conference on Computer Communications, 2008
Proceedings of the 2008 ACM Conference on Emerging Network Experiment and Technology, 2008
2007
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007
J. Parallel Distributed Comput., 2007
Proceedings of the Passive and Active Network Measurement, 8th Internatinoal Conference, 2007
Proceedings of the Middleware 2007, 2007
Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007
Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007
Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007
Reduction of Quality (RoQ) Attacks on Dynamic Load Balancers: Vulnerability Assessment and Design Tradeoffs.
Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007
Proceedings of the First International Conference on Weblogs and Social Media, 2007
Proceedings of the Global Communications Conference, 2007
2006
IEEE/ACM Trans. Netw., 2006
Small-world characteristics of Internet topologies and implications on multicast scaling.
Comput. Networks, 2006
Comput. Networks, 2006
snBench: programming and virtualization framework for distributed multitasking sensor networks.
Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006
A Feedback Control Approach to Mitigating Mistreatment in Distributed Caching Groups.
Proceedings of the NETWORKING 2006, 2006
Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006
Proceedings of the 22nd International Conference on Data Engineering, 2006
Proceedings of IEEE International Conference on Communications, 2006
2005
IEEE Trans. Parallel Distributed Syst., 2005
M<sup>2</sup>RC: multiplicative-increase/additive-decrease multipath routing control for wireless sensor networks.
SIGBED Rev., 2005
Friendly virtual machines: leveraging a feedback-control model for application adaptation.
Proceedings of the 1st International Conference on Virtual Execution Environments, 2005
dPAM: a distributed prefetching protocol for scalable asynchronous multicast in P2P systems.
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005
Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005), 2005
2004
Performance Evaluation of Distributed Prefetching for Asynchronous Multicast in P2P Networks.
Proceedings of the Web Content Caching and Distribution: 9th International Workshop, 2004
On the interaction between data aggregation and topology control in wireless sensor networks.
Proceedings of the First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004
Proceedings of the 9th IEEE Symposium on Computers and Communications (ISCC 2006), June 28, 2004
Proceedings of the 12th IEEE International Conference on Network Protocols (ICNP 2004), 2004
Proceedings of the 12th IEEE International Conference on Network Protocols (ICNP 2004), 2004
2003
IEEE/ACM Trans. Netw., 2003
Proceedings of the 11th International Workshop on Modeling, 2003
Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003
Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN.
Proceedings of the 11th IEEE International Conference on Network Protocols (ICNP 2003), 2003
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003
2002
Comput. Commun., 2002
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002
A Buffer-and-Relay Approach to Streaming Media Delivery for Asynchronous Clients.
Proceedings of the Networked Group Communication, Fourth International COST264 Workshop, 2002
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002
Proceedings of the Global Telecommunications Conference, 2002
2001
SIGMETRICS Perform. Evaluation Rev., 2001
GreedyDual* Web caching algorithm: exploiting the two sources of temporal locality in Web request streams.
Comput. Commun., 2001
Proceedings of the 1st ACM SIGCOMM Internet Measurement Workshop, 2001
Proceedings of the 9th International Conference on Network Protocols (ICNP 2001), 2001
2000
Temporal locality in Web request streams: sources, characteristics, and caching implications (poster).
Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2000
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000
Proceedings of the MASCOTS 2000, Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 29 August, 2000
Proceedings of the Eighth Annual International Conference on Network Protocols, 2000
Proceedings of the 20th International Conference on Distributed Computing Systems, 2000
Proceedings of the 2000 IEEE International Conference on Communications: Global Convergence Through Communications, 2000
1999
World Wide Web, 1999
Eur. Trans. Telecommun., 1999
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999
Multiplexing VBR traffic flows with guaranteed application-level QoS using statistical rate monotonic scheduling.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1999), 1999
1998
Integr. Comput. Aided Eng., 1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998
Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998
1997
IEEE/ACM Trans. Netw., 1997
IEEE Concurrency, 1997
Concurrency Admission Control for RT Databases.
Proceedings of the Real-Time Database and Information Systems, 1997
Real-Time Mutable Broadcast Disks.
Proceedings of the Real-Time Database and Information Systems, 1997
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997
Proceedings of the Proceedings IEEE INFOCOM '97, 1997
Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997
Pinwheel Scheduling for Fault-Tolerant Broadcast Disks in Real-time Database Systems.
Proceedings of the Thirteenth International Conference on Data Engineering, 1997
Implementation and Performance Evaluation of TCP Boston: A Fragmentation-Tolerant TCP Protocol for ATM Networks.
Proceedings of the 1997 IEEE International Conference on Communications: Towards the Knowledge Millennium, 1997
1996
SIGMOD Rec., 1996
The validation and implementation of real-time robotics systems using Cleopatra object-oriented physically-correct specifications.
OOPS Messenger, 1996
Inf. Syst., 1996
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1996
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996
Proceedings of the Online-Proceedings of the First International Workshop on Real-Time Databases: Issues and Applications, 1996
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996
Proceedings of the Fourth International Conference on Parallel and Distributed Information Systems, 1996
Speculative Data Dissemination and Service to Reduce Server Load, Network Traffic and Service Time in Distributed Information Systems.
Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996
Timely and fault-tolerant data access from broadcast disks: a pinwheel-based approach.
Proceedings of the Workshop on Databases - Active and Real-Time, 1996
1995
Demand-based document dissemination to reduce traffic and balance load in distributed information systems.
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995
Proceedings of the CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28, 1995
Proceedings of the Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, 1995
1994
ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop).
ACM SIGPLAN Notices, 1994
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994
1991
Specification and Verification of Real-Time Embedded Systems Using Time-Constrained Reactive Automata.
Proceedings of the Real-Time Systems Symposium, 1991
Proceedings of the First International Conference on Parallel and Distributed Information Systems (PDIS 1991), 1991
Efficient Execution of Homogeneous Tasks with Unequal Run Times on the Connection Machine.
Proceedings of the International Conference on Parallel Processing, 1991
1990
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990
Proceedings of the 1990 IEEE International Conference on Robotics and Automation, 1990
SETH: A VLSI Chip for the Real-Time Information Dispersal and Retrieval for Security and Fault-Tolerance.
Proceedings of the 1990 International Conference on Parallel Processing, 1990