Rui Wang
Stilling
Senioringeniør, Systemutvikler – faggruppe for digital utvikling
Tilhørighet
- E-post
- rui.wang@uib.no
- Telefonnummer
- +47 55582519
- Postadresse
-
Postboks 7808
5020 Bergen
Rui Wang
Stilling
Senioringeniør, Systemutvikler – faggruppe for digital utvikling
Tilhørighet
Kort info
Rui Wang tok sin M.Sc. i datateknologi ved Halmstad University (2014). Han jobbet som programvareutvikler ved IBM's System & Technology Laboratory frem til 2016. Han fullførte sin doktorgrad i datateknologi ved HVL, Bergen, Norge (2020). Han er nå systemutvikler ved Universitetet i Bergen.
Publikasjoner
Vitenskapelig artikkel
- 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. (ekstern lenke)
- Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael et al. (2019). Visualization and abstractions for execution paths in model-based software testing. (ekstern lenke)
- 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. (ekstern lenke)
- 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. (ekstern lenke)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2018). Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. (ekstern lenke)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2017). Application of Model-based Testing on a Quorum-based Distributed Storage. (ekstern lenke)
- Macias Gomez de Villar, Fernando; Scheffel, Torben; Schmitz, Malte et al. (2016). Integration of runtime verification into metamodeling for simulation and code generation. (ekstern lenke)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
- Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael et al. (2020). Multi-objective Search for Model-based Testing. (ekstern lenke)
- Wang, Rui (2018). Model-based Testing of Distributed Systems and Protocols with the Coloured Petri Nets. (ekstern lenke)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2017). Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. (ekstern lenke)