Follow
Arshavir Ter-Gabrielyan
Arshavir Ter-Gabrielyan
DFINITY
Verified email at inf.ethz.ch - Homepage
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
92019
Monitoring the Internet Computer
D Basin, DS Dietiker, S Krstić, YA Pignolet, M Raszyk, J Schneider, ...
International Symposium on Formal Methods, 383-402, 2023
72023
SMT models for verification debugging
C Stoll
Master thesis, ETH Zurich, 2019
52019
Advanced features for an integrated verification environment
R Kälin
ETH-Zürich, 2016
42016
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
Automating Modular Reasoning About Higher-Order Functions
B Weber, P MÜLLER, A TER-GABRIELYAN, M EILERS
Master’s Thesis. Nov.,.: https://bit. ly/2zkCbhG (visited on//), 2017
22017
Compositional Verification of Rich Program Properties in Separation Logic
A Ter-Gabrielyan
ETH Zurich, 2021
12021
Universal Library Components for Verification IDE Development
V Racine
2020
Creating an Advanced Debugger for Symbolic Execution
A Aurecchia
2018
The system can't perform the operation now. Try again later.
Articles 1–9