Publications by Fangfang Yuan

This is a list of all publications (co-)authored by Fangfang Yuan that are contained in the publications database of the Department of Computer Science, University of Bristol. To perform an alternative search of the publications database, please go to the publications database home page.

2011

• Fangfang Yuan, Steve Wright, Kerstin Eder, David May, Managing Complexity Through Abstraction: A refinement-based approach to formalize Instruction Set Architectures. 13th International Conference on Formal Engineering Methods (ICFEM). ISBN 978-3-642-24558-9, pp. 585–600. October 2011. PDF, 473 Kbytes. External information

2009

• Fangfang Yuan, Kerstin Eder, A Generic Instruction Set Architecture Model in Event-B for Early Design Space Exploration. CSTR-09-006, University of Bristol. September 2009. PDF, 272 Kbytes.