Cristin-person-ID: 773785
Person

Aktiv cristin-person Rui Wang

  • Stilling:
    Overingeniør
    ved UB, Seksjon for utdannings- og forskningsstøtte ved Universitetet i Bergen

Resultater Resultater

Fully Distributed Dynamic Edge-Event-Triggered Current Sharing Control Strategy for Multibus DC Microgrids With Power Coupling.

Wang, Rui; Li, Weihua; Sun, Qiuye; Li, Yushuai; Gui, Yonghao; Wang, Peng. 2023, IEEE Transactions on Industrial Informatics. KINA, AAU, UIO, NTUVitenskapelig artikkel

Multi-objective Search for Model-based Testing.

Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker. 2020, IEEE conference proceedings. KTh, HVLVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Model-based software testing for distributed systems and protocols.

Wang, Rui. 2020, Høgskulen på Vestlandet. HVLDoktorgradsavhandling

Visualization and abstractions for execution paths in model-based software testing.

Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker. 2019, Lecture Notes in Computer Science (LNCS). KTh, HVLVitenskapelig artikkel

Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model.

Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker. 2019, Journal of Logical and Algebraic Methods in Programming. UIS, HVLVitenskapelig artikkel
1 - 5 av 12 | Neste | Siste »