CellularLint: A Systematic Approach to Identify Inconsistent Behavior in Cellular Network Specifications

18 July 2024

Papers citing "CellularLint: A Systematic Approach to Identify Inconsistent Behavior in Cellular Network Specifications"

11 / 11 papers shown

Title
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents Maria Leonor Pacheco Max von Hippel Ben Weintraub Dan Goldwasser Cristina Nita-Rotaru 49 30 0 18 Feb 2022
OCNLI: Original Chinese Natural Language Inference Hai Hu Kyle Richardson Liang Xu Lu Li Sandra Kübler L. Moss 74 118 0 12 Oct 2020
Med-BERT: pre-trained contextualized embeddings on large-scale structured electronic health records for disease prediction L. Rasmy Yang Xiang Z. Xie Cui Tao Degui Zhi AI4MH LM&MA 94 687 0 22 May 2020
Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks Nils Reimers Iryna Gurevych 1.3K 12,193 0 27 Aug 2019
RoBERTa: A Robustly Optimized BERT Pretraining Approach Yinhan Liu Myle Ott Naman Goyal Jingfei Du Mandar Joshi Danqi Chen Omer Levy M. Lewis Luke Zettlemoyer Veselin Stoyanov AIMat 612 24,431 0 26 Jul 2019
XLNet: Generalized Autoregressive Pretraining for Language Understanding Zhilin Yang Zihang Dai Yiming Yang J. Carbonell Ruslan Salakhutdinov Quoc V. Le AI4CE 230 8,426 0 19 Jun 2019
EDA: Easy Data Augmentation Techniques for Boosting Performance on Text Classification Tasks Jason W. Wei Kai Zou 107 1,953 0 31 Jan 2019
Distance-based Self-Attention Network for Natural Language Inference Jinbae Im Sungzoon Cho 70 76 0 06 Dec 2017
A large annotated corpus for learning natural language inference Samuel R. Bowman Gabor Angeli Christopher Potts Christopher D. Manning 310 4,284 0 21 Aug 2015
Distributed Representations of Sentences and Documents Quoc V. Le Tomas Mikolov FaML 251 9,242 0 16 May 2014
Efficient Estimation of Word Representations in Vector Space Tomas Mikolov Kai Chen G. Corrado J. Dean 3DV 668 31,489 0 16 Jan 2013