CellScope: Automatically Specifying and Verifying Cellular Network Protocols

Yinbo Yu; You Li; Kaiyu Hou; Yan Chen; Hai Zhou; Jianfeng Yang

doi:10.1145/3342280.3342294

CellScope: Automatically Specifying and Verifying Cellular Network Protocols

Yinbo Yu, You Li, Kaiyu Hou, Yan Chen, Hai Zhou, Jianfeng Yang

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019
Publisher	Association for Computing Machinery, Inc
Pages	21-23
Number of pages	3
ISBN (Electronic)	9781450368865
DOIs	https://doi.org/10.1145/3342280.3342294
State	Published - Aug 19 2019
Event	2019 ACM SIGCOMM Conference Posters and Demos, SIGCOMM 2019 - Beijing, China Duration: Aug 19 2019 → Aug 23 2019

Publication series

Name	SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019

Conference

Conference	2019 ACM SIGCOMM Conference Posters and Demos, SIGCOMM 2019
Country	China
City	Beijing
Period	8/19/19 → 8/23/19

Keywords

Cellular network
Model checking
Protocol specification and verification

ASJC Scopus subject areas

Software
Hardware and Architecture

Access to Document

10.1145/3342280.3342294

Cite this

Yu, Y., Li, Y., Hou, K., Chen, Y., Zhou, H., & Yang, J. (2019). CellScope: Automatically Specifying and Verifying Cellular Network Protocols. In SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019 (pp. 21-23). (SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019). Association for Computing Machinery, Inc. https://doi.org/10.1145/3342280.3342294

Yu, Yinbo ; Li, You ; Hou, Kaiyu ; Chen, Yan ; Zhou, Hai ; Yang, Jianfeng. / CellScope : Automatically Specifying and Verifying Cellular Network Protocols. SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, 2019. pp. 21-23 (SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019).

@inproceedings{936d6c74f26a4175a5a07425510472c7,

title = "CellScope: Automatically Specifying and Verifying Cellular Network Protocols",

keywords = "Cellular network, Model checking, Protocol specification and verification",

author = "Yinbo Yu and You Li and Kaiyu Hou and Yan Chen and Hai Zhou and Jianfeng Yang",

year = "2019",

month = aug,

day = "19",

doi = "10.1145/3342280.3342294",

language = "English (US)",

series = "SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019",

publisher = "Association for Computing Machinery, Inc",

pages = "21--23",

booktitle = "SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019",

note = "2019 ACM SIGCOMM Conference Posters and Demos, SIGCOMM 2019 ; Conference date: 19-08-2019 Through 23-08-2019",

}

Yu, Y, Li, Y, Hou, K, Chen, Y , Zhou, H & Yang, J 2019, CellScope: Automatically Specifying and Verifying Cellular Network Protocols. in SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019. SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019, Association for Computing Machinery, Inc, pp. 21-23, 2019 ACM SIGCOMM Conference Posters and Demos, SIGCOMM 2019, Beijing, China, 8/19/19. https://doi.org/10.1145/3342280.3342294

CellScope : Automatically Specifying and Verifying Cellular Network Protocols. / Yu, Yinbo; Li, You; Hou, Kaiyu; Chen, Yan ; Zhou, Hai; Yang, Jianfeng.

SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, 2019. p. 21-23 (SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - CellScope

T2 - 2019 ACM SIGCOMM Conference Posters and Demos, SIGCOMM 2019

AU - Yu, Yinbo

AU - Li, You

AU - Hou, Kaiyu

AU - Chen, Yan

AU - Zhou, Hai

AU - Yang, Jianfeng

PY - 2019/8/19

Y1 - 2019/8/19

KW - Cellular network

KW - Model checking

KW - Protocol specification and verification

UR - http://www.scopus.com/inward/record.url?scp=85071931620&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85071931620&partnerID=8YFLogxK

U2 - 10.1145/3342280.3342294

DO - 10.1145/3342280.3342294

M3 - Conference contribution

AN - SCOPUS:85071931620

T3 - SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019

SP - 21

EP - 23

BT - SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019

PB - Association for Computing Machinery, Inc

Y2 - 19 August 2019 through 23 August 2019

ER -

Yu Y, Li Y, Hou K, Chen Y , Zhou H, Yang J. CellScope: Automatically Specifying and Verifying Cellular Network Protocols. In SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019. Association for Computing Machinery, Inc. 2019. p. 21-23. (SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019). https://doi.org/10.1145/3342280.3342294