| 2019 | A compositional approach for real-time machine learning. Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop |
| 2019 | A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. Jin Woo Ro, Avinash Malik, Partha S. Roop |
| 2019 | A timeless model for the verification of quasi-periodic distributed systems. Maryam Dabaghchian, Zvonimir Rakamaric |
| 2019 | Approximate computing for multithreaded programs in shared memory architectures. Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee |
| 2019 | Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. Ratan Lal, Pavithra Prabhakar |
| 2019 | Detecting security leaks in hybrid systems with information flow analysis. Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur |
| 2019 | Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos |
| 2019 | Establishing a refinement relation between binaries and abstract code. Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle |
| 2019 | Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog. David J. Greaves |
| 2019 | Lattice-based SMT for program verification. Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina |
| 2019 | Logical specification and uniform synthesis of robust controllers. Paritosh K. Pandya, Amol Wakankar |
| 2019 | Modeling observability in adaptive systems to defend against advanced persistent threats. Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan |
| 2019 | Polyhedral fragments: an efficient representation for symbolically generating code for processor arrays. Michael Witterauf, Frank Hannig, Jürgen Teich |
| 2019 | Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo |
| 2019 | RTL bug localization through LTL specification mining (WIP). Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia |
| 2019 | Securing implantable medical devices with runtime enforcement hardware. Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty |
| 2019 | Security analysis of cloud-connected industrial control systems using combinatorial testing. Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen |
| 2019 | Security-driven metrics and models for efficient evaluation of logic encryption schemes. Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo |