Faqing Yang

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 1

Top Topics

Formal Specification

Event Detection

Simulation Models

Top Venues

Softw. Syst. Model.

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot
Refinement-based Validation of Event-B Specifications. Softw. Syst. Model. 16 (3) (2017)
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
Proving the Fidelity of Simulations of Event-B Models. HASE (2014)
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
JeB: Safe Simulation of Event-B Models in JavaScript. APSEC (1) (2013)
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
The Case for Using Simulation to Validate Event-B Specifications. APSEC (2012)
Faqing Yang, Jean-Pierre Jacquot
Scaling Up with Event-B: A Case Study. NASA Formal Methods (2011)