Faqing Yang

According to our database, Faqing Yang authored at least 6 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Refinement-based Validation of Event-B Specifications.

Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot

Softw. Syst. Model., 2017

2014

Proving the Fidelity of Simulations of Event-B Models.

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

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

PhD thesis, 2013

JeB: Safe Simulation of Event-B Models in JavaScript.

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

The Case for Using Simulation to Validate Event-B Specifications.

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Scaling Up with Event-B: A Case Study.

Faqing Yang, Jean-Pierre Jacquot

Proceedings of the NASA Formal Methods, 2011