Rewriting toward trace coverage analysis of symmetric systems
De Paula, Flavio M., Haran, Arvind, Bingham, Brad
Published in Innovations in systems and software engineering (01.09.2019)
Published in Innovations in systems and software engineering (01.09.2019)
Get full text
Journal Article
Towards Formal Approaches to System Resilience
Sharma, Vishal Chandra, Haran, Arvind, Rakamaric, Zvonimir, Gopalakrishnan, Ganesh
Published in 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing (01.12.2013)
Published in 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing (01.12.2013)
Get full text
Conference Proceeding
Characterization and Exploration of Latch Checkers for Efficient RAS Protection
Swaminathan, Karthik, Bertran, Ramon, Balazich, Doug, Buyuktosunoglu, Alper, Haran, Arvind, Carey, Sean, Anderson, Karl, Jacobson, Hans, Pflanz, Matthias, Bose, Pradip
Published in 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (01.06.2023)
Published in 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (01.06.2023)
Get full text
Conference Proceeding