Research Output

Filter
Conference article
2019

Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning

Pham, L. H., Sun, J. & Le, Q. L., 18 Nov 2019, In : Lecture Notes in Computer Science. 11893, p. 405-424 20 p.

Research output: Contribution to journalConference article

13 Downloads (Pure)

Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

Pham, L. H., Le, Q. L., Phan, Q-S., Sun, J. & Qin, S., 28 Oct 2019, In : Lecture Notes in Computer Science. 17 p.

Research output: Contribution to journalConference article

Open Access
File
53 Downloads (Pure)

Towards Sound Forensic Arguments: Structured Argumentation Applied to Digital Forensics Practice

Franqueira, V. & Horsman, G., 16 Dec 2019, (Accepted/In press) In : Digital Investigation.

Research output: Contribution to journalConference article

2015

Backpressure meets taxes: Faithful data collection in stochastic mobile phone sensing systems

Yang, S. S., Adeel, U. U. & McCann, J. J., 24 Aug 2015, In : Proceedings - IEEE INFOCOM.

Research output: Contribution to journalConference article

Open Access
File
127 Downloads (Pure)
2012

MDM: A Mode Diagram Modeling Framework

Wang, Z., Pu, G., Li, J., He, J., Qin, S., Larsen, K. G., Madsen, J. & Gu, B., 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 105, p. 135-149

Research output: Contribution to journalConference article