• 382 Citations
  • 10 h-Index
1992 …2018
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1992 2018

  • 382 Citations
  • 10 h-Index
  • 41 Conference contribution
  • 13 Article
  • 1 Patent
2018

AVAIL: Assured Volt-Ampère Information Ledger

Tesfay, T., Jamei, M., Scaglione, A., Hedman, M., Hedman, K. & Bazzi, R., Dec 24 2018, 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2018. Institute of Electrical and Electronics Engineers Inc., 8587601

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Energy management systems

Brief announcement: Deterministic leader election in self-organizing particle systems

Bazzi, R. & Briones, J. L., Jan 1 2018, Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Proceedings. Izumi, T. & Kuznetsov, P. (eds.). Springer Verlag, p. 381-386 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11201 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Self-organizing Systems
Leader Election
Particle System
Geometric Model
Vertex of a graph

Clairvoyant state machine replications

Bazzi, R. & Herlihy, M., Jan 1 2018, Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Proceedings. Izumi, T. & Kuznetsov, P. (eds.). Springer Verlag, p. 254-268 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11201 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

State Machine
Replication
Transactions
Network protocols
Servers
2015

A formal study of backward compatible dynamic software updates

Shen, J. & Bazzi, R., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9276. p. 231-248 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9276).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Update
Software
Equivalence
Compatibility
Generalise

Brief announcement: On the feasibility of leader election and shape formation with self-organizing programmable matter

Derakhshandeh, Z., Gmyr, R., Strothmann, T., Bazzi, R., Richa, A. & Scheideler, C., Jul 21 2015, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, Vol. 2015-July. p. 67-69 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tile
Robotics
DNA
Physical properties
Color
3 Citations (Scopus)

Instrumentation and Trace Analysis for Ad-Hoc Python Workflows in Cloud Environments

Acuna, R., Lacroix, Z. & Bazzi, R., Aug 19 2015, Proceedings - 2015 IEEE 8th International Conference on Cloud Computing, CLOUD 2015. Institute of Electrical and Electronics Engineers Inc., p. 114-121 8 p. 7214035

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Trace analysis
17 Citations (Scopus)

Leader election and shape formation with self-organizing programmable matter

Derakhshandeh, Z., Gmyr, R., Strothmann, T., Bazzi, R., Richa, A. & Scheideler, C., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9211. p. 117-132 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9211).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Leader Election
Geometric Model
Self-organizing
Self-organizing Systems
Particle System
2014
1 Citation (Scopus)

Effective storage capacity of labeled graphs

Angluin, D., Aspnes, J., Bazzi, R., Chen, J., Eisenstat, D. & Konjevod, G., Feb 2014, In : Information and Computation. 234, p. 44-56 13 p.

Research output: Contribution to journalArticle

Storage Capacity
Channel capacity
Labeling
Turing machines
Trees (mathematics)
2013
2 Citations (Scopus)

Auto-FBI: A user-friendly approach for secure access to sensitive content on the web

Zohrevandi, M. & Bazzi, R., 2013, ACM International Conference Proceeding Series. p. 349-358 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automation
2 Citations (Scopus)
World Wide Web
Personal computing
Web browsers
Authentication
Websites
5 Citations (Scopus)

The bounded data reuse problem in scientific workflows

Zohrevandi, M. & Bazzi, R., 2013, Proceedings - IEEE 27th International Parallel and Distributed Processing Symposium, IPDPS 2013. p. 1051-1062 12 p. 6569884

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Natural sciences computing
Integer programming
Experiments
2012

A user-centric classification of tools for biological resource discovery and integration on the web

Bazzi, R., Kiefer, J. M. & Lacroix, Z., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6799 LNCS. p. 71-87 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6799 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Resource Discovery
Scientific Workflow
Work Flow
Maintenance
Query

How to have your cake and eat it too: Dynamic software updating with just-in-time overhead

Bazzi, R., Topp, B. & Neamtiu, I., 2012, 2012 4th International Workshop on Hot Topics in Software Upgrades, HotSWUp 2012 - Proceedings. p. 1-5 5 p. 6226611

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Gears
2011

Proceedings - International Conference on Data Engineering: Foreword

Hicks, M., Bazzi, R. & Zaniolo, C., 2011, Proceedings - International Conference on Data Engineering. p. 132 1 p. 5767623

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Satellites
2 Citations (Scopus)

The K-observer problem in computer networks

Acharya, H. B., Choi, T., Bazzi, R. & Gouda, M. G., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6976 LNCS. p. 5-18 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6976 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer system firewalls
Computer Networks
Computer networks
Telecommunication traffic
Observer
2010

Storage capacity of labeled graphs

Angluin, D., Aspnes, J., Bazzi, R., Chen, J., Eisenstat, D. & Konjevod, G., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6366 LNCS. p. 573-587 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6366 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Storage Capacity
Labeling
Channel capacity
Graph in graph theory
Turing machines
2009
8 Citations (Scopus)

Dynamic software updates: The state mapping problem

Bazzi, R., Makris, K., Nayeri, P. & Shen, J., 2009, Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades, HotSWUp '09. 7

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Enhanced fault-tolerance through Byzantine failure detection

Bazzi, R. & Herlihy, M., 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5923 LNCS. p. 129-143 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5923 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Failure Detection
Fault tolerance
Fault Tolerance
Broadcast
Lower bound
1 Citation (Scopus)

Hop chains: Secure routing and the establishment of distinct identities

Bazzi, R., Choi, Y. R. & Gouda, M. G., Feb 28 2009, In : Theoretical Computer Science. 410, 6-7, p. 467-480 14 p.

Research output: Contribution to journalArticle

Router
Routers
Collusion
Routing
Distinct
2008
5 Citations (Scopus)

Matrix signatures: From MACs to digital signatures in distributed systems

Aiyer, A. S., Alvisi, L., Bazzi, R. & Clement, A., 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5218 LNCS. p. 16-31 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5218 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Electronic document identification systems
Digital Signature
Distributed Systems
Signature
Servers
2007
11 Citations (Scopus)

Bounded wait-free implementation of optimally resilient byzantine storage without (unproven) cryptographic assumptions

Aiyer, A. S., Alvisi, L. & Bazzi, R., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4731 LNCS. p. 7-19 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4731 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wait-free
Servers
Server
Secret Sharing
Communication
1 Citation (Scopus)

Brief announcement: Bounded wait-free implementation of optimally resilient byzantine storage without (unproven) cryptographic assumptions

Aiyer, A. S., Alvisi, L. & Bazzi, R., 2007, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. p. 310-311 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault tolerance
9 Citations (Scopus)

On the establishment of distinct identities in overlay networks

Bazzi, R. & Konjevod, G., Mar 2007, In : Distributed Computing. 19, 4, p. 267-287 21 p.

Research output: Contribution to journalArticle

Overlay networks
Peer to peer networks
Overlay Networks
Certification
Distinct
2006
6 Citations (Scopus)

A captcha based on the Human Visual Systems masking characteristics

Ferzli, R., Bazzi, R. & Karam, L., 2006, 2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings. Vol. 2006. p. 517-520 4 p. 4036650

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Character recognition
Visibility
Textures
2 Citations (Scopus)

Bounded wait-free f-resilient atomic byzantine data storage systems for an unbounded number of clients

Bazzi, R. & Ding, Y., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4167 LNCS. p. 299-313 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4167 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wait-free
Information Storage and Retrieval
Data Storage
Storage System
Information Systems
4 Citations (Scopus)

Byzantine and multi-writer k-quorums

Aiyer, A. S., Alvisi, L. & Bazzi, R., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4167 LNCS. p. 443-458 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4167 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quorum
Network protocols
High Availability
Scheduler
Expand
5 Citations (Scopus)

Hop chains: Secure routing and the establishment of distinct identities

Bazzi, R., Choi, Y. R. & Gouda, M. G., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4305 LNCS. p. 365-379 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4305 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Collusion
Router
Routers
Routing
Distinct
2005
2 Citations (Scopus)

Brief announcement: Wait-free implementation of multiple-writers/multiple-readers atomic byzantine data storage systems

Bazzi, R. & Ding, Y., 2005, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. Vol. 24. p. 353 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault tolerance
Data storage equipment
24 Citations (Scopus)

On the availability of non-strict quorum systems

Aiyer, A., Alvizi, L. & Bazzi, R., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3724 LNCS. p. 48-62 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3724 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quorum
Availability
Scheduler
Servers
Server
33 Citations (Scopus)

On the establishment of distinct identifies in overlay networks

Bazzi, R. & Konjevod, G., 2005, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. Vol. 24. p. 312-320 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Overlay networks
Network protocols
Peer to peer networks
Message passing
Geometry
5 Citations (Scopus)

Reduced-delay selective ARQ for low bit-rate image and multimedia data transmission

Lam, T. T., Karam, L., Bazzi, R. & Abousleman, G. P., 2005, ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Vol. II. 1415403

Research output: Chapter in Book/Report/Conference proceedingConference contribution

automatic repeat request
multimedia
data transmission
Data communication systems
receivers
2004
Secret Sharing
Information Systems
Servers
Server
Storage System
20 Citations (Scopus)
Timestamp
Information Storage and Retrieval
Data Storage
Storage System
Information Systems

Selective FEC for error-resilient image coding and transmission using similarity check functions

Lam, T. T., Karam, L., Bazzi, R. & Abousleman, G. P., 2004, Proceedings - International Conference on Image Processing, ICIP. Vol. 2. p. 3217-3220 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Image communication systems
Image coding
Forward error correction
2003
1 Citation (Scopus)
Computer Security
Data Hiding
Infrastructure
1 Citation (Scopus)

Provably Secure Data Hiding and Tamper Resistance for a Simple Loop Program

Bazzi, R., Candan, K., Badin, R. & Fajri, A., 2003, Proceedings of SPIE - The International Society for Optical Engineering. Carapezza, E. M. (ed.). Vol. 5071. p. 517-527 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Servers
2002
8 Citations (Scopus)

Heterogeneous checkpointing for multithreaded applications

Karablieh, F. & Bazzi, R., 2002, Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 140-149 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Synchronization
Semantics
Scheduling
Hardware
Linux
2001
6 Citations (Scopus)

Access cost for asynchronous Byzantine quorum systems

Bazzi, R., Jan 2001, In : Distributed Computing. 14, 1, p. 41-48 8 p.

Research output: Contribution to journalArticle

Quorum
Costs
Asynchronous Systems
Message Complexity
Reformulation
16 Citations (Scopus)

Compiler-assisted heterogeneous checkpointing

Karablieh, F., Bazzi, R. & Hicks, M., 2001, Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 56-65 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

High level languages
Recovery
18 Citations (Scopus)

Simplifying fault-tolerance: Providing the abstraction of crash failures

Bazzi, R. & Neiger, G., May 2001, In : Journal of the ACM. 48, 3, p. 499-554 56 p.

Research output: Contribution to journalArticle

Crash
Fault tolerance
Fault Tolerance
Message passing
Parallel algorithms
2000
7 Citations (Scopus)

Planar quorums

Bazzi, R., Jul 28 2000, In : Theoretical Computer Science. 243, 1-2, p. 243-268 26 p.

Research output: Contribution to journalArticle

Quorum
Availability
Costs
Triangle
Message Complexity
25 Citations (Scopus)

Synchronous Byzantine quorum systems

Bazzi, R., Jan 2000, In : Distributed Computing. 13, 1, p. 45-52 8 p.

Research output: Contribution to journalArticle

Quorum
Data Replication
Lower bound
Synchronous Systems
Mutual Exclusion
1999

Non-blocking asynchronous byzantine quorum systems

Bazzi, R., 1999, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1693. p. 109-122 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1693).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quorum
Costs
Asynchronous Systems
Reformulation
Message Complexity
5 Citations (Scopus)

Using knowledge to optimally achieve coordination in distributed systems

Neiger, G. & Bazzi, R., Jun 6 1999, In : Theoretical Computer Science. 220, 1, p. 31-65 35 p.

Research output: Contribution to journalArticle

Distributed Systems
Distributed computer systems
Common Knowledge
Distributed Computing
Efficient Solution
1997
7 Citations (Scopus)

On the use of registers in achieving wait-free consensus

Bazzi, R., Neiger, G. & Peterson, G. L., 1997, In : Distributed Computing. 10, 3, p. 117-127 11 p.

Research output: Contribution to journalArticle

Wait-free
Availability
Concurrent
Hierarchy

Portable memory

Bazzi, R., 1997, Proceedings of the IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems. Anon (ed.). Los Alamitos, CA, United States: IEEE Comp Soc, p. 162-167 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data storage equipment
Fault tolerance
Computer programming languages
7 Citations (Scopus)

Synchronous Byzantine quorum systems

Bazzi, R., 1997, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. New York, NY, United States: ACM, p. 259-266 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The Complexity of Almost-Optimal Simultaneous Coordination

Bazzi, R. & Neiger, G., Mar 1997, In : Algorithmica (New York). 17, 3, p. 308-321 14 p.

Research output: Contribution to journalArticle

Distributed computer systems
NP-complete problem
Local Computation
Synchronous Systems
Distributed Computing
1996
8 Citations (Scopus)

Planar quorums

Bazzi, R., 1996, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1151. p. 251-268 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1151).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quorum
Availability
Costs
Triangle
Message Complexity
1994
14 Citations (Scopus)

A gap theorem for consensus types

Peterson, G. L., Bazzi, R. & Neiger, G., Aug 14 1994, Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994. Association for Computing Machinery, Vol. Part F129432. p. 344-353 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data storage equipment