Articles with public access mandates - Shengchao QinLearn more
Available somewhere: 51
Extracting automata from neural networks using active learning
Z Xu, C Wen, S Qin, M He
PeerJ Computer Science 7, e436, 2021
Mandates: National Natural Science Foundation of China
Automated specification inference in a combined domain via user-defined predicates
S Qin, G He, WN Chin, F Craciun, M He, Z Ming
Science of Computer Programming 148, 189-212, 2017
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
Language inclusion checking of timed automata with non-zenoness
X Wang, J Sun, T Wang, S Qin
IEEE Transactions on Software Engineering 43 (11), 995-1008, 2017
Mandates: National Natural Science Foundation of China
Semantic theories of programs with nested interrupts
Y Huang, J He, H Zhu, Y Zhao, J Shi, S Qin
Frontiers of Computer Science 9, 331-345, 2015
Mandates: National Natural Science Foundation of China
Analyzing cryptographic api usages for android applications using hmm and n-gram
Z Xu, X Hu, Y Tao, S Qin
2020 International Symposium on Theoretical Aspects of Software Engineering …, 2020
Mandates: National Natural Science Foundation of China
Automatically ‘verifying’discrete-time complex systems through learning, abstraction and refinement
J Wang, J Sun, S Qin, C Jegourel
IEEE Transactions on Software Engineering 47 (1), 189-203, 2018
Mandates: National Natural Science Foundation of China
Speeding up data manipulation tasks with alternative implementations: an exploratory study
Y Tao, S Tang, Y Liu, Z Xu, S Qin
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (4), 1-28, 2021
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
34th IEEE/ACM International Conference on Automated Software Engineering …, 2020
Mandates: National Natural Science Foundation of China
Demystifying “bad” error messages in data science libraries
Y Tao, Z Chen, Y Liu, J Xuan, Z Xu, S Qin
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
Mandates: National Natural Science Foundation of China
Concurrent On-the-fly SCC Detection for Automata-based Model Checking with Fairness Assumption
Z Wu, Y Xu, A Gunay, Y Liu, S Qin
2016 21st International Conference on Engineering of Complex Computer …, 2016
Mandates: National Natural Science Foundation of China
Automated Specification Discovery in a Combined Abstract Domain
G He, Q Sh, WN Chin, L Ch
URL: http://www. comp. nus. edu. sg/~ chinwn/papers/icfem13-cdomain. pdf …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Algebraic semantics for C++ 11 memory model
L Xiao, H Zhu, M He, S Qin
2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022
Mandates: National Natural Science Foundation of China
Trace Semantics for C++ 11 Memory Model
L Xiao, H Zhu, S Chen, M He, S Qin
Formal Aspects of Computing, 2022
Mandates: National Natural Science Foundation of China
A multi-agent spatial logic for scenario-based decision modeling and verification in platoon systems
J Xu, Y Huang, J Shi, S Qin
Journal of Computer Science and Technology 36, 1231-1247, 2021
Mandates: National Natural Science Foundation of China
Navigating discrete difference equation governed wmr by virtual linear leader guided hmpc
C Huang, X Chen, E Tang, M He, L Bu, S Qin, Y Zeng
2020 IEEE International Conference on Robotics and Automation (ICRA), 151-157, 2020
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models
M Tian, J Shi, Z Hou, Y Huang, S Qin
2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021
Mandates: National Natural Science Foundation of China
A Program Logic for Reasoning About C11 Programs With Release-Sequences
M He, S Qin, Z Xu
IEEE Access 8, 173874-173903, 2020
Mandates: National Natural Science Foundation of China
Enhancing symbolic execution of heap-based programs with separation logic for test input generation.(2019)
LH PHAM, Q LOC LE, QS PHAN, J SUN, S QIN
International Symposium on Automated Technology for Verification and …, 2019
Mandates: US National Aeronautics and Space Administration
Towards' verifying'a water treatment system.(2018)
J WANG, J SUN, Y JIA, S QIN, Z XU
International Symposium on Formal Methods: 22nd FM, 15-17, 2018
Mandates: National Natural Science Foundation of China, National Research Foundation …
GPU accelerated on-the-fly reachability checking.(2015)
Z WU, Y LIU, J SUN, J SHI, S QIN
20th International Conference on Engineering of Complex Computer Systems …, 2015
Mandates: National Natural Science Foundation of China
Publication and funding information is determined automatically by a computer program