Concepedia

Zhibin Yang

ZY

13

Publications

281

Citations

11

H-Index

2009

Active since

Affiliations

Université Toulouse III - Paul Sabatier(Current)

Nanjing University of Aeronautics and Astronautics

Institut de Recherche en Informatique de Toulouse

Beihang University

Université Toulouse-I-Capitole

Zhibin Yang is an author at Université Toulouse III - Paul Sabatier specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationSystems EngineeringSoftware AnalysisSoftware DesignSystem SoftwareProgram Analysis

Publications per year

2009–2022

13

Publications

13

From AADL to Timed Abstract State Machines: A verified model transformation

Zhibin Yang, Kai Hu, Dianfu Ma et al. · Journal of Systems and Software · 2014 · 49 citations

Abstract Machine, Verified Model Transformation, Engineering +12

Towards a formal semantics for the AADL behavior annex

Zhibin Yang, Kai Hu, Dianfu Ma et al. · Design, Automation, and Test in Europe · 2009 · 34 citations

Aadl Behavior Annex, Engineering, Real-time System Design +22

An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models

Fei Wang, Zhibin Yang, Zhiqiu Huang et al. · IEEE Transactions on Reliability · 2019 · 28 citations · Full text

Software Maintenance, Initial Aadl Models, Requirements Traceability +24

Exploring AADL verification tool through model transformation

Kai Hu, Teng Zhang, Zhibin Yang et al. · Journal of Systems Architecture · 2015 · 26 citations · Full text

Engineering, Verification, Process Control +10

AADL: An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems

Zhibin Yang, Lei Pi, Kai Hu et al. · Journal of Software · 2010 · 24 citations

Real-time System, Architecture Design, Engineering +14

Rows per page

1–5 of 13