IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications related to 'Verification'   Download bibtex file Order by:   Type | Year
           related to:
Article (Journal)TOP
1 Add to my selection
Yohan Ko, Reiley Jeyapaul, Youngbin Kim, Kyoungwoo Lee and Aviral Shrivastava. Protecting Caches from Soft Errors: A Microarchitect's Perspective. In ACM Transactions on Embedded Computing Systems (TECS), Vol. 16(4):93:1-93:28, 2017. PDF [Comment]   Bibtex entry
Keywords: Cache Vulnerability, Error Correction, Soft Error, Verification.  
2 Add to my selection
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss and Kevin Stanton. Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems. In ACM Transactions on Embedded Computing Systems (TECS) , Vol. 16(169) of 5s, 2017. PDF PPT [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems, Verification.   Note: Special Issue on ESWEEK 2017 - Proceedings of the International Conference on Embedded Software (EMSOFT).
3 Add to my selection
Moslem Didehban and Aviral Shrivastava. A Compiler Technique for Processor-Wide Protection From Soft Errors in Multithreaded Environments. In IEEE Transactions on Reliability, 2018. PDF [Comment]   Bibtex entry
Keywords: Compiler Technique, Fault Injection, Multi-core Processor, Multithreading, Soft Error, Verification.  
InProceedingsTOP
4 Add to my selection
Aviral Shrivastava, Abhishek Risheekesan, Reiley Jeyapaul and Carole-Jean Wu. Quantitative Analysis of Control Flow Checking Mechanisms for Soft Errors. In Proceedings of the The 51st Annual Design Automation Conference (DAC), 2014. PDF PPT [Comment]   Bibtex entry
Keywords: , CFC, Soft Error, Verification.  
5 Add to my selection
Moslem Didehban and Aviral Shrivastava. NZDC: A Compiler technique for near Zero Silent data Corruption. In Proceedings of The 53rd Annual Design Automation Conference (DAC), 2016. PDF PPT [Comment]   Bibtex entry
Keywords: Error Correction, Fault Injection, Soft Error, Verification.  
6 Add to my selection
Moslem Didehban, Dheeraj Lokam and Aviral Shrivastava. An Integrated Safe and Fast Recovery Scheme from Soft Errors. In Proceedings of The 54th Annual Design Automation Conference (DAC), 2017. PDF PPT [Comment]   Bibtex entry
Keywords: Error Correction, Fault Injection, Soft Error, Verification.  
7 Add to my selection
Aviral Shrivastava, Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo A. Andrade, Kevin Stanton, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss and John Eidson. A Testbed to Verify the Timing Behavior of Cyber-Physical Systems. In Proceedings of The 54th Annual Design Automation Conference (DAC), 2017. PDF [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems, Verification.  
8 Add to my selection
Moslem Didehban, Aviral Shrivastava and Dheeraj Lokam. NEMESIS: A Software Approach for Computing in Presence of Soft Errors. In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2017. PDF PPT [Comment]   Bibtex entry
Keywords: Error Correction, Fault Injection, Soft Error, Verification.  
9 Add to my selection
Hwisoo So, Moslem Didehban, Yohan Ko, Aviral Shrivastava and Kyoungwoo Lee. EXPERT: Effective and Flexible Error Protection by Redundant Multithreading. In Proceedings of the 2018 International Conference on Design Automation and Test in Europe (DATE), 2018. PDF [Comment]   Bibtex entry
Keywords: Fault Injection, Multithreading, Soft Error, Verification.  
10 Add to my selection
Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Ya-Shian Li, Patricia Derler, Edward Griffor, Hugo A. Andrade, Marc Weiss, John Eidson and Dhananjay Anand. TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems. 2018. [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems, Verification.  
MastersThesisTOP
11 Add to my selection
Srinivas Karthik Tanikella. GemV: A Validated Micro-architecture Vulnerability Estimation Tool. Master's thesis, Arizona State University, 2016. PDF PPT [Comment]   Bibtex entry
Keywords: Cache Vulnerability, Soft Error, Verification.  
Feedback: Aviral Shrivastava
Last modified: Mon November 22 2010 16:16:55
        BibAdmin