20162020

Research output per year

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.

  • 1 Similar Profiles

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

Research Output

  • 5 Paper
  • 5 Article
  • 3 Conference contribution

A Program Logic for Reasoning About C11 Programs With Release-Sequences

He, M., Qin, S. & Xu, Z., 18 Sep 2020, In : IEEE Access.

Research output: Contribution to journalArticle

Open Access
File
  • 17 Downloads (Pure)

    Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC

    Huang, C., Chen, X., Tang, E., He, M., Bu, L., Qin, S. & Zeng, Y., 2020, (Accepted/In press).

    Research output: Contribution to conferencePaper

    Open Access
    File
  • 33 Downloads (Pure)

    ABAC Requirements Engineering for Database Applications

    Longstaff, J. & He, M., 29 Jul 2019, Proceedings: 2019 13th International Symposium on Theoretical Aspects of Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 33 - 40 8 p.

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

    Open Access
    File
  • 99 Downloads (Pure)

    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 conferencePaper

    Open Access
    File
  • 199 Downloads (Pure)

    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 contribution

  • 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