| 2025 | Automated Power Domain Insertion and Control in Dataflow Circuits. Martha Barker, Mark Santolucito, Stephen A. Edwards, Martha A. Kim |
| 2025 | Coherence-Aware Task Graph Modeling for Realistic Application. Guochu Xiong, Xiangzhong Luo, Weichen Liu |
| 2025 | Compositional training for Safe AI-based Cyber-Physical Systems. Sobhan Chatterjee, Saumya Shankar, Partha S. Roop |
| 2025 | Contract-based Component Selection Using Behaviors. Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli |
| 2025 | Distributed computing on bittide systems. Sanjay Lall |
| 2025 | Efficient compilation and execution of synchronous programs via type-state programming. Avinash Malik |
| 2025 | Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition. Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli |
| 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 | Formal Methods for Cryogenic Cyber Physical Systems (CCPS). Duleepa J. Thrimawithana, Partha S. Roop, Sobhan Chatterjee, Maryam Hemmati |
| 2025 | Hyperproperty-Constrained Secure Reinforcement Learning. Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 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 | 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 | Optimising the Scheduling of System Level Logical Execution Time Systems. Jamie Lee, Nathan Allen, Matthew M. Y. Kuo, Eugene Yip |
| 2025 | Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025 |
| 2025 | Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq. Benjamin Lion, David Nowak |
| 2025 | Tuning into my heart through wearables: Towards a formal cardiac digital twin. Partha S. Roop, Nathan Allen, Shahab Kazemi |