| Formalization and analysis of the REST architecture from the process algebra perspective X Wu, H Zhu Future Generation Computer Systems 56, 153-168, 2016 | 24 | 2016 |
| Comparative modelling and verification of Pthreads and Dthreads Y Fei, H Zhu, X Wu, H Fang, S Qin Journal of Software: Evolution and Process 30 (3), e1919, 2018 | 20 | 2018 |
| Formalization and Verification of REST on HTTP Using CSP T Yuan, Y Tang, X Wu, Y Zhang, H Zhu, J Guo, W Qin Electronic Notes in Theoretical Computer Science 309, 75-93, 2014 | 16 | 2014 |
| A calculus for wireless sensor networks from quality perspective X Wu, H Zhu 2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015 | 14 | 2015 |
| Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra S Xiang, H Zhu, X Wu, L Xiao, M Bonsangue, W Xie, L Zhang Science of Computer Programming 187, 102343, 2020 | 13 | 2020 |
| Modeling and verifying the ariadne protocol using csp X Wu, S Liu, H Zhu, Y Zhao, L Chen 2012 IEEE 19th International Conference and Workshops on Engineering of …, 2012 | 13 | 2012 |
| Formal modeling and analysis of the REST architecture using CSP X Wu, Y Zhang, H Zhu, Y Zhao, Z Sun, P Liu Web Services and Formal Methods: 9th International Workshop, WS-FM 2012 …, 2013 | 10 | 2013 |
| Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP C Xu, X Wu, H Zhu, M Popovic 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019 | 9 | 2019 |
| Modeling and Verifying HDFS Using CSP W Xie, H Zhu, X Wu, S Xiang, J Guo 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016 | 8 | 2016 |
| Modeling and verifying the TTCAN protocol using timed CSP Q Ran, X Wu, X Li, J Shi, J Guo, H Zhu 2014 Theoretical Aspects of Software Engineering Conference, 90-97, 2014 | 8 | 2014 |
| Formal analysis of a calculus for WSNs from quality perspective X Wu, H Zhu Science of Computer Programming 154, 134-153, 2018 | 7 | 2018 |
| Modeling and verifying the ariadne protocol using process algebra X Wu, H Zhu, Y Zhao, Z Wang, L Si Computer Science and Information Systems 10 (1), 393-421, 2013 | 7 | 2013 |
| Modeling and Verifying HDFS Using Process Algebra W Xie, H Zhu, X Wu, S Xiang, J Guo, PC Vinh Mobile Networks and Applications 22 (2), 318-331, 2017 | 6 | 2017 |
| Formal verification of PKMv3 protocol using DT-spin X Zhu, Y Xu, J Guo, X Wu, H Zhu, W Miao 2015 International Symposium on Theoretical Aspects of Software Engineering …, 2015 | 6 | 2015 |
| Klaim-db: A modeling language for distributed database applications X Wu, X Li, AL Lafuente, F Nielson, HR Nielson Coordination Models and Languages: 17th IFIP WG 6.1 International Conference …, 2015 | 6 | 2015 |
| Formal verification of mCWQ using extended Hoare logic W Xie, H Zhu, X Wu, PC Vinh Mobile Networks and Applications 24, 134-144, 2019 | 5 | 2019 |
| Reasoning about group-based mobility in manets X Wu, S Liu, H Zhu, Y Zhao 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014 | 5 | 2014 |
| Formal Modeling and Security Analysis for OpenFlow-Based Networks Y Zhao, X Wu, J Liu, Y Yang 2018 23rd International Conference on Engineering of Complex Computer …, 2018 | 4 | 2018 |
| Capabilities for Java: Secure access to resources IJ Hayes, X Wu, LA Meinicke Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017 | 4 | 2017 |
| Integrating a calculus with mobility and quality for wireless sensor networks X Wu, Y Zhao, H Zhu 2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016 | 3 | 2016 |
Si LiuSenior Researcher (Oberassistent), Department of Computer Science, ETH Zurich在 inf.ethz.ch 的电子邮件经过验证
