Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 9 Industry, Innovation, and Infrastructure -
SDG 11 Sustainable Cities and Communities
Fingerprint
Dive into the research topics where Dianfu Ma is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Comprehensive Formalization of AADL with Behavior Annex
Tan, Y., Zhao, Y., Ma, D. & Zhang, X., 2022, In: Scientific Programming. 2022, 2079880.Research output: Contribution to journal › Article › peer-review
Open Access7 Link opens in a new tab Scopus citations -
A framework for model and verification of safety-critical operating system based on arinc653
Xu, W. & Ma, D., 2 Aug 2021, In: Electronics (Switzerland). 10, 16, 1934.Research output: Contribution to journal › Article › peer-review
Open Access3 Link opens in a new tab Scopus citations -
A framework for service semantic description based on knowledge graph
Sun, Q., Han, J. & Ma, D., 1 May 2021, In: Electronics (Switzerland). 10, 9, 1017.Research output: Contribution to journal › Article › peer-review
Open Access3 Link opens in a new tab Scopus citations -
RETRACTED: A Formal Verification Method of Compilation Based on C Safety Subset
Tan, Y., Ma, D. & Qiao, L., 2021, In: Wireless Communications and Mobile Computing. 2021, 8352267.Research output: Contribution to journal › Article › peer-review
Open Access1 Link opens in a new tab Scopus citations -
Towards Formal Specification for AADL with Behavior Annex in Isabelle
Tan, Y., Ma, D. & Qiao, L., 17 May 2021, In: IOP Conference Series: Earth and Environmental Science. 769, 4, 042016.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Link opens in a new tab Scopus citations