Enforcing transition deadlines in time Petri nets. - Haisheng Wang; Liviu Grigore; Ugo A. Buy; Houshang Darabi (ETFA, 2007)

A SCM experiment of engine assembly by WITNESS simulating. - Ling Pei; Jingkui Ruan; Feng Li; Qing Lu; Haisheng Wang; Longzhou Zhang (EMEIT, 2011)

Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings. - Haisheng Wang; Liviu Grigore; Ugo A. Buy; Mihai Lehene; Houshang Darabi (IEEE Trans. Syst. Man Cybern. Part A, 2011)

Preventing database deadlocks in applications. - Mark Grechanik; B. M. Mainul Hossain; Ugo A. Buy; Haisheng Wang (ESEC/SIGSOFT FSE, 2013)

REDACT: preventing database deadlocks from application-based transactions. - B. M. Mainul Hossain; Mark Grechanik; Ugo A. Buy; Haisheng Wang (ESEC/SIGSOFT FSE, 2013)

Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. - Karim Barkati; Haisheng Wang; Pierre Jouvelot (FLOPS, 2014)

Measuring Channel State Information by Underwater Acoustic Gliders. - Haisheng Wang; Wei Feng 008; Wen Xu 004; Jianlong Li (ICCC Workshops, 2021)