Wireless protocol validation under uncertainty-Reference-Cited by-同舟云学术

Wireless protocol validation under uncertainty

Published:2017-11-27 Issue:1 Volume:53 Page:33-53
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

Shi Jinghao^ORCID,Lahiri Shuvendu K.,Chandra Ranveer,Challen Geoffrey

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/article/10.1007/s10703-017-0309-4/fulltext.html

Reference36 articles.

1. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235

2. Arnold M, Vechev M, Yahav E (2008) QVM: an efficient runtime for detecting defects in deployed systems. In: ACM SIGPLAN notices, vol 43. ACM, New York, pp 143–162

3. Bahl P, Chandra R, Padhye J, Ravindranath L, Singh M, Wolman A, Zill B (2006) Enhancing the security of corporate Wi-Fi networks using DAIR. In: Proceedings of the 4th international conference on mobile systems, applications and services. ACM, New York, pp 1–14

4. Bartocci E, Grosu R, Karmarkar A, Smolka SA, Stoller SD, Zadok E, Seyster J (2012) Adaptive runtime verification. In: International conference on runtime verification. Springer, Berlin, pp 168–182

5. Basin D, Klaedtke F, Marinovic S, Zălinescu E (2012) Monitoring compliance policies over incomplete and disagreeing logs. In: International conference on runtime verification. Springer, Berlin, pp 151–167

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

1. BTFuzz: Accurately Fuzzing Bluetooth Host with a Simulated Non-compliant Controller;2022 IEEE 4th International Conference on Civil Aviation Safety and Information Technology (ICCASIT);2022-10-12

2. Meissa;Proceedings of the ACM SIGCOMM 2022 Conference;2022-08-22

3. Introduction to the special issue on runtime verification;Formal Methods in System Design;2018-06-21