Login / Signup
Arvind Haran
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 4
Top Topics
Fault Tolerance
High Density
Computationally Efficient
Lightweight
Top Venues
PRDC
Innov. Syst. Softw. Eng.
TACAS
DSN-S
</>
Publications
</>
Karthik Swaminathan
,
Ramon Bertran
,
Doug Balazich
,
Alper Buyuktosunoglu
,
Arvind Haran
,
Sean M. Carey
,
Karl Anderson
,
Hans M. Jacobson
,
Matthias Pflanz
,
Pradip Bose
Characterization and Exploration of Latch Checkers for Efficient RAS Protection.
DSN-S
(2023)
Flavio M. de Paula
,
Arvind Haran
,
Brad Bingham
Rewriting toward trace coverage analysis of symmetric systems.
Innov. Syst. Softw. Eng.
15 (3-4) (2019)
Flavio M. de Paula
,
Arvind Haran
,
Brad Bingham
An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems.
NFM
(2018)
Arvind Haran
,
Montgomery Carter
,
Michael Emmi
,
Akash Lal
,
Shaz Qadeer
,
Zvonimir Rakamaric
SMACK+Corral: A Modular Verifier - (Competition Contribution).
TACAS
(2015)
Vishal Chandra Sharma
,
Arvind Haran
,
Zvonimir Rakamaric
,
Ganesh Gopalakrishnan
Towards Formal Approaches to System Resilience.
PRDC
(2013)