Shengchao C. Qin
AuthID: R-00G-YT2
1
TÃTULO: Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
AUTORES: Yamine Aït Ameur; Shengchao Qin;
PUBLICAÇÃO: 2019, FONTE: ICFEM, VOLUME: 11852
AUTORES: Yamine Aït Ameur; Shengchao Qin;
PUBLICAÇÃO: 2019, FONTE: ICFEM, VOLUME: 11852
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Towards a Program Logic for C11 Release-Sequences
AUTORES: Mengda D He; Shengchao C Qin; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Mengda D He; Shengchao C Qin; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: 
Scopus 
WOS DBLP
Scopus WOS DBLP3
TÃTULO: Automated verification of the FreeRTOS scheduler in Hip/Sleek
AUTORES: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLICAÇÃO: 2014, FONTE: STTT, VOLUME: 16, NÚMERO: 4
AUTORES: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLICAÇÃO: 2014, FONTE: STTT, VOLUME: 16, NÚMERO: 4
INDEXADO EM: DBLP
DBLP4
TÃTULO: A Timed CSP Model for the Time-Triggered Language Giotto
AUTORES: Yanhong H Huang; Yongxin X Zhao; Shengchao C Qin; Guanhua H He; Joao F Ferreira ;
PUBLICAÇÃO: 2012, FONTE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012)
AUTORES: Yanhong H Huang; Yongxin X Zhao; Shengchao C Qin; Guanhua H He; Joao F Ferreira ;
PUBLICAÇÃO: 2012, FONTE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012)
