Wen Su

Formalizing hybrid systems with Event-B and the Rodin Platform

Huibiao Zhu, Jean-Raymond Abrial, Wen Su, 2014, Sci. Comput. Program..

A Continuous ASM Modelling Approach to Pacemaker Sensing

Richard Banach, Huibiao Zhu, Xiaofeng Wu, 2014, TSEM.

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

Richard Banach, Huibiao Zhu, Wen Su, 2012, Formal Aspects of Computing.

Formalising the Continuous/Discrete Modeling Step

Richard Banach, Huibiao Zhu, Wen Su, 2011, Refine@FM.

Cyberphysical Systems: A Behind-the-Scenes Foundational View

Richard Banach, Wen Su, R. Banach, 2018, Models: Concepts, Theory, Logic, Reasoning and Semantics.

Formal Approaches to Mode Conversion and Positioning for Vehicle System

Jian Guo, Fan Yang, Huibiao Zhu, 2011, 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops.

Formalizing MapReduce with CSP

Qin Li, Fan Yang, Huibiao Zhu, 2010, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.

Modeling MapReduce with CSP

Qin Li, Fan Yang, Huibiao Zhu, 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.

ASM, controller synthesis, and complete refinement

Richard Banach, Huibiao Zhu, Xiaofeng Wu, 2014, Sci. Comput. Program..

Formal modelling of list based dynamic memory allocators

Bin Fang, Geguang Pu, Mihaela Sighireanu, 2018, Science China Information Sciences.

Formalizing Hybrid Systems with Event-B

Huibiao Zhu, Jean-Raymond Abrial, Wen Su, 2012, ABZ.