Linglong Meng

11 papers Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust.
CoRR
Jinhua Wu, Yuting Wang, Liukun Yu, Linglong Meng
2025 J jnl
End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation.
CoRR
Jinhua Wu, Yuting Wang, Liukun Yu, Linglong Meng
2023 — conf
An analysis of the effects of swarm cycling on cyclists' stress levels.
MuC (Workshopband)
Stefan Schaffer, Linglong Meng, Alaaeddine Hemdane, Katrin Wolf, Dimitra Tsovaltzi, Lara Chehayeb, Patrick Gebhard
2023 J jnl
Generation method of power supplier portrait based on deep learning BCCM and Multi-Aspect.
J. Intell. Fuzzy Syst.
Jian Xiao, Linglong Meng, Kaiyin Wu
2023 — conf
Optimization of Swarm Formation in Swarm Cycling.
MuC (Workshopband)
Linglong Meng, Krutarth Parwal, Stefan Schaffer
2022 — conf
A Connected Swarm Cycling System.
ISC2
Linglong Meng, Stefan Schaffer, Vincent Wappenschmitt
2020 — conf
A Reporting Assistant for Railway Security Staff.
CIU
Linglong Meng, Stefan Schaffer
2018 J jnl
A cpw-fed dual-beam shorted-patch antenna.
IEICE Electron. Express
Weimin Wang, Linglong Meng, Rui Ji, Zhongbao Wang, Jinchun Gao, Yuanan Liu
2018 J jnl
Concurrent Dual-Band Receiver Based on the Multi-Port Correlator for Wireless Applications.
IEEE Trans. Circuits Syst. II Express Briefs
Weiwei Zhang, Abul Hasan, Fadhel M. Ghannouchi, Mohamed Helaoui, Xiang Li, Yongle Wu, Linglong Meng, Yuanan Liu
2017 J jnl
A novel wideband planar quasi-yagi antenna loading with parasitical patches and multiple reflectors.
IEICE Electron. Express
Linglong Meng, Weimin Wang, Rui Ji, Jinchun Gao, Yuanan Liu
2015 — conf
Unsupervised Indoor Localization with Motion Detection.
CONTEXT
Yaqian Xu, Linglong Meng, Klaus David