If you made any changes in Pure these will be visible here soon.

Research Output 2000 2018

Filter
Conference article
2018

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG

Xu, Z., Ren, K., Qin, S. & Craciun, F., 11 Oct 2018, In : Formal Methods and Software Engineering. 11232 , p. 177-193

Research output: Contribution to journalConference articleResearchpeer-review

Data flow graphs
Flow graphs
Syntactics
Viruses
Learning systems

UTP Semantics for BigrTiMo

Xie, W., Zhu, H. & Qin, S., 11 Oct 2018, In : Formal Methods and Software Engineering. 11232 , p. 337-353

Research output: Contribution to journalConference articleResearchpeer-review

Semantics
Communication
Merging
Algebra
2014

Shape Analysis via Second-Order Bi-Abduction

Le, Q. L., Gherghina, C., Qin, S. & Chin, W-N., 2014, In : Lecture Notes in Computer Science. 8559, p. 52 68 p.

Research output: Contribution to journalConference articleResearchpeer-review

File