Arshavir Ter-Gabrielyan

According to our database, Arshavir Ter-Gabrielyan authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version).

Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller

Formal Aspects Comput., June, 2023

Monitoring the Internet Computer.

David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan

Proceedings of the Formal Methods - 25th International Symposium, 2023

2021

Compositional Verification of Rich Program Properties in Separation Logic.

Arshavir Ter-Gabrielyan

PhD thesis, 2021

Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers.

Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller

Proceedings of the Formal Methods - 24th International Symposium, 2021

2019

Modular verification of heap reachability properties in separation logic.

Arshavir Ter-Gabrielyan, Alexander J. Summers, Peter Müller

Proc. ACM Program. Lang., 2019