Modular verification of heap reachability properties in separation logic. - Arshavir Ter-Gabrielyan; Alexander J. Summers; Peter Müller 001 (Proc. ACM Program. Lang., 2019)

Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers. - Alexandra Bugariu; Arshavir Ter-Gabrielyan; Peter Müller 001 (FM, 2021)

Compositional Verification of Rich Program Properties in Separation Logic. - Arshavir Ter-Gabrielyan (2021)

Monitoring the Internet Computer (Artifact). - David A. Basin; Daniel Stefan Dietiker; Srdan Krstic; Yvonne-Anne Pignolet; Martin Raszyk; Joshua Schneider 001; Arshavir Ter-Gabrielyan (Zenodo, 2022)

Monitoring the Internet Computer. - David A. Basin; Daniel Stefan Dietiker; Srdan Krstic; Yvonne-Anne Pignolet; Martin Raszyk; Joshua Schneider 001; Arshavir Ter-Gabrielyan (FM, 2023)

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version). - Alexandra Bugariu; Arshavir Ter-Gabrielyan; Peter Müller 001 (Formal Aspects Comput., 2023)