Cong Quy Trinh

According to our database1, Cong Quy Trinh
  • authored at least 3 papers between 2013 and 2016.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Verification of heap manipulating programs with ordered data by extended forest automata.
(DOI)
Parosh Aziz Abdulla
,
Lukás Holík
,
Bengt Jonsson
,
Ondrej Lengál
,
Cong Quy Trinh
,
Tomás Vojnar
Acta Inf., 2016

Automated Verification of Linearization Policies.
(DOI)
Parosh Aziz Abdulla
,
Bengt Jonsson
,
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.
(DOI)
Parosh Aziz Abdulla
,
Lukás Holík
,
Bengt Jonsson
,
Ondrej Lengál
,
Cong Quy Trinh
,
Tomás Vojnar
Proceedings of the Automated Technology for Verification and Analysis, 2013


  Loading...