Rui Wang
Orcid: 0009-0007-0052-4065Affiliations:
- Western Norway University of Applied Sciences, Bergen, Norway
According to our database1,
Rui Wang
authored at least 6 papers
between 2017 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2020
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
2019
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model.
J. Log. Algebraic Methods Program., 2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
2018
Trans. Petri Nets Other Model. Concurr., 2018
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018
2017
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017