Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-person-ID:
773785
Person
Rui Wang
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, NTU
Vitenskapelig artikkel
Multi-objective Search for Model-based Testing.
Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker. 2020, IEEE conference proceedings. KTh, HVL
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Model-based software testing for distributed systems and protocols.
Wang, Rui. 2020, Høgskulen på Vestlandet. HVL
Doktorgradsavhandling
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, HVL
Vitenskapelig 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, HVL
Vitenskapelig artikkel
1
-
5
av
12
|
Neste
|
Siste »
Tilknyttede prosjekter
Tilknyttede prosjekter
Methods and Tool Support for Refinement, Model Transformation and Verification of Network System
Volker Stolz + 6 deltakere
Høgskulen på Vestlandet
1 resultat
Avsluttet prosjekt
COEMS - Continuous Observation of Embedded Multicore Systems
Martin Leucker + 6 deltakere
Universität zu Lübeck
7 resultater
Avsluttet prosjekt
1
-
2
av
2