Faqing Yang

Publications

113

Citations

H-Index

2013

Active since

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Faqing Yang is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in engineering, formal specification, and software testing.

ORCID

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationFormal SpecificationBatteries

Publications per year

2013–2023

Publications

Review of mechanical abuse related thermal runaway models of lithium-ion batteries at different scales

Yang Xiao, Faqing Yang, Zhenhai Gao et al. · Journal of Energy Storage · 2023 · 82 citations

Thermal Runaway Models, Damage Mechanism, Engineering +12

JeB: Safe Simulation of Event-B Models in JavaScript

Faqing Yang, Jean‐Pierre Jacquot, Jeanine Souquières · 2013 · 16 citations

Engineering, Verification, Software Engineering +22

Refinement-based Validation of Event-B Specifications

Atif Mashkoor, Faqing Yang, Jean‐Pierre Jacquot · Software & Systems Modeling · 2016 · 15 citations

Formal Specification, Engineering, Data Validation +10

Rows per page

1–3 of 3