Rui Wang
Position
Senior Engineer, System developer - Section for digital systems
Affiliation
- rui.wang@uib.no
- Phone number
- +47 55582519
- Postal address
-
P.O. Box 7808NO-5020 BergenNorway
Rui Wang
Position
Senior Engineer, System developer - Section for digital systems
Affiliation
Short info
Rui Wang earned his M.Sc. in Computer Science from Halmstad University (2014). He worked as a software developer at IBM's System & Technology Laboratory until 2016. He completed his Ph.D. in Computer Science at HVL, Bergen, Norway (2020). He is now a system developer at the University of Bergen.
Publications
Academic article
- Wang, Rui; Li, Weihua; Sun, Qiuye et al. (2023). Fully Distributed Dynamic Edge-Event-Triggered Current Sharing Control Strategy for Multibus DC Microgrids With Power Coupling. (external link)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2019). Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. (external link)
- Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael et al. (2019). Visualization and abstractions for execution paths in model-based software testing. (external link)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2018). Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. (external link)
- Wang, Rui; Kristensen, Lars Michael; Stolz, Volker (2018). MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. (external link)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2017). Application of Model-based Testing on a Quorum-based Distributed Storage. (external link)
- Macias Gomez de Villar, Fernando; Scheffel, Torben; Schmitz, Malte et al. (2016). Integration of runtime verification into metamodeling for simulation and code generation. (external link)
Academic chapter/article/Conference paper
- Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael et al. (2020). Multi-objective Search for Model-based Testing. (external link)
- Wang, Rui (2018). Model-based Testing of Distributed Systems and Protocols with the Coloured Petri Nets. (external link)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2017). Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. (external link)