Rui Wang
Rui Wang
PhD research fellow, Western Norway University of Applied Sciences (Hgskulen p Vestlandet)
Email verificata su hvl.no - Home page
TitoloCitata daAnno
Application of model-based testing on a quorum-based distributed storage
R Wang, LM Kristensen, H Meling, V Stolz
CEUR Workshop Proceedings, 2017
62017
Region-based geocast routing protocols for VANETs: Summary, evaluation methods and simulation models
R Wang, H Zhang, T Larsson
2014 International Conference on Connected Vehicles and Expo (ICCVE), 731-738, 2014
32014
Simulation of region-based geocast routing protocols
H Zhang, R Wang, T Larsson
2014 International Conference on Connected Vehicles and Expo (ICCVE), 723-730, 2014
32014
Integration of runtime verification into metamodeling for simulation and code generation (position paper)
F Macias, T Scheffel, M Schmitz, R Wang
International Conference on Runtime Verification, 454-461, 2016
22016
Automated test case generation for the paxos single-decree protocol using a coloured petri net model
R Wang, LM Kristensen, H Meling, V Stolz
Journal of Logical and Algebraic Methods in Programming 104, 254-273, 2019
12019
Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Transactions on Petri Nets and Other Models of Concurrency XIII 11090…, 2018
2018
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets
R Wang, LM Kristensen, V Stolz
International Conference on Verification and Evaluation of Computer and…, 2018
2018
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–7