Scaling Up with Event-B: A Case Study. - Faqing Yang; Jean-Pierre Jacquot (NASA Formal Methods, 2011)

The Case for Using Simulation to Validate Event-B Specifications. - Faqing Yang; Jean-Pierre Jacquot; Jeanine Souquières (APSEC, 2012)

JeB: Safe Simulation of Event-B Models in JavaScript. - Faqing Yang; Jean-Pierre Jacquot; Jeanine Souquières (APSEC (1), 2013)

A Simulation Framework for the Validation of Event-B Specifications. (Un environnement de simulation pour la validation de spécifications B événementiel). - Faqing Yang (2013)

Proving the Fidelity of Simulations of Event-B Models. - Faqing Yang; Jean-Pierre Jacquot; Jeanine Souquières (HASE, 2014)

Refinement-based Validation of Event-B Specifications. - Atif Mashkoor; Faqing Yang; Jean-Pierre Jacquot (Softw. Syst. Model., 2017)