EDBT 2026 Demo / reviewers in the wild / expert

Han Liu 0010

dblp:35/2899-10 · DBLP profile ↗
← Back
3ranked-venue papers in the field
2as first author
2since 2021 · last 2023
0000-0003-2038-5633ORCID · conflict

Domains — venue-derived; a paper can count in several

Other / Interdisciplinary · 3 (2 first)
YearPublicationVenuePosition
2023 MVDLite: A fast validation algorithm for Model View Definition rules
Han Liu 0010, Hehua Zhang, Yu-Shen Liu, Ming Gu 0001
 Adv. Eng. Informatics1
2023 Modeling and validating temporal rules with semantic Petri net for digital twins
Han Liu 0010, Hehua Zhang, Yu-Shen Liu, Ming Gu 0001
 Adv. Eng. Informatics1
2018 Jbench: a dataset of data races for concurrency testing
abstract
Race detection is increasingly popular, both in the academic research and in industrial practice. However, there is no specialized and comprehensive dataset of the data race, making it difficult to achieve the purpose of effectively evaluating race detectors or developing efficient race detection algorithms.
Jian Gao 0008, Yu Jiang 0001, Han Liu 0010, Weiliang Ying
 MSR4