| 2020 | 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020 |
| 2020 | A Contrastive Plan Explanation Framework for Hybrid System Models. Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee |
| 2020 | Bayesian Statistical Model Checking for Continuous Stochastic Logic. Ratan Lal, Weikang Duan, Pavithra Prabhakar |
| 2020 | CROME: Contract-Based Robotic Mission Specification. Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider |
| 2020 | Cephalopode: A custom processor aimed at functional language execution for IoT devices. Jeremy Pope, Jules Saget, Carl-Johan H. Seger |
| 2020 | Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. Paula Herber, Timm Liebrenz |
| 2020 | Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. Marcelo Forets, Daniel Freire, Christian Schilling |
| 2020 | Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure. Moon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton |
| 2020 | Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar |
| 2020 | Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. Mariia Vasileva, Fedor Shmarov, Paolo Zuliani |
| 2020 | REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur |
| 2020 | Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays. Dominik Walter, Michael Witterauf, Jürgen Teich |
| 2020 | Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. Nikhil Naik, Pierluigi Nuzzo |
| 2020 | Runtime Verification of Timed Properties in Autonomous Robots. Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand |
| 2020 | Safe and efficient collision avoidance control for autonomous vehicles. Qiang Wang, Dachuan Li, Joseph Sifakis |
| 2020 | Security Types for Synchronous Data Flow Systems. Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma |
| 2020 | Specification-guided Software Fault Localization for Autonomous Mobile Systems. Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh |
| 2020 | Stately: An FSM Design Tool. Jeremy Pope, Jules Saget, Carl-Johan H. Seger |
| 2020 | Verifying Absence of Hardware-Software Data Races using Counting Abstraction. Tuba Yavuz |