| 2019 | Establishing a refinement relation between binaries and abstract code. | Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle |
| 2019 | Security analysis of cloud-connected industrial control systems using combinatorial testing. | Peter W. V. Tran-Jrgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen |
| 2019 | A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. | Jin Woo Ro, Avinash Malik, Partha S. Roop |
| 2019 | Securing implantable medical devices with runtime enforcement hardware. | Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty |
| 2019 | Logical specification and uniform synthesis of robust controllers. | Paritosh K. Pandya, Amol Wakankar |
| 2019 | Approximate computing for multithreaded programs in shared memory architectures. | Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee |
| 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 | Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. | Ratan Lal, Pavithra Prabhakar |
| 2019 | Modeling observability in adaptive systems to defend against advanced persistent threats. | Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan |
| 2019 | RTL bug localization through LTL specification mining (WIP). | Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia |
| 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 |
| 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 | 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. Hyvrinen, Hana Chockler, Natasha Sharygina |
| 2019 | A timeless model for the verification of quasi-periodic distributed systems. | Maryam Dabaghchian, Zvonimir Rakamaric |
| 2019 | A compositional approach for real-time machine learning. | Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop |
| 2018 | Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. | Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali |
| 2018 | Run-time Requirement Enforcement for Loop Programs on Processor Arrays. | Michael Witterauf, Jrgen Teich |
| 2018 | A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. | Jonatan Wiik, Johan Ersfolk, Marina Waldn |
| 2018 | It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow. | Mladen Skelin, Marc Geilen |
| 2018 | UCLID5: Integrating Modeling, Verification, Synthesis and Learning. | Sanjit A. Seshia, Pramod Subramanyan |
| 2018 | Synchronous neural networks for cyber-physical systems. | Partha S. Roop, Hammond A. Pearce, Keyan Monadjem |
| 2018 | Quotient for Assume-Guarantee Contracts. | igo ncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang |
| 2018 | Security of Pacemakers using Runtime Verification. | Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider |
| 2018 | Model Order Reduction of Nonlinear Circuit using Proper Orthogonal Decomposition and Nonlinear Autoregressive with eXogenous input (NARX) Neural Network. | S. Nagaraj, D. Seshachalam, Sunil Hucharaddi |