Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems-Reference-Cited by-同舟云学术

Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems

Published:2016 Issue: Volume: Page:157-176
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Bloem Roderick,Braud-Santoni Nicolas,Jacobs Swen

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-41528-4_9

Reference54 articles.

1. Alur, R., Bodik, R., Juniwal, G., Martin, M.M., Raghothaman, M., Seshia, S., Singh, R., Solar-Lezama, A., Torlak, E., Udupa, A., et al.: Syntax-guided synthesis. In: Formal Methods in Computer-Aided Design (FMCAD), 2013, pp. 1–8. IEEE (2013)

2. Lecture Notes in Computer Science;B Aminof,2014

3. Lecture Notes in Computer Science;S Außerlechner,2016

4. Lecture Notes in Computer Science;T Babiak,2012

5. Lecture Notes in Computer Science;CW Barrett,2007

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response;Scientific Reports;2022-09-14

2. Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables;Form Comp Aid Design;2022

3. QuickSilver: modeling and parameterized verification for distributed agreement-based systems;Proceedings of the ACM on Programming Languages;2021-10-20

4. Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes;IEEE Transactions on Software Engineering;2021-03-01

5. Parameterized Verification of Systems with Global Synchronization and Guards;Computer Aided Verification;2020