Rui Wang
Rui Wang
PhD research fellow, Western Norway University of Applied Sciences (Høgskulen på Vestlandet)
Verified email at - Homepage
Cited by
Cited by
Ponatinib (AP24534) inhibits MEKK3-KLF signaling and prevents formation and progression of cerebral cavernous malformations
JP Choi, R Wang, X Yang, X Wang, L Wang, KK Ting, M Foley, V Cogger, ...
Science Advances 4 (11), eaau0731, 2018
Cerebral cavernous malformations are driven by ADAMTS5 proteolysis of versican
CC Hong, AT Tang, MR Detter, JP Choi, R Wang, X Yang, AA Guerrero, ...
Journal of Experimental Medicine 217 (10), 2020
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
Pdcd10-Stk24/25 complex controls kidney water reabsorption by regulating Aqp2 membrane targeting
R Wang, ST Wu, X Yang, Y Qian, JP Choi, R Gao, S Song, Y Wang, ...
JCI insight 6 (12), 2021
Application of Model-based Testing on a Quorum-based Distributed Storage.
R Wang, LM Kristensen, H Meling, V Stolz
PNSE@ Petri Nets, 177-196, 2017
Visualization and abstractions for execution paths in model-based software testing
R Wang, C Artho, LM Kristensen, V Stolz
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
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
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
MBT/CPN: A tool for model-based software testing of distributed systems protocols using coloured petri nets
R Wang, LM Kristensen, V Stolz
Verification and Evaluation of Computer and Communication Systems: 12th …, 2018
Multi-objective Search for Model-based Testing
R Wang, C Artho, LM Kristensen, V Stolz
Integration of runtime verification into metamodeling for simulation and code generation (position paper)
F Macias, T Scheffel, M Schmitz, R Wang
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
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
Release of STK24/25 suppression on MEKK3 signaling in endothelial cells confers Cerebral cavernous malformation
X Yang, ST Wu, R Gao, R Wang, Y Wang, Z Dong, L Wang, C Qi, X Wang, ...
JCI insight, 2023
Model-based software testing for distributed systems and protocols
R Wang
Høgskulen på Vestlandet, 2020
Multi-objective reinforcement learning and optimization for the search-based test case generation of Model-based software testing.
R Wang
Integration of Runtime Verification into Metamodeling
F Macıas, T Scheffel, M Schmitz, R Wang, M Leucker, A Rutle, V Stolz
Workshop on Programming Theory (NWPT’16), 40, 0
The system can't perform the operation now. Try again later.
Articles 1–16