Automated Verification of Linearization Policies. - Parosh Aziz Abdulla; Bengt Jonsson 001; Cong Quy Trinh (SAS, 2016)

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

Fragment Abstraction for Concurrent Shape Analysis. - Parosh Aziz Abdulla; Bengt Jonsson 001; Cong Quy Trinh (ESOP, 2018)

Automated Verification of Data Properties and Linearizability for Heap-Manipulating Programs. - Cong Quy Trinh (2024)