Cong Quy Trinh

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 3

Top Topics

Automated Verification

Management Policies

Fourier Descriptors

Top Venues

Acta Informatica

Publications

Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh
Fragment Abstraction for Concurrent Shape Analysis. ESOP (2018)
Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh
Automated Verification of Linearization Policies. SAS (2016)
Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar
Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica 53 (4) (2016)
Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. ATVA (2013)