Cited By
View all- Johansson BPourvatan BMoezkarimi ZPapadopoulos ASirjani M(2024)Formal Verification of Consistency for Systems with Redundant ControllersElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.399.8399(169-191)Online publication date: 27-Mar-2024
- Saadoon MHamid SSofian HAltarturi HNasuha NAzizul ZKhalid H(2023)Preliminary Exploration on Node-To-Node Fault Tolerance Coordination in Distributed System2023 IEEE International Conference on Computing (ICOCO)10.1109/ICOCO59262.2023.10397752(219-224)Online publication date: 9-Oct-2023
- Johansson BRågberger MPapadopoulos ANolte T(2023)Consistency Before Availability: Network Reference Point based Failure Detection for Controller Redundancy2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA54631.2023.10275664(1-8)Online publication date: 12-Sep-2023
- Show More Cited By