Articles with public access mandates - Shengchao Qin - Danish National Research FoundationLearn more
NoteFor this mandate, articles should be available from specific locations.
Not available based on mandate: 1
Linking the Semantics of BPEL using Maude
P Liu, H Zhu, S Qin, PJ Brooke, X Wu
2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 422-431, 2013
Available based on mandate: 3
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
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
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
Publication and funding information is determined automatically by a computer program