Concepedia

Lei Pi

LP

4

Publications

118

Citations

4

H-Index

2009

Active since

Affiliations

Beihang University(Current)

Institut de Recherche en Informatique de Toulouse

Université Toulouse III - Paul Sabatier

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

Lei Pi is an author at Beihang University specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringSemanticsSystem SoftwareEmbedded Systems

Publications per year

2009–2014

4

Publications

4

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

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

Two Formal Semantics of a Subset of the AADL

Zhibin Yang, Kai Hu, Jean-Paul Bodeveix et al. · 2011 · 11 citations

Engineering, Verification, Well-founded Semantics +18

Rows per page

1–4 of 4