Beihang University Beijing China

  1. Home
  2. search page
  3. affiliation

Beihang University Beijing China

국가: China
주요 연구 분야: Analysis
주요 키워드: #algorithms #apps #app
주요 저자:
#Qing Cai #Beibei Yin #Jing-Ao Shi #Jingzhi Li #Lutong Han

📄 기관 상세정보

출판수14
총 인용수189
평균 인용수13.50
저자 수79
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (14건)

BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis
저자: Jiaju Bai
키워드: #bugs #problematic #sqlite #aliased #dereferences
파트: Verification | 연도: 2025
HapTest: The Dynamic Analysis Framework for OpenHarmony
저자: Li Li , Farong Liu , Mingyi Zhou , Yakun Zhang , Ting Su , Bo Sun , Jacques Klein , Xiang Gao
키워드: #developers #apps #malware #app #developer
파트: Analysis | 연도: 2025
Demystifying React Native Android Apps for Static Analysis
저자: Yonghui Liu , Xiao Chen , Pei Liu , Jordan Samhi , John C. Grundy , Chunyang Chen , Li Li
키워드: #apps #android #javascript #app #reunify
파트: Strategies | 연도: 2025
OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
저자: Yinliang Yue , Haoyu Wang , Jie Ma , Ningyu He , Jinwen Xi , Mingzhe Xing , Ying Gao
키워드: #severe #bugs #largest #ethereum #millions
파트: Analysis | 연도: 2025
CGFuzz: A Dynamic Test Case Generation Method for DL Framework Based on Function Coverage
저자: Qing Cai , Beibei Yin , Jing-Ao Shi
키워드: #learning #neural #security #software #deep
파트: Analysis | 연도: 2024
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
저자: Masaki Waga , Kotaro Matsuoka , Takashi Suwa , Naoki Matsumoto , Ryotaro Banno , Song Bian , Kohei Suenaga
키워드: #cyber #encryption #server #online #encrypted
파트: Cryptography | 연도: 2024
Enhancing Daily Life Through an Interactive Desktop Robotics System
저자: Yuhang Zheng , Qiyao Wang , Chengliang Zhong , He Liang , Zhengxiao Han , Yupeng Zheng
키워드: #robotics #robot #robotic #algorithms #desktop
파트: Artificial Intelligence | 연도: 2024
Discovering Top-k Rules using Subjective and Objective Criteria
저자: Wenfei Fan , Ziyan Han , Yaoshu Wang , Min Xie
키워드: #learning #algorithm #algorithms #discovery #testbed
파트: Verification | 연도: 2023
HE3DB: An Efficient and Elastic Encrypted Database Via Arithmetic-And-Logic Fully Homomorphic Encryption
저자: Song Bian , Zhou Zhang , Haowen Pan , Ran Mao , Zian Zhao , Yier Jin , Zhenyu Guan
키워드: #algorithms #encryption #sql #encrypted #ciphertexts
파트: Cryptography | 연도: 2023
A Microservice Framework for Efficient Navigation Service
저자: Sheng Wang , Chaoyang Li , Dihao Fan , Yu Tang , Xu Wang
키워드: #internet #mobile #navigation #microservices #microservice
파트: Software Development | 연도: 2022