| 2023 | 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023 Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt, Qi Zhu |
| 2023 | Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures. Anoop Bhagyanath, Nadine Kercher, Klaus Schneider |
| 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 | Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee |
| 2023 | Formal Verification of Security Properties on RISC-V Processors. Czea Sie Chuah, Christian Appold, Tim Leinmüller |
| 2023 | Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules. Peitian Pan, Christopher Batten |
| 2023 | Harnessing Multiple BMC Engines Together for Efficient Formal Verification. Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee |
| 2023 | Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers. Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jürgen Teich |
| 2023 | Model Checking Time Window Temporal Logic for Hyperproperties. Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2023 | Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification. Rolf Drechsler, Martha Schnieber |
| 2023 | Polynomial Formal Verification of KFDD Circuits. Martha Schnieber, Rolf Drechsler |
| 2023 | QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. Ernest Bonnah, Khaza Anuarul Hoque |
| 2023 | Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee |
| 2023 | Robust Testing for Cyber-Physical Systems using Reinforcement Learning. Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best |
| 2023 | Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. Pauline Blohm, Julius Adelt, Paula Herber |
| 2023 | Scalable Actor Networks with CAL. Gareth Callanan, Flavius Gruian |
| 2023 | Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages. Peitian Pan, Shunning Jiang, Yanghui Ou, Christopher Batten |
| 2023 | Timestamp Peripherals for Precise Real-Time Programming. John Hui, Kyle J. Edwards, Stephen A. Edwards |
| 2023 | Towards a Basis for Endochronous Functions in Dataflow Process Networks. Daniel Theis, Klaus Schneider |