We stand with Ukraine  

Arshavir Ter-Gabrielyan

Orcid: 0000-0003-0292-7750

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
0
1
2
3
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Monitoring the Internet Computer.
[BibTeX]
[DOI]
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

2022
Monitoring the Internet Computer (Artifact).
[BibTeX]
[DOI]
David A. Basin
,
Daniel Stefan Dietiker
,
Srdan Krstic
,
Yvonne-Anne Pignolet
,
Martin Raszyk
,
Joshua Schneider
,
Arshavir Ter-Gabrielyan
Dataset, November, 2022

2021
Compositional Verification of Rich Program Properties in Separation Logic.
[BibTeX]
[DOI]
Arshavir Ter-Gabrielyan
PhD thesis, 2021

Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Arshavir Ter-Gabrielyan
,
Alexander J. Summers
,
Peter Müller
Proc. ACM Program. Lang., 2019


  Loading...