Bao-Trung Pham-Duy

According to our database, Bao-Trung Pham-Duy authored at least 2 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Reusing Symbolic Observation Graph for Efficient Model Checking.

Bao-Trung Pham-Duy, Trinh Van Giang, Le Dinh Thuan, Quan Thanh Tho

Proceedings of the 2015 Seventh International Conference on Knowledge and Systems Engineering, 2015

2014

PeCAn: Compositional Verification of Petri Nets Made Easy.

Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, Étienne André, Laure Petrucci, Yang Liu

Proceedings of the Automated Technology for Verification and Analysis, 2014