Cited By
View all- Raj KHegde ADeb Nath ABhunia SRay S(2021)SSEL: An Extensible Specification Language for SoC Security2021 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)10.1109/AsianHOST53231.2021.9699640(1-6)Online publication date: 16-Dec-2021
- Talupur MRay SErickson JKaivola RWahl T(2015)Transaction flows and executable modelsProceedings of the 15th Conference on Formal Methods in Computer-Aided Design10.5555/2893529.2893558(168-175)Online publication date: 27-Sep-2015
- Talupur MRay SErickson J(2015)Transaction flows and executable models: formalization and analysis of message-passing protocols2015 Formal Methods in Computer-Aided Design (FMCAD)10.1109/FMCAD.2015.7542267(168-175)Online publication date: Sep-2015
- Show More Cited By