Cong Quy Trinh

According to our database, Cong Quy Trinh

• authored at least 3 papers between 2013 and 2016.
• has a "Dijkstra number" of five.

2016

Verification of heap manipulating programs with ordered data by extended forest automata.

Parosh Aziz Abdulla , Lukás Holík , Bengt Jonsson , Ondrej Lengál , Cong Quy Trinh and Tomás Vojnar

Acta Inf., 2016

Automated Verification of Linearization Policies.

Parosh Aziz Abdulla , Bengt Jonsson and Cong Quy Trinh

Proceedings of the Static Analysis - 23rd International Symposium, 2016

2013

Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.

Parosh Aziz Abdulla , Lukás Holík , Bengt Jonsson , Ondrej Lengál , Cong Quy Trinh and Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2013