Synchronization Synthesis for Network Programs-Reference-Cited by-同舟云学术

Synchronization Synthesis for Network Programs

Published:2017 Issue: Volume: Page:301-321
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

McClurg Jedidiah,Hojjat Hossein,Černý Pavol

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-319-63390-9_16

Reference37 articles.

1. Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: semantic foundations for networks. In: POPL (2014)

2. Arashloo, M.T., Koral, Y., Greenberg, M., Rexford, J., Walker, D.: SNAP: stateful network-wide abstractions for packet processing. In: SIGCOMM (2016)

3. Badouel, E., Bernardinello, L., Darondeau, P.: The synthesis problem for elementary net systems is NP-complete. Theor. Comput. Sci. 186(1–2), 107–134 (1997)

4. Basile, F., Chiacchio, P., Coppola, J.: Model repair of time petri nets with temporal anomalies. In: IFAC (2015)

5. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of petri nets from finite partial languages. Fundam. Inform. 88(4), 437–468 (2008)

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

1. Timed Transition Tour for Race Detection in Distributed Systems;Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering;2023

2. Optimizing Regular Expressions via Rewrite-Guided Synthesis;Proceedings of the International Conference on Parallel Architectures and Compilation Techniques;2022-10-08

3. Automatic Repair and Deadlock Detection for Parameterized Systems;Form Comp Aid Design;2022

4. Automatic Repair for Network Programs;Tools and Algorithms for the Construction and Analysis of Systems;2022

5. Correct-by-Construction Network Programming for Stateful Data-Planes;Proceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR);2021-10-11