Shengchao C. Qin
AuthID: R-00G-YT2
1
TITLE: Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
AUTHORS: Yamine Aït Ameur; Shengchao Qin;
PUBLISHED: 2019, SOURCE: ICFEM, VOLUME: 11852
AUTHORS: Yamine Aït Ameur; Shengchao Qin;
PUBLISHED: 2019, SOURCE: ICFEM, VOLUME: 11852
INDEXED IN: 
DBLP
DBLP2
TITLE: Towards a Program Logic for C11 Release-Sequences
AUTHORS: Mengda D He; Shengchao C Qin; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: International Symposium on Theoretical Aspects of Software Engineering (TASE) in PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018), VOLUME: 2018-January
AUTHORS: Mengda D He; Shengchao C Qin; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: International Symposium on Theoretical Aspects of Software Engineering (TASE) in PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018), VOLUME: 2018-January
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP3
TITLE: Automated verification of the FreeRTOS scheduler in Hip/Sleek
AUTHORS: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLISHED: 2014, SOURCE: STTT, VOLUME: 16, ISSUE: 4
AUTHORS: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLISHED: 2014, SOURCE: STTT, VOLUME: 16, ISSUE: 4
INDEXED IN: DBLP
DBLP4
TITLE: A Timed CSP Model for the Time-Triggered Language Giotto
AUTHORS: Yanhong H Huang; Yongxin X Zhao; Shengchao C Qin; Guanhua H He; Joao F Ferreira ;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012)
AUTHORS: Yanhong H Huang; Yongxin X Zhao; Shengchao C Qin; Guanhua H He; Joao F Ferreira ;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012)
