Byzantine Fault Tolerance, from Theory to Reality

The Byzantine generals problem

Lamport, L., Shostak, R., & Pease, M. (1982) · ACM Transactions on Programming Languages and Systems · doi:10.1145/357172.357176 · Cited by 6,023

Real-time systems: Design principles for distributed embedded applications

Kopetz, H. (1997) · Computers & Mathematics with Applications · doi:10.1016/s0898-1221(97)90277-7 · Cited by 1,862

The Quantum Postulate and the Recent Development of Atomic Theory1

BOHR, N. (1928) · Nature · doi:10.1038/121580a0 · Cited by 1,700

The Byzantine generals problem

International, S., Lamport, L., Shostak, R. E., International, S., Pease, M. C., & International, S. (2019) · ACM eBooks · doi:10.1145/3335772.3335936 · Cited by 1,034

SIFT: Design and analysis of a fault-tolerant computer for aircraft control

Wensley, J. H., Lamport, L., Goldberg, J., Green, M. W., Levitt, K., Melliar-Smith, P. M., Shostak, R. E., & Weinstock, C. (1978) · Proceedings of the IEEE · doi:10.1109/proc.1978.11114 · Cited by 565

FTMP—A highly reliable fault-tolerant multiprocess for aircraft

Hopkins, A. L., Smith, T. B., & Lala, J. H. (1978) · Proceedings of the IEEE · doi:10.1109/proc.1978.11113 · Cited by 370

Impact of deep submicron technology on dependability of VLSI circuits

Constantinescu, C. S. (2003) · International Conference on Dependable Systems & Networks/Proceedings · doi:10.1109/dsn.2002.1028901 · Cited by 192

Beyond the byzantine generals: unexpected behavior and bridging fault diagnosis

Lavo, D. B., Larrabee, T., & Chess, B. (2002) · doi:10.1109/test.1996.557118 · Cited by 84

Formal verification for time-triggered clock synchronization

Pfeifer, H., Schwier, D., & von Henke, F. W. (2003) · doi:10.1109/dcfts.1999.814297 · Cited by 60

Measured Flip-Flop Responses to Marginal Triggering

Chaney (1983) · IEEE Transactions on Computers · doi:10.1109/tc.1983.1676187 · Cited by 49

Closing the AI accountability gap: defining an end-to-end framework for internal algorithmic auditing

Raji, I. D., Smart, A., White, R. N., Mitchell, M., Gebru, T., Hutchinson, B., Smith-Loud, J., Theron, D., & Barnes, P. (2020) · Proceedings of the 2020 Conference on Fairness, Accountability, and Transparency · doi:10.1145/3351095.3372873 · Cited by 2,245

Blockchain Meets IoT: An Architecture for Scalable Access Management in IoT

Novo, O. (2018) · IEEE Internet of Things Journal · doi:10.1109/jiot.2018.2812239 · Cited by 1,318

A Survey on Blockchain Technology: Evolution, Architecture and Security

Bhutta, M. N. M., Khwaja, A. A., Nadeem, A., Ahmad, H. F., Khan, M. K., Hanif, M., Song, H., Alshamari, M., & Cao, Y. (2021) · IEEE Access · doi:10.1109/access.2021.3072849 · Cited by 556

A Survey of IoT Applications in Blockchain Systems

Lao, L., Li, Z., Hou, S., Xiao, B., Guo, S., & Yang, Y. (2020) · ACM Computing Surveys · doi:10.1145/3372136 · Cited by 311

A Comparative Analysis of Blockchain Architecture and its Applications: Problems and Recommendations

Syed, T. A., Alzahrani, A., Jan, S., Siddiqui, M. S., Nadeem, A., & Alghamdi, T. (2019) · IEEE Access · doi:10.1109/access.2019.2957660 · Cited by 286

A Review of Blockchain Architecture and Consensus Protocols: Use Cases, Challenges, and Solutions

Ismail, L., & Materwala, H. (2019) · Symmetry · doi:10.3390/sym11101198 · Cited by 278

A Taxonomy of Blockchain Technologies: Principles of Identification and Classification

Tasca, P., & Tessone, C. J. (2019) · Ledger · doi:10.5195/ledger.2019.140 · Cited by 263

Consortium blockchains: Overview, applications and challenges

Dib, O., Brousmiche, K.-L., Durand, A., Thea, E., & Hamida, E. B. (2018) · HAL · Cited by 246

The Performance Evaluation of Blockchain-Based Security and Privacy Systems for the Internet of Things: A Tutorial

Ferrag, M. A., & Shu, L. (2021) · IEEE Internet of Things Journal · doi:10.1109/jiot.2021.3078072 · Cited by 231

Closing the AI Accountability Gap: Defining an End-to-End Framework for Internal Algorithmic Auditing

Raji, I. D., Smart, A., White, R. N., Mitchell, M., Gebru, T., Hutchinson, B., Smith-Loud, J., Theron, D., & Barnes, P. (2020) · arXiv · doi:10.48550/arxiv.2001.00973 · Cited by 179

G-PBFT: A Location-based and Scalable Consensus Protocol for IoT-Blockchain Applications

Lao, L., Dai, X., Xiao, B., & Guo, S. (2020) · IEEE International Parallel and Distributed Processing Symposium (IPDPS) · doi:10.1109/ipdps47924.2020.00074 · Cited by 156

ByRDiE: Byzantine-Resilient Distributed Coordinate Descent for Decentralized Learning

Yang, Z., & Bajwa, W. U. (2019) · IEEE Transactions on Signal and Information Processing over Networks · doi:10.1109/tsipn.2019.2928176 · Cited by 133

BRIDGE: Byzantine-Resilient Decentralized Gradient Descent

Fang, C., Yang, Z., & Bajwa, W. U. (2022) · IEEE Transactions on Signal and Information Processing over Networks · doi:10.1109/tsipn.2022.3188456 · Cited by 129

The byzantine empire in the intercloud

Vukolić, M. (2010) · ACM SIGACT News · doi:10.1145/1855118.1855137 · Cited by 109

A blockchain-based secure data-sharing framework for Software Defined Wireless Body Area Networks

Hasan, K., Chowdhury, M. J. M., Biswas, K., Ahmed, K. E. U., Islam, M. S., & Usman, M. (2022) · Computer Networks · doi:10.1016/j.comnet.2022.109004 · Cited by 78

A survey on scalable consensus algorithms for blockchain technology

Jain, A. K., Gupta, N., & Gupta, B. B. (2024) · Cyber Security and Applications · doi:10.1016/j.csa.2024.100065 · Cited by 82

PoEWAL: A lightweight consensus mechanism for blockchain in IoT

Raghav, Andola, N., Venkatesan, S., & Verma, S. (2020) · Pervasive and Mobile Computing · doi:10.1016/j.pmcj.2020.101291 · Cited by 72

Monitoring Distributed Real-Time Systems: A Survey and Future Directions

Goodloe, A. E., & Pike, L. (2010) · Cited by 72

Ontology of Blockchain Technologies. Principles of Identification and ClassificationPreprint

Tasca, P., & Thanabalasingham, T. (2017) · SSRN Electronic Journal · doi:10.2139/ssrn.2977811 · Cited by 56

Blockchain based consensus checking in decentralized cloud storage

Zhu, Z., Qi, G., Zheng, M., Sun, J., & Chai, Y. (2019) · Simulation Modelling Practice and Theory · doi:10.1016/j.simpat.2019.101987 · Cited by 55

Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect"

Bev Littlewood, A., & Rushby, J. (2011) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2011.80 · Cited by 53

A Study on Run Time Assurance for Complex Cyber Physical Systems

Clark, M., Koutsoukos, X., Porter, J., Kumar, R., Pappas, G. J., Sokolsky, O. V., Lee, I., & Pike, L. (2013) · Defense Technical Information Center (DTIC) · doi:10.21236/ada585474 · Cited by 52

Robus-2: A Fault-Tolerant Broadcast Communication System

Torres-Pomales, W., Malekpour, M. R., & Miner, P. S. (2013) · Cited by 48

AADL-Based safety analysis using formal methods applied to aircraft digital systems

Stewart, D., Liu, J., Cofer, D. D., Heimdahl, M. P. E., Whalen, M. W., & Peterson, M. (2021) · Reliability Engineering & System Safety · doi:10.1016/j.ress.2021.107649 · Cited by 48

Bounded Delay in Byzantine-Tolerant State Machine Replication

Milosevic, Z., Biely, M., & Schiper, A. (2013) · IEEE Symposium on Reliable Distributed Systems (SRDS) · doi:10.1109/srds.2013.15 · Cited by 47

Risks to the Public

Neumann, P. G. (2019) · ACM SIGSOFT Software Engineering Notes · doi:10.1145/3325642.3325643 · Cited by 47

Cyber conflict or democracy “hacked”? How cyber operations enhance information warfare

Whyte, C. (2020) · Journal of Cybersecurity · doi:10.1093/cybsec/tyaa013 · Cited by 47

Modeling and Mitigating Transient Errors in Logic Circuits

Polian, I., Hayes, J. P., Reddy, S. M., & Becker, B. (2011) · IEEE Transactions on Dependable and Secure Computing · doi:10.1109/tdsc.2010.26 · Cited by 41

Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems

Paulitsch, M., Morris, J. M., Hall, B., Driscoll, K. R., Latronico, E., & Koopman, P. J. (2005) · International Conference on Dependable Systems & Networks/Proceedings · doi:10.1109/dsn.2005.31 · Cited by 38

Trust but Verify: The Oracle Paradox of Blockchain Smart Contracts

Albizri, A., & Appelbaum, D. A. (2021) · Journal of Information Systems · doi:10.2308/isys-19-024 · Cited by 36

A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems

Malekpour, M. R. (2006) · Lecture notes in computer science · doi:10.1007/978-3-540-49823-0_29 · Cited by 36

System Design

Kopetz, H. (2011) · Real-time systems series · doi:10.1007/978-1-4419-8237-7_11 · Cited by 34

A Safety-Case Approach for Certifying Adaptive Systems

Rushby, J. (2009) · AIAA Infotech@Aerospace Conference · doi:10.2514/6.2009-1992 · Cited by 32

Distributed reconfigurable avionics architectures

Strunk, E. A., Knight, J. C., & Aiello, M. A. (2005) · IEEE/AIAA Digital Avionics Systems Conference (DASC) · doi:10.1109/dasc.2004.1390803 · Cited by 31

A Secure Big Data Storage Framework Based on Blockchain Consensus Mechanism With Flexible Finality

Sasikumar, A., Ravi, L., Kotecha, K. V., Abraham, A., Devarajan, M., & Subramaniyaswamy, V. (2023) · IEEE Access · doi:10.1109/access.2023.3282322 · Cited by 29

Transient fault characterization in dynamic noisy environments

Polian, I., Hayes, J. P., Kundu, S. K., & Becker, B. (2006) · IEEE International Test Conference (ITC) · doi:10.1109/test.2005.1584070 · Cited by 28

SIoTFog: Byzantine-resilient IoT fog networking

Xu, J., Ota, K., Dong, M., Liu, A., & Li, Q. (2018) · Frontiers of Information Technology & Electronic Engineering · doi:10.1631/fitee.1800519 · Cited by 28

Architectural Modeling and Analysis for Safety Engineering

Stewart, D., Whalen, M. W., Cofer, D. D., & Heimdahl, M. P. E. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-64119-5_7 · Cited by 28

Abstractions for Fault-Tolerant Distributed System Verification

Pike, L., Maddalon, J. M., Miner, P. S., & Geser, A. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30142-4_19 · Cited by 28

Pruneable sharding-based blockchain protocol

Feng, X., Ma, J., Miao, Y., Meng, Q., Liu, X., Jiang, Q. G., & Li, H. (2018) · Peer-to-Peer Networking and Applications · doi:10.1007/s12083-018-0685-6 · Cited by 27

Blockchain in digital cultural heritage resources: technological integration, consensus mechanisms, and future directions

Liu, X., Dong, F., Shui, W., & Geng, G. (2025) · npj Heritage Science · doi:10.1038/s40494-025-01818-4 · Cited by 26

The current state of FPGA technology in the nuclear domain

Ranta, J. (2012) · Cited by 26

SimplePIM: A Software Framework for Productive and Efficient Processing-in-Memory

Chen, J., Gómez-Luna, J., Hajj, I. E., Guo, Y., & Mutlu, O. (2023) · International Conference on Parallel Architectures and Compilation Techniques (PACT) · doi:10.1109/pact58117.2023.00017 · Cited by 24

The Startup Problem in Fault-Tolerant Time-Triggered Communication

Steiner, W., & Kopetz, H. (2006) · International Conference on Dependable Systems & Networks/Proceedings · doi:10.1109/dsn.2006.69 · Cited by 22

New Insights Into the Single Event Transient Propagation Through Static and TSPC Logic

Hamad, G. B., Hasan, S. R., Mohamed, O. A., & Savaria, Y. (2014) · IEEE Transactions on Nuclear Science · doi:10.1109/tns.2014.2305434 · Cited by 21

Quantum Blockchain Based on Dimensional Lifting Generalized Gram-Schmidt Procedure

Nilesh, K., & Panigrahi, P. K. (2022) · IEEE Access · doi:10.1109/access.2022.3208123 · Cited by 20

Blockchain-based Secure Routing Strategy for Airborne Mesh Networks

Liu, Y., Wang, J., Song, H., Li, J., & Yuan, J. (2019) · IEEE International Conference on Industrial Internet (ICII) · doi:10.1109/icii.2019.00021 · Cited by 19

A systematic survey on fault-tolerant solutions for distributed data analytics: Taxonomy, comparison, and future directions

Isukapalli, S., & Srirama, S. N. (2024) · Computer Science Review · doi:10.1016/j.cosrev.2024.100660 · Cited by 17

Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol

Sivencrona, H., Johannessen, P., Persson, M., & Torin, J. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-45214-0_8 · Cited by 17

Distributed triangulation in the presence faulty and byzantine beacons in aircraft networks with ADS-B technology

Uhlig, D. V., Kiyavash, N., & Neogi, N. A. (2009) · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · doi:10.1109/acc.2009.5160662 · Cited by 17

Practical Experience Report: Automotive Safety Practices vs. Accepted Principles

Koopman, P. J. (2018) · Lecture notes in computer science · doi:10.1007/978-3-319-99130-6_1 · Cited by 16

Property Rights, Knowledge Commons, and Blockchain Governance

Allen, D. W. E., Berg, C., Davidson, S., & Potts, J. (2021) · Cambridge University Press eBooks · doi:10.1017/9781108692915.008 · Cited by 15

IGOR: Accelerating Byzantine Fault Tolerance for Real-Time Systems with Eager Execution

Loveless, A. T., Dreslinski, R., Kasikci, B., & Phan, L. T. X. (2021) · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · doi:10.1109/rtas52030.2021.00036 · Cited by 15

A Survey on Consensus Algorithms of Blockchain Based on DAG

Lu, X., Jiang, C., & Wang, P. (2024) · Blockchain and Internet of Things Conference (BIOTC) · doi:10.1145/3688225.3688232 · Cited by 14

A Quad-Redundant PLC Architecture for Cyber-Resilient Industrial Control Systems

Luo, J., Kang, M. H., Bisse, E., Veldink, M., Okunev, D., Kolb, S., Tylka, J. G., & Canedo, A. (2020) · IEEE Embedded Systems Letters · doi:10.1109/les.2020.3011309 · Cited by 14

Model Checking Failed Conjectures in Theorem Proving: A Case Study

Pike, L., Miner, P. S., & Torres-Pomales, W. (2013) · NASA Technical Reports Server (NASA) · Cited by 13

Blockchain Economical Models, Delegated Proof of Economic Value and Delegated Adaptive Byzantine Fault Tolerance and their implementation in Artificial Intelligence BlockCloud

Deng, Q. (2019) · Journal of risk and financial management · doi:10.3390/jrfm12040177 · Cited by 12

Interactive Consistency on a Time-Triggered Real-Time Control Network

Ryan, C., Heffernan, D., & Leen, G. (2006) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2006.885189 · Cited by 12

Modeling, analyzing, and abstracting single event transient propagation at gate level

Hamad, G. B., Hasan, S. R., Mohamed, O. A., & Savaria, Y. (2014) · IEEE International Midwest Symposium on Circuits and Systems (MWSCAS) · doi:10.1109/mwscas.2014.6908465 · Cited by 11

A Taxonomic Hierarchy of Blockchain Consensus Algorithms: An Evolutionary Phylogeny Approach

Kim, H., & Kim, D. (2023) · Sensors · doi:10.3390/s23052739 · Cited by 11

Blockchain technology: Challenges and opportunities in public finance

Lopes, D. C. F., de Castro, A. L., & Russo, L. X. (2024) · RAM. Revista de Administração Mackenzie · doi:10.1590/1678-6971/eramr240208 · Cited by 11

Quantifying the reliability of proven SPIDER group membership service guarantees

Latronico, E., Miner, P. S., & Koopman, P. J. (2004) · International Conference on Dependable Systems & Networks/Proceedings · doi:10.1109/dsn.2004.1311897 · Cited by 11

No-Dealer: Byzantine Fault-Tolerant Random Number Generator

Krasnoselskii, M., Melnikov, G., & Yanovich, Y. (2020) · IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) · doi:10.1109/infocomwkshps50562.2020.9162907 · Cited by 11

A survey on reliable distributed communication

Ivaki, N., Laranjeiro, N., & Araújo, F. (2017) · Journal of Systems and Software · doi:10.1016/j.jss.2017.03.028 · Cited by 10

An Architecture for Safe Driving Automation

Kopetz, H. (2022) · Lecture notes in computer science · doi:10.1007/978-3-031-22337-2_4 · Cited by 10

Chainknot: Redactable Blockchain Protocol With Forced Synchronization

Duan, J., Gu, L., Wang, W., & Wang, L. (2024) · IEEE Transactions on Network Science and Engineering · doi:10.1109/tnse.2024.3359313 · Cited by 10

A new architecture for single-event detection & reconfiguration of SRAM-based FPGAs

Kamanu, E., Reddy, P., Hsu, K. W., & Lukowaik, M. (2007) · IEEE International Symposium on High Assurance Systems Engineering (HASE) · doi:10.1109/hase.2007.68 · Cited by 10

Towards the application of swarm intelligence in safety critical systems

Winfield, A. F. T., Harper, C., & Nembrini, J. (2006) · IET International Conference on System Safety · doi:10.1049/cp:20060207 · Cited by 10

Byzantine Anomaly Testing for Charm++: Providing Fault Tolerance and Survivability for Charm++ Empowered Clusters

Mogilevsky, D., Koenig, G. A., & Yurcik, W. J. (2006) · IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) · doi:10.1109/ccgrid.2006.1630925 · Cited by 10

Formal verification of time-triggered systems

Johnson, S., & Pike, L. (2006) · Cited by 10

CAROL: Confidence-Aware Resilience Model for Edge Federations

Tuli, S., Casale, G., & Jennings, N. R. (2022) · 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) · doi:10.1109/dsn53405.2022.00016 · Cited by 9

Improving the performance of the Proof-of-Work Consensus Protocol Using Machine learning

Safana, M. A., Arafa, Y., & Ma, J. (2020) · International Conference on Blockchain Computing and Applications (BCCA) · doi:10.1109/bcca50787.2020.9274082 · Cited by 9

Fault‐tolerant procedures for redundant computer systems

Samet, R. (2008) · Quality and Reliability Engineering International · doi:10.1002/qre.949 · Cited by 9

Computationally Intensive Functions in Designing and Operating Distributed Cyber Secure and Resilient Systems

Tagarev, T. D., & Sharkov, G. (2019) · International Conference on Computer Systems and Technologies (CompSysTech) · doi:10.1145/3345252.3345255 · Cited by 9

Model-Based Development of Fault-Tolerant Real-Time Systems

Buckl, C. (2008) · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · Cited by 9

Dependability

Kopetz, H., & Steiner, W. (2022) · Springer eBooks · doi:10.1007/978-3-031-11992-7_6 · Cited by 8

Blockchain Consensus Mechanism for Distributed Energy Transactions

Wu, J., Liu, Y., Cai, J., & Su, S. (2022) · Wireless Communications and Mobile Computing · doi:10.1155/2022/4314734 · Cited by 8

Blockchain based Consensus Checking in Cloud Storage

Qi, G., Zhu, Z., Haner, M. S., Sim, J., Sun, J., Chai, Y., Chen, Y., & Li, Y. (2019) · International Symposium on Autonomous Decentralized Systems · doi:10.1109/isads45777.2019.9155713 · Cited by 8

DRDChain: a blockchain-based distributed resource directory for the internet of things

Zaghouani, K., Djamaa, B., & Yachir, A. (2023) · Cluster Computing · doi:10.1007/s10586-023-04177-6 · Cited by 7

AI and Financial Markets

Hamori, S., & Takiguchi, T. (2020) · MDPI eBooks · doi:10.3390/books978-3-03936-225-7 · Cited by 7

Improving Fault Tolerance and Tackling Broker Failure in MQTT through Blockchain

Paul, G. A., Jagnani, Y., & Supraja, P. (2023) · International Conference on Advances in Electrical, Computing, Communication and Sustainable Technologies (ICAECT) · doi:10.1109/icaect57570.2023.10118032 · Cited by 9

Mixed Criticality Systems : Beyond Transient Faults

Thekkilakattil, A., Burns, A., Dobrin, R., & Punnekkat, S. (2015) · Cited by 7

Enhanced Dispatchability Of Aircrafts Using Multi-Static Configurations

Engel, C., Jenn, É., Schmitt, P. H., Coutinho, R. M. A., & Schoofs, T. (2010) · HAL · doi:10.5281/zenodo.11414 · Cited by 7

Research on an improved practical byzantine fault tolerance algorithm

Sakho, S., Zhang, J., Essaf, F., Badiss, K., Tchewafei, A., & Kiprop, J. K. (2020) · International Conference on Advances in Computer Technology, Information Science and Communications (CTISC) · doi:10.1109/ctisc49998.2020.00035 · Cited by 7

Greft: Arbitrary Fault-Tolerant Distributed Graph Processing

Presser, D., Lung, L. C., & Correia, M. P. (2015) · IEEE International Congress on Big Data (BigData Congress) · doi:10.1109/bigdatacongress.2015.73 · Cited by 7

Byzantine Political EconomyPreprint

Berg, C., Davidson, S., & Potts, J. (2019) · SSRN Electronic Journal · doi:10.2139/ssrn.3344110 · Cited by 7

Resource‐Aware Intrusion Response Based on Deep Reinforcement Learning for Software‐Defined Internet‐of‐Battle‐Things

Yoon, S., Cho, J., Dixit, G., & Chen, I.-R. (2021) · Wiley eBooks · doi:10.1002/9781119723950.ch20 · Cited by 7

Parallel Byzantine Fault Tolerance Consensus for Blockchain Secured Swarm Robots

Wang, R., Ma, F., Tang, S. H., Su, Z., & Xu, C. (2025) · Journal of Field Robotics · doi:10.1002/rob.70010 · Cited by 6

A Diversity-Based Approach for Managing Faults in Web Services

Abdeldjelil, H., Faci, N., Maamar, Z., & Benslimane, D. (2012) · International Conference on Advanced Information Networking and Applications (AINA) · doi:10.1109/aina.2012.85 · Cited by 6

FINGER: A novel erasure coding scheme using fine granularity blocks to improve Hadoop write and update performance

Subedi, P., Huang, P. S., Young, B., & He, X. (2015) · IEEE International Conference on Networking, Architecture and Storage (NAS) · doi:10.1109/nas.2015.7255194 · Cited by 6

Self-Adaptive Resilient Service Composition

Torres, M. H. C., & Holvoet, T. (2014) · International Conference on Cloud and Autonomic Computing (ICCAC) · doi:10.1109/iccac.2014.33 · Cited by 6

Fault Tolerance in Real-Time Systems: A Review

Ertugrul, E., & Şahingöz, Ö. K. (2018) · Advances in intelligent systems and computing · doi:10.1007/978-3-319-76348-4_28 · Cited by 6

Real-Time Replica Consistency over Ethernet with Reliability Bounds

Gujarati, A., Bozhko, S., & Brandenburg, B. B. (2020) · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · doi:10.1109/rtas48715.2020.00012 · Cited by 6

Filtering Inconsistent Failure in Robot Collective Decision with Blockchain

Luo, J., Ding, B., & Xu, J. (2019) · IEEE/ASME International Conference on Advanced Intelligent Mechatronics · doi:10.1109/aim.2019.8868871 · Cited by 6

Model Integrated Decomposition and Assisted Specification (MIDAS)

Hall, B., Fiedor, J., & Jeppu, Y. (2020) · INCOSE International Symposium · doi:10.1002/j.2334-5837.2020.00757.x · Cited by 6

Distributed System Design Checklist

Hall, B., & Driscoll, K. R. (2014) · NASA STI Repository (National Aeronautics and Space Administration) · Cited by 5

Buyers Collusion in Incentivized Forwarding Networks: A Multi-Agent Reinforcement Learning Study

İbrahim, M., Ekin, S., & Imran, A. (2024) · IEEE Transactions on Machine Learning in Communications and Networking · doi:10.1109/tmlcn.2024.3365420 · Cited by 5

Data Network Evaluation Criteria Handbook

Driscoll, K. R., Hall, B., Koopman, P. J., Ray, J., & DeWalt, M. (2018) · KiltHub Repository · doi:10.1184/r1/6621830 · Cited by 5

Safety Annex for the Architecture Analysis and Design Language

Stewart, D., Liu, J., Heimdahl, M. P. E., Cofer, D. D., & Peterson, M. R. (2018) · University of Minnesota Digital Conservancy (University of Minnesota) · Cited by 5

Distributed zero trust architecture based on policy negotiation secured by DPP in blockchain

Stodt, F., Ruf, P., Reich, C., & Théoleyre, F. (2025) · Annals of Telecommunications · doi:10.1007/s12243-025-01124-x · Cited by 4

Abstractions for Maintainable Byzantine Fault Tolerance

(2015)

The real Byzantine Generals

Driscoll, K. R., Hall, B., Paulitsch, M., Zumsteg, P., & Sivencrona, H. (2005) · IEEE/AIAA Digital Avionics Systems Conference (DASC) · doi:10.1109/dasc.2004.1390734 · Cited by 47

Specifying and verifying fault-tolerant systems

Lamport, L., & Merz, S. (1994) · Lecture notes in computer science · doi:10.1007/3-540-58468-4_159 · Cited by 64

Byzantine Failures and Security: Arbitrary is not (always) Random

Gärtner, F. C. (2003) · Cited by 31

Practical Byzantine fault tolerance

de Castro, M. O. T. (2000) · DSpace@MIT (Massachusetts Institute of Technology)