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

Fingerprint Dive into the research topics where Mengda He is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 5 Similar Profiles
Data storage equipment Engineering & Materials Science
Global positioning system Engineering & Materials Science
Fences Engineering & Materials Science
Requirements engineering Engineering & Materials Science
Access control Engineering & Materials Science
Memory Model Mathematics
Data structures Engineering & Materials Science
Reasoning Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2016 2019

  • 5 Paper
  • 4 Article
  • 2 Conference contribution

ABAC Requirements Engineering for Database Applications

Longstaff, J. & He, M., 29 Jul 2019.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Requirements engineering
Access control
Glass
Processing

A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints

Le, Q. L. & He, M., 13 Aug 2018, (Accepted/In press).

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Formal languages

Towards a program logic for C11 release-sequences

He, M., Qin, S. & Ferreira, J., 4 Dec 2018, Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018. Institute of Electrical and Electronics Engineers Inc., 8560730. (Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Data storage equipment
Global positioning system
Computer hardware
Synchronization
Network protocols
33 Downloads (Pure)

Automated Specification Inference in a Combined Domain via User-Defined Predicates

Qin, S., He, G., Chin, W-N., Craciun, F., He, M. & Ming, Z., 19 Jun 2017, In : Science of Computer Programming. p. -

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Data structures
Specifications
Data storage equipment
Experiments

Facial Expression Recognition using a Firefly-based Feature Optimization

Mistry, K., Zhang, L., Sexton, G., Zeng, Y. & He, M., 5 Jun 2017.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Thesis

Reasoning About C11 Programs with Fences and Relaxed Atomics

Author: He, M., 16 Feb 2018

Supervisor: Qin, S. (Supervisor) & Ferreira, J. (Supervisor)

Student thesis: Doctoral Thesis