![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
21st MEMOCODE 2023: Hamburg, Germany
- Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt, Qi Zhu:
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023. ACM / IEEE 2023, ISBN 979-8-4007-0318-8 - 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. 1-11 - Pauline Blohm, Julius Adelt, Paula Herber:
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. 12-22 - Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jürgen Teich:
Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers. 23-35 - Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best:
Robust Testing for Cyber-Physical Systems using Reinforcement Learning. 36-46 - Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee:
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. 47-58 - Anoop Bhagyanath, Nadine Kercher, Klaus Schneider:
Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures. 59-70 - Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee:
Harnessing Multiple BMC Engines Together for Efficient Formal Verification. 71-81 - Martha Schnieber, Rolf Drechsler:
Polynomial Formal Verification of KFDD Circuits. 82-89 - Ernest Bonnah, Khaza Anuarul Hoque:
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. 90-99 - Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque:
Model Checking Time Window Temporal Logic for Hyperproperties. 100-110 - Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. 111-121 - Rolf Drechsler, Martha Schnieber:
Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification. 122-125 - Peitian Pan, Shunning Jiang, Yanghui Ou, Christopher Batten:
Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages. 126-136 - John Hui, Kyle J. Edwards, Stephen A. Edwards:
Timestamp Peripherals for Precise Real-Time Programming. 137-147 - Peitian Pan, Christopher Batten:
Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules. 148-158 - Czea Sie Chuah, Christian Appold, Tim Leinmüller:
Formal Verification of Security Properties on RISC-V Processors. 159-168 - Gareth Callanan, Flavius Gruian:
Scalable Actor Networks with CAL. 169-179 - Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. 180-190 - Daniel Theis, Klaus Schneider:
Towards a Basis for Endochronous Functions in Dataflow Process Networks. 191-194
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.