| 2021 | A secure insulin infusion system using verification monitors. Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
| 2021 | Controller verification meets controller code: a case study. Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám |
| 2021 | Design and formal verification of a copland-based attestation protocol. Adam Petz, Grant Jurgensen, Perry Alexander |
| 2021 | Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs. Khalil Esper, Stefan Wildermann, Jürgen Teich |
| 2021 | Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. Kelvin Anto, Partha S. Roop, Akshya K. Swain |
| 2021 | LION: real-time I/O transfer control for massively parallel processor arrays. Dominik Walter, Jürgen Teich |
| 2021 | Learning optimal decisions for stochastic hybrid systems. Mathis Niehage, Arnd Hartmanns, Anne Remke |
| 2021 | MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021 S. Arun-Kumar, Dominique Méry, Indranil Saha, Lijun Zhang |
| 2021 | Online monitoring of spatio-temporal properties for imprecise signals. Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi |
| 2021 | Polynomial word-level verification of arithmetic circuits. Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler |
| 2021 | SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations. Farhaan Fowze, Tuba Yavuz |
| 2021 | Sampling of shape expressions with ShapEx. Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic |
| 2021 | Simplification of numeric variables for PLC model checking. Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar |
| 2021 | Translating structured sequential programs to dataflow graphs. Klaus Schneider |
| 2021 | Translation of continuous function charts to imperative synchronous quartz programs. Marcel Christian Werner, Klaus Schneider |
| 2021 | Verified functional programming of an IoT operating system's bootloader. Shenghao Yuan, Jean-Pierre Talpin |