| 2021 | Controller verification meets controller code: a case study. | Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika brahm |
| 2021 | SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations. | Farhaan Fowze, Tuba Yavuz |
| 2021 | Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs. | Khalil Esper, Stefan Wildermann, Jrgen Teich |
| 2021 | Sampling of shape expressions with ShapEx. | Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic |
| 2021 | Polynomial word-level verification of arithmetic circuits. | Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler |
| 2021 | Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. | Kelvin Anto, Partha S. Roop, Akshya K. Swain |
| 2020 | Verifying Absence of Hardware-Software Data Races using Counting Abstraction. | Tuba Yavuz |
| 2020 | Safe and efficient collision avoidance control for autonomous vehicles. | Qiang Wang, Dachuan Li, Joseph Sifakis |
| 2020 | Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays. | Dominik Walter, Michael Witterauf, Jrgen Teich |
| 2020 | Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. | Mariia Vasileva, Fedor Shmarov, Paolo Zuliani |
| 2020 | A Contrastive Plan Explanation Framework for Hybrid System Models. | Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee |
| 2020 | Security Types for Synchronous Data Flow Systems. | Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma |
| 2020 | Stately: An FSM Design Tool. | Jeremy Pope, Jules Saget, Carl-Johan H. Seger |
| 2020 | Cephalopode: A custom processor aimed at functional language execution for IoT devices. | Jeremy Pope, Jules Saget, Carl-Johan H. Seger |
| 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 | Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. | Nikhil Naik, Pierluigi Nuzzo |
| 2020 | CROME: Contract-Based Robotic Mission Specification. | Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider |
| 2020 | Bayesian Statistical Model Checking for Continuous Stochastic Logic. | Ratan Lal, Weikang Duan, Pavithra Prabhakar |
| 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 | Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. | Paula Herber, Timm Liebrenz |
| 2020 | Runtime Verification of Timed Properties in Autonomous Robots. | Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Flix Ingrand |
| 2020 | Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. | Marcelo Forets, Daniel Freire, Christian Schilling |
| 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 | Specification-guided Software Fault Localization for Autonomous Mobile Systems. | Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh |
| 2019 | Polyhedral fragments: an efficient representation for symbolically generating code for processor arrays. | Michael Witterauf, Frank Hannig, Jrgen Teich |