| 2025 | Formal Analysis of Fault Propagation in Complex Digital Systems. | Damiano Zuccal, Samuel Hon, Mohammad Reza Heidari Iman, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory |
| 2025 | Formal Design of Safety-critical Embedded Systems. | Naijun Zhan |
| 2025 | Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition. | Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli |
| 2025 | Contract-based Component Selection Using Behaviors. | Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli |
| 2025 | Coherence-Aware Task Graph Modeling for Realistic Application. | Guochu Xiong, Xiangzhong Luo, Weichen Liu |
| 2025 | Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks. | Steph Wu, Nathan Allen, Alex Baird, Hammond Pearce, Partha S. Roop |
| 2025 | Formal Methods for Cryogenic Cyber Physical Systems (CCPS). | Duleepa J. Thrimawithana, Partha S. Roop, Sobhan Chatterjee, Maryam Hemmati |
| 2025 | Tuning into my heart through wearables: Towards a formal cardiac digital twin. | Partha S. Roop, Nathan Allen, Shahab Kazemi |
| 2025 | Optimal Real-time Inter-zone Message Communication via Ethernet Backbone in Software Defined Vehicles. | Ashiqur Rahaman Molla, Ram Mohan Chowdary Kota, Jaishree Mayank, Arnab Sarkar, Arijit Mondal, Soumyajit Dey |
| 2025 | Efficient compilation and execution of synchronous programs via type-state programming. | Avinash Malik |
| 2025 | Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq. | Benjamin Lion, David Nowak |
| 2025 | Optimising the Scheduling of System Level Logical Execution Time Systems. | Jamie Lee, Nathan Allen, Matthew M. Y. Kuo, Eugene Yip |
| 2025 | Distributed computing on bittide systems. | Sanjay Lall |
| 2025 | Compositional training for Safe AI-based Cyber-Physical Systems. | Sobhan Chatterjee, Saumya Shankar, Partha S. Roop |
| 2025 | Hyperproperty-Constrained Secure Reinforcement Learning. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2025 | Automated Power Domain Insertion and Control in Dataflow Circuits. | Martha Barker, Mark Santolucito, Stephen A. Edwards, Martha A. Kim |
| 2024 | Formal Fault Injection in Digital Blocks with Mined Assertions. | Damiano Zuccal, Paul Breuil, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory |
| 2024 | Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS. | Kurt M. Wilson, Abdullah Al Arafat, John W. Baugh Jr., Ruozhou Yu, Zhishan Guo |
| 2024 | Pragmatic Action Charts. | Steven Smyth |
| 2024 | Logical Synchrony Plus Functional Processes Entail Observable Determinacy. | Sanjiva Prasad |
| 2024 | Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems. | Apala Pramanik, Sung Woo Choi, Yuntao Li, Luan Viet Nguyen, Kyungki Kim, Hoang-Dung Tran |
| 2024 | Higher-order Hardware: Implementation and Evaluation of the Cephalopode Graph Reduction Processor. | Jeremy Pope, Carl-Johan H. Seger, Henrik Valter |
| 2024 | Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. | Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong |
| 2024 | Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm. | Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala |
| 2024 | Self-Powering Dataflow Networks - Concepts and Implementation. | Abrarul Karim, Joachim Falk, Dennis Schmidt, Jrgen Teich |