| 2024 | 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024 |
| 2024 | Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2024 | Efficient Coordination for Distributed Discrete-Event Systems. Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim |
| 2024 | Exploring Compositional Neural Networks for Real-Time Systems. Sobhan Chatterjee, Nathan Allen, Nitish D. Patel, Partha S. Roop |
| 2024 | Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL Bassem Ghorbel, Vinayak S. Prabhu |
| 2024 | Formal Fault Injection in Digital Blocks with Mined Assertions. Damiano Zuccalà, Paul Breuil, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory |
| 2024 | Higher-order Hardware: Implementation and Evaluation of the Cephalopode Graph Reduction Processor. Jeremy Pope, Carl-Johan H. Seger, Henrik Valter |
| 2024 | Logical Synchrony Plus Functional Processes Entail Observable Determinacy. Sanjiva Prasad |
| 2024 | MaLT: Machine-Learning-Guided Test Case Design and Fault Localization of Complex Software Systems. Yi Ji, Simon Mak, Ryan Lekivetz, Joseph Morgan |
| 2024 | Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong |
| 2024 | Modelling and proving the monotonicity of processor pipelines in Coq. Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange |
| 2024 | Neuro-symbolic Generative AI Assistant for System Design. Susmit Jha, Sumit Kumar Jha, Alvaro Velasquez |
| 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 | Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS. Kurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Zhishan Guo |
| 2024 | Pragmatic Action Charts. Steven Smyth |
| 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 |
| 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, Jürgen Teich |