Arshavir Ter-Gabrielyan

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Networked Environment

Program Execution

Repetitive Patterns

Derivation Rules

Top Venues

Proc. ACM Program. Lang.

Formal Aspects Comput.

Publications

David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan
Monitoring the Internet Computer. FM (2023)
Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version). Formal Aspects Comput. 35 (2) (2023)
Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers. CoRR (2021)
Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller
Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers. FM (2021)
Arshavir Ter-Gabrielyan, Alexander J. Summers, Peter Müller
Modular verification of heap reachability properties in separation logic. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Arshavir Ter-Gabrielyan, Alexander J. Summers, Peter Müller
Modular Verification of Heap Reachability Properties in Separation Logic. CoRR (2019)