MEMOCODE

Publications

2023

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

2022

2021