Ziqing Luo

17 papers A* 1A 2B 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Pavement crack segmentation with deep orthogonal-enhanced generative model.
Int. J. Appl. Earth Obs. Geoinformation
Lingfeng He, Shengtao Shen, Jiahao Hu, Xulun Ye, Han Zhang, Ziqing Luo, Yang Li
2024 J jnl
Automatic Generation of Critical Audit Matters (CAMs) Using LSTM-MacBert-Based Dual-Stream Transfer Learning.
IEEE Trans. Comput. Soc. Syst.
Xiaojia Wang, Ziqing Luo, Ying Chen
2024 — conf
Collective Contracts for Message-Passing Parallel Programs.
CAV (2)
Ziqing Luo, Stephen F. Siegel
2024 J jnl
Using Large Language Models for Humanitarian Frontline Negotiation: Opportunities and Considerations.
CoRR
Zilin Ma, Susannah Su, Nathan Zhao, Linn Bieske, Blake Bullwinkel, Yanyi Zhang, Sophia Yang, Ziqing Luo, Siyao Li, Gekai Liao, Boxiang Wang, Jinglun Gao, Zihan Wen, Claude Bruderlein, Weiwei Pan
2024 J jnl
WenSiM: A Relative Accuracy Assessment Method for Land Cover Products Based on Optimal Transportation Theory.
Remote. Sens.
Rui Zhu, Yumin Tan, Ziqing Luo, Yanzhe Shi, Jiale Wang, Guifei Jing, Xiaolu Wang
2023 J jnl
AD-RoadNet: An Auxiliary-Decoding Road Extraction Network Improving Connectivity While Preserving Multiscale Road Details.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Ziqing Luo, Kailei Zhou, Yumin Tan, Xiaolu Wang, Rui Zhu, Liqiang Zhang
2023 — conf
Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed.
CAV (2)
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel
2023 J jnl
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed.
CoRR
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel
2020 J jnl
NbO 2 Memristive Neurons for Burst-Based Perceptron.
Adv. Intell. Syst.
Yeheng Bo, Peng Zhang, Ziqing Luo, Shuai Li, Juan Song, Xinjun Liu
2018 — conf
Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges.
ISoLA (2)
Ziqing Luo, Stephen F. Siegel
2018 — conf
Towards Deductive Verification of Message-Passing Parallel Programs.
CORRECTNESS@SC
Ziqing Luo, Stephen F. Siegel
2018 B conf
Verifying Properties of Differentiable Programs.
SAS
Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland
2017 — conf
Towards Self-Verification in Finite Difference Code Generation.
CORRECTNESS@SC
Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland
2017 — conf
Verification of MPI programs using CIVL.
EuroMPI/USA
Ziqing Luo, Manchun Zheng, Stephen F. Siegel
2016 A conf
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).
TACAS
Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel
2015 A* conf
CIVL: Formal Verification of Parallel Programs.
ASE
Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel
2015 A conf
CIVL: the concurrency intermediate verification language.
SC
Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers