Articles with public access mandates - Shengchao QinLearn more
Available somewhere: 51
Core hybrid Event-B II: multiple cooperating hybrid Event-B machines
R Banach, M Butler, S Qin, H Zhu
Science of Computer Programming 139, 1-35, 2017
Mandates: National Natural Science Foundation of China
Enhancing symbolic execution of heap-based programs with separation logic for test input generation
LH Pham, QL Le, QS Phan, J Sun, S Qin
Automated Technology for Verification and Analysis: 17th International …, 2019
Mandates: US National Aeronautics and Space Administration
GPU accelerated on-the-fly reachability checking
Z Wu, Y Liu, J Sun, J Shi, S Qin
2015 20th International Conference on Engineering of Complex Computer …, 2015
Mandates: National Natural Science Foundation of China
Locating vulnerabilities in binaries via memory layout recovering
H Wang, X Xie, SW Lin, Y Lin, Y Li, S Qin, Y Liu, T Liu
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
Mandates: National Natural Science Foundation of China, National Research Foundation …
State-taint analysis for detecting resource bugs
Z Xu, C Wen, S Qin
Science of Computer Programming 162, 93-109, 2018
Mandates: National Natural Science Foundation of China
Comparative modelling and verification of Pthreads and Dthreads
Y Fei, H Zhu, X Wu, H Fang, S Qin
Journal of Software: Evolution and Process 30 (3), e1919, 2018
Mandates: National Natural Science Foundation of China, Danish National Research …
Controlled concurrency testing via periodical scheduling
C Wen, M He, B Wu, Z Xu, S Qin
Proceedings of the 44th International Conference on Software Engineering …, 2022
Mandates: National Natural Science Foundation of China
TLV: abstraction through testing, learning, and validation
J Sun, H Xiao, Y Liu, SW Lin, S Qin
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
Mandates: National Natural Science Foundation of China
Denotational semantics and its algebraic derivation for an event-driven system-level language
H Zhu, J He, S Qin, PJ Brooke
Formal Aspects of Computing 27, 133-166, 2015
Mandates: National Natural Science Foundation of China, Danish National Research …
Hierarchical model predictive control for multi-robot navigation
C Huang, X Chen, Y Zhang, S Qin, Y Zeng, X Li
Mandates: National Natural Science Foundation of China
Reasoning about fences and relaxed atomics
M He, V Vafeiadis, S Qin, JF Ferreira
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
Mandates: National Natural Science Foundation of China
Learning types for binaries
Z Xu, C Wen, S Qin
Formal Methods and Software Engineering: 19th International Conference on …, 2017
Mandates: National Natural Science Foundation of China
Towards ‘verifying’a water treatment system
J Wang, J Sun, Y Jia, S Qin, Z Xu
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
Mandates: National Natural Science Foundation of China, National Research Foundation …
Type learning for binaries and its applications
Z Xu, C Wen, S Qin
IEEE Transactions on Reliability 68 (3), 893-912, 2018
Mandates: National Natural Science Foundation of China
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
L Shi, Y Zhao, Y Liu, J Sun, JS Dong, S Qin
Formal Aspects of Computing 30, 351-380, 2018
Mandates: National Natural Science Foundation of China
Effective malware detection based on behaviour and data features
Z Xu, C Wen, S Qin, Z Ming
Smart Computing and Communication: Second International Conference, SmartCom …, 2018
Mandates: National Natural Science Foundation of China
Automatically refining partial specifications for heap-manipulating programs
S Qin, G He, C Luo, WN Chin, H Yang
Science of Computer Programming 82, 56-76, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Understanding performance concerns in the api documentation of data science libraries
Y Tao, J Jiang, Y Liu, Z Xu, S Qin
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
Mandates: National Natural Science Foundation of China
How do api selections affect the runtime performance of data analytics tasks?
Y Tao, S Tang, Y Liu, Z Xu, S Qin
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
Mandates: National Natural Science Foundation of China
Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
Y Huang, JF Ferreira, G He, S Qin, J He
Formal Methods and Software Engineering: 15th International Conference on …, 2013
Mandates: Danish National Research Foundation
Publication and funding information is determined automatically by a computer program