Abstract is missing.
- Approximate computing for multithreaded programs in shared memory architecturesBernard Nongpoh, Rajarshi Ray 0001, Ansuman Banerjee. [doi]
- Securing implantable medical devices with runtime enforcement hardwareHammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty. [doi]
- Security-driven metrics and models for efficient evaluation of logic encryption schemesYinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo. [doi]
- Polyhedral fragments: an efficient representation for symbolically generating code for processor arraysMichael Witterauf, Frank Hannig, Jürgen Teich. [doi]
- Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systemsRatan Lal, Pavithra Prabhakar. [doi]
- Modeling observability in adaptive systems to defend against advanced persistent threatsCody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan. [doi]
- Lattice-based SMT for program verificationKarine Even Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina. [doi]
- Further sub-cycle and multi-cycle schedulling support for Bluespec VerilogDavid J. Greaves. [doi]
- Detecting security leaks in hybrid systems with information flow analysisLuan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur. [doi]
- A compositional semantics of Simulink/Stateflow based on quantized state hybrid automataJin Woo Ro, Avinash Malik, Partha S. Roop. [doi]
- Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logicMohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina Karam, Georgios Fainekos. [doi]
- Security analysis of cloud-connected industrial control systems using combinatorial testingPeter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen. [doi]
- RTL bug localization through LTL specification mining (WIP)Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia. [doi]
- A compositional approach for real-time machine learningNathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop. [doi]
- A timeless model for the verification of quasi-periodic distributed systemsMaryam Dabaghchian, Zvonimir Rakamaric. [doi]
- Establishing a refinement relation between binaries and abstract codeFreek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle. [doi]
- Logical specification and uniform synthesis of robust controllersParitosh K. Pandya, Amol Wakankar. [doi]