| 2024 | Efficient Coordination for Distributed Discrete-Event Systems. | Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim |
| 2024 | MaLT: Machine-Learning-Guided Test Case Design and Fault Localization of Complex Software Systems. | Yi Ji, Simon Mak, Ryan Lekivetz, Joseph Morgan |
| 2024 | Neuro-symbolic Generative AI Assistant for System Design. | Susmit Jha, Sumit Kumar Jha, Alvaro Velasquez |
| 2024 | Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. | Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2024 | Modelling and proving the monotonicity of processor pipelines in Coq. | Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange |
| 2024 | Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL | Bassem Ghorbel, Vinayak S. Prabhu |
| 2024 | Exploring Compositional Neural Networks for Real-Time Systems. | Sobhan Chatterjee, Nathan Allen, Nitish D. Patel, Partha S. Roop |
| 2024 | Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. | Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh |
| 2023 | Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
| 2023 | Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
| 2023 | Towards a Basis for Endochronous Functions in Dataflow Process Networks. | Daniel Theis, Klaus Schneider |
| 2023 | Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers. | Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jrgen Teich |
| 2023 | Polynomial Formal Verification of KFDD Circuits. | Martha Schnieber, Rolf Drechsler |
| 2023 | Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. | Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee |
| 2023 | Robust Testing for Cyber-Physical Systems using Reinforcement Learning. | Xin Qin, Nikos Archiga, Jyotirmoy Deshmukh, Andrew Best |
| 2023 | Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages. | Peitian Pan, Shunning Jiang, Yanghui Ou, Christopher Batten |
| 2023 | Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules. | Peitian Pan, Christopher Batten |
| 2023 | Timestamp Peripherals for Precise Real-Time Programming. | John Hui, Kyle J. Edwards, Stephen A. Edwards |
| 2023 | Harnessing Multiple BMC Engines Together for Efficient Formal Verification. | Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee |
| 2023 | Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification. | Rolf Drechsler, Martha Schnieber |
| 2023 | Formal Verification of Security Properties on RISC-V Processors. | Czea Sie Chuah, Christian Appold, Tim Leinmller |
| 2023 | Scalable Actor Networks with CAL. | Gareth Callanan, Flavius Gruian |
| 2023 | Model Checking Time Window Temporal Logic for Hyperproperties. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2023 | QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. | Ernest Bonnah, Khaza Anuarul Hoque |
| 2023 | Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. | Pauline Blohm, Julius Adelt, Paula Herber |