Arshavir Ter-Gabrielyan

2019202020212022202320241 1 4 3 9 2

Public access

1 article

0 articles

available

not available

Based on funding mandates

Peter MüllerETH ZurichVerified email at inf.ethz.ch
Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
Alexandra BugariuMax Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Srdjan KrsticETH ZurichVerified email at inf.ethz.ch
Yvonne-Anne PignoletDFINITY, SwitzerlandVerified email at pignolet.ch
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch

Arshavir Ter-Gabrielyan

DFINITY

Verified email at inf.ethz.ch - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Modular verification of heap reachability properties in separation logic A Ter-Gabrielyan, AJ Summers, P Müller Proceedings of the ACM on Programming Languages 3 (OOPSLA), 121, 2019	9	2019
Monitoring the Internet Computer D Basin, DS Dietiker, S Krstić, YA Pignolet, M Raszyk, J Schneider, ... International Symposium on Formal Methods, 383-402, 2023	7	2023
Identifying overly restrictive matching patterns in SMT-based program verifiers (extended version) A Bugariu, A Ter-Gabrielyan, P Müller Formal Aspects of Computing 35 (2), 1-27, 2023	3*	2023
Compositional Verification of Rich Program Properties in Separation Logic A Ter-Gabrielyan ETH Zurich, 2021	1	2021

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year