| 2016 | ICDCIT | A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. | Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu |
| 2016 | ICTAC | Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. | Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang |
| 2016 | SoMeT | On Model Finding with Constraint Patterns. | Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung |
| 2008 | ICTAC | Verification of Linear Duration Invariants by Model Checking CTL Properties. | Miaomiao Zhang, Dang Van Hung, Zhiming Liu |
| 2008 | SEFM | Checking Interface Interaction Protocols Using Aspect-Oriented Programming. | Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung |
| 2007 | RTCSA | On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. | Dang Van Hung, Miaomiao Zhang |
| 2007 | TASE | Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. | Hung Ledang, Dang Van Hung |
| 2005 | FMICS | Toward a formal model for component interfaces for real-time systems. | Dang Van Hung |
| 2005 | ICTAC | A Summary of the Tutorials at ICTAC 2005. | Dang Van Hung |
| 2005 | RTCSA | Model Checking Real-Time Component Based Systems with Blackbox Testing. | Dang Van Hung, Bui Vu Anh |
| 2004 | ICTAC | Verifying Linear Duration Constraints of Timed Automata. | Pham Hong Thai, Dang Van Hung |
| 2004 | IFM | An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. | Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi |
| 2003 | PDPTA | A Formal Model for Dynamic Channel Allocation as a Mutual Exclusion Concept in a Distributed Mobile Computing System. | Siba K. Udgata, Dang Van Hung |
| 2002 | COMPSAC | Specification and Verification of Spatial Data Types with B-Toolkit. | Kim Yong Chun, Dang Van Hung |
| 2001 | COMPSAC | A Case Study on Formal Design of Hybrid Control Systems. | Hong Ki Thae, Dang Van Hung |
| 1999 | APSEC | A Formal Specification of the Concurrency Control in Real-Time Databases. | Ekaterina Pavlova, Dang Van Hung |
| 1998 | RTSS | On Checking Timed Automata for Linear Duration Invariants. | Vctor A. Braberman, Dang Van Hung |
| 1996 | APSEC | Verification via Digitized Models of Real-Time Hybrid Systems. | Dang Van Hung, Ko Kwang Il |
| 1995 | FCT | A Duration Calculus with Infinite Intervals. | Chaochen Zhou, Dang Van Hung, Xiaoshan Li |
| 1993 | FCT | On the Relation Between Firing Sequences and Processes of Petri Nets. | Dang Van Hung, Tran Van Dung |