Articles with public access mandates - Shengchao Qin - UK Engineering and Physical Sciences Research CouncilLearn more
Not available based on mandate: 2
Expressive program verification via structured specifications
C Gherghina, C David, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16, 363-380, 2014
Data-Race-Freedom of Concurrent Programs
G Barnett, S Qin
2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 272-279, 2013
Available based on mandate: 6
Verifying simulink diagrams via a hybrid hoare logic prover
L Zou, N Zhany, S Wang, M Fränzle, S Qin
2013 Proceedings of the International Conference on Embedded Software …, 2013
Automated verification of the FreeRTOS scheduler in Hip/Sleek
JF Ferreira, C Gherghina, G He, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16, 381-397, 2014
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
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
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
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
Publication and funding information is determined automatically by a computer program