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 proceedingConference contribution

Original languageEnglish (US)
Title of host publicationSIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019
PublisherAssociation for Computing Machinery, Inc
Pages21-23
Number of pages3
ISBN (Electronic)9781450368865
DOIs
StatePublished - Aug 19 2019
Event2019 ACM SIGCOMM Conference Posters and Demos, SIGCOMM 2019 - Beijing, China
Duration: Aug 19 2019Aug 23 2019

Publication series

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

Conference

Conference2019 ACM SIGCOMM Conference Posters and Demos, SIGCOMM 2019
CountryChina
CityBeijing
Period8/19/198/23/19

Fingerprint

Model checking
Network protocols

Keywords

  • Cellular network
  • Model checking
  • Protocol specification and verification

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture

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 = "8",
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",

}

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 proceedingConference contribution

TY - GEN

T1 - CellScope

T2 - Automatically Specifying and Verifying Cellular Network Protocols

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

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