Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification.

Y. Yuan, S. Moon, S. Uppal, L. Jia, and V. Sekar. NSDI, page 181-200. USENIX Association, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yifei Wang

Yifei Chen

Yifei Feng

Yifei Zhang

Yifei Liu

Other publications of authors with the same name

Hybrid Indoor Positioning Method of BLE and PDR Based on Adaptive Feedback EKF With Low BLE Deployment Density.X. Kong, C. Wu, Y. You, and Y. Yuan. IEEE Trans. Instrum. Meas., (2023)Reconfigurable Intelligent Surface Relay: Lessons of the Past and Strategies for Its Success.Y. Yuan, D. Wu, Y. Huang, and C. I. IEEE Commun. Mag., 60 (12): 117-123 (2022)Layer Selection, Power Allocation and Modulation Analysis of LACO-OFDM.X. Wang, L. Xia, Y. Yuan, G. Liu, Q. Wang, and J. Wang. PIMRC, page 872-877. IEEE, (2022)Point-of-Interest Oriented Question Answering with Joint Inference of Semantic Matching and Distance Correlation.Y. Yuan, J. Zhou, and W. Lam. AACL/IJCNLP, page 542-550. Association for Computational Linguistics, (2020)SCaTNet: A Novel Self-supervised Contrastive Framework with Spatial-Channel Attention and Temporal Transformer for Few-Shot Action Recognition.Z. Ruan, Y. Wei, Y. Guo, Y. Xie, and Y. Yuan. ACAI, page 135-140. ACM, (2023)An Enhanced Multi-Carrier Waveform for Downlink Short-Packet Communication.S. Lv, S. Wang, J. Jin, Q. Wang, Y. Yuan, and G. Liu. VTC Fall, page 1-6. IEEE, (2021)Multi-User Shared Access for Internet of Things.Z. Yuan, G. Yu, W. Li, Y. Yuan, X. Wang, and J. Xu. VTC Spring, page 1-5. IEEE, (2016)System-level Simulation of RIS assisted Wireless Communications System.Q. Gu, D. Wu, X. Su, H. Wang, J. Cui, and Y. Yuan. GLOBECOM, page 1540-1545. IEEE, (2022)Alembic: Automated Model Inference for Stateful Network Functions.S. Moon, J. Helt, Y. Yuan, Y. Bieri, S. Banerjee, V. Sekar, W. Wu, M. Yannakakis, and Y. Zhang. NSDI, page 699-718. USENIX Association, (2019)NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification.Y. Yuan, S. Moon, S. Uppal, L. Jia, and V. Sekar. NSDI, page 181-200. USENIX Association, (2020)

BibSonomy

Disambiguation of "Yuan, Yifei"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification.

Please choose a person to relate this publication to

Yifei Wang

Yifei Chen

Yifei Feng

Yifei Zhang

Yifei Liu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Yuan, Yifei"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification.

Please choose a person to relate this publication to

Yifei Wang

Yifei Chen

Yifei Feng

Yifei Zhang

Yifei Liu

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification.