| Formalizing hybrid systems with Event-B and the Rodin platform W Su, JR Abrial, H Zhu Science of Computer Programming 94, 164-202, 2014 | 71 | 2014 |
| Formalizing hybrid systems with Event-B JR Abrial, W Su, H Zhu International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012 | 54 | 2012 |
| Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system W Su, JR Abrial International Journal on Software Tools for Technology Transfer 19, 141-166, 2017 | 48 | 2017 |
| From requirements to development: Methodology and example W Su, JR Abrial, R Huang, H Zhu International Conference on Formal Engineering Methods, 437-455, 2011 | 27 | 2011 |
| Formal development of a real-time operating system memory manager W Su, JR Abrial, G Pu, B Fang 2015 20th International Conference on Engineering of Complex Computer …, 2015 | 23 | 2015 |
| Formalizing mapreduce with csp F Yang, W Su, H Zhu, Q Li 2010 17th IEEE International Conference and Workshops on Engineering of …, 2010 | 23 | 2010 |
| Complementary methodologies for developing hybrid systems with Event-B W Su, JR Abrial, H Zhu International Conference on Formal Engineering Methods, 230-248, 2012 | 16 | 2012 |
| Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application R Banach, H Zhu, W Su, R Huang Formal Aspects of Computing 26 (2), 319-366, 2014 | 15 | 2014 |
| A continuous ASM modelling approach to pacemaker sensing R Banach, H Zhu, W Su, X Wu ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (1), 1-40, 2014 | 14 | 2014 |
| Formal modelling of list based dynamic memory allocators B Fang, M Sighireanu, G Pu, W Su, JR Abrial, M Yang, L Qiao Science China Information Sciences 61, 1-16, 2018 | 13 | 2018 |
| Modeling mapreduce with CSP W Su, F Yang, H Zhu, Q Li 2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009 | 10 | 2009 |
| Formalising the continuous/discrete modeling step R Banach, H Zhu, W Su, R Huang arXiv preprint arXiv:1106.4097, 2011 | 8 | 2011 |
| ASM, controller synthesis, and complete refinement R Banach, H Zhu, W Su, X Wu Science of Computer Programming 94, 109-129, 2014 | 6 | 2014 |
| ASM and controller synthesis R Banach, H Zhu, W Su, X Wu Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012 | 5 | 2012 |
| Continuous ASM, and a pacemaker sensing fragment R Banach, H Zhu, W Su, X Wu Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012 | 5 | 2012 |
| Formal approaches to mode conversion and positioning for vehicle system W Su, F Yang, X Wu, J Guo, H Zhu 2011 IEEE 35th Annual Computer Software and Applications Conference …, 2011 | 5 | 2011 |
| Cyberphysical Systems: A Behind-the-Scenes Foundational View. R Banach, W Su Models: Concepts, Theory, Logic, Reasoning and Semantics, 177-201, 2018 | 3 | 2018 |
| Continuous behaviour in Event-B: A sketch R Banach, H Zhu, W Su, X Wu Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012 | 3 | 2012 |
| Insulin pump: Modular modeling of hybrid systems using Event-B W Su, J Chen, S Khan Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 2 | 2018 |
| A context-aware modeling framework for pervasive applications H Mao, N Jiang, W Su, L Huang 2012 International Conference on Cloud and Service Computing, 40-44, 2012 | 2 | 2012 |
Richard BanachSchool of Computer Science, University of Manchester在 cs.man.ac.uk 的电子邮件经过验证
Richard BanachSchool of Computer Science, University of Manchester在 cs.man.ac.uk 的电子邮件经过验证