ACM Computing Surveys (CSUR)
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Synthesis of concurrent programs for an atomic read/write model of computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Computers
Theoretical Computer Science - Dependable computing
Formal design of self-stabilizing programs
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance
Electronic Notes in Theoretical Computer Science (ENTCS)
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
A self-stabilising algorithm for 3-edge-connectivity
International Journal of High Performance Computing and Networking
Encapsulating deontic and branching time specifications
Theoretical Computer Science
Hi-index | 0.01 |