Author:
Bonakdarpour Borzoo,Kulkarni Sandeep S.
Publisher
Springer Berlin Heidelberg
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction;2021 40th International Symposium on Reliable Distributed Systems (SRDS);2021-09
2. Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery;IEEE Transactions on Dependable and Secure Computing;2018-05-01
3. Abstract Model Repair;Logical Methods in Computer Science;2015-09-17
4. On the Hardness of Adding Nonmasking Fault Tolerance;IEEE Transactions on Dependable and Secure Computing;2015-05-01
5. Incremental Realization of Safety Requirements: Non-determinism vs. Modularity;Fundamentals of Software Engineering;2015