We stand with Ukraine  

Dexi Wang

Orcid: 0000-0002-6285-9123

According to our database1, Dexi Wang authored at least 3 papers between 2016 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Scalable Verification Framework for C Program.
[BibTeX]
[DOI]
Guang Chen
,
Dexi Wang
,
Tianchi Li
,
Chao Zhang
,
Ming Gu
,
Jiaguang Sun
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
Verification of Implementations of Cryptographic Hash Functions.
[BibTeX]
[DOI]
Dexi Wang
,
Yu Jiang
,
Houbing Song
,
Fei He
,
Ming Gu
,
Jiaguang Sun
IEEE Access, 2017

2016
C Code Verification based on the Extended Labeled Transition System Model.
[BibTeX]
[DOI]
Dexi Wang
,
Chao Zhang
,
Guang Chen
,
Ming Gu
,
Jiaguang Sun
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016


  Loading...