Fast validation of DRAM protocols with timed petri nets-Reference-Cited by-同舟云学术

Fast validation of DRAM protocols with timed petri nets

Published:2019-09-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the International Symposium on Memory Systems
language:
Short-container-title:

Author:

Jung Matthias¹,Kraft Kira²,Soliman Taha²,Sudarshan Chirag²,Weis Christian²,Wehn Norbert²

Affiliation:

1. Fraunhofer Institute for Experimental Software Engineering (IESE), Kaiserslautern, Germany

2. TU Kaiserslautern, Kaiserslautern, Germany

Funder

Deutsche Forschungsgemeinschaft

Fraunhofer-Gesellschaft

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3357526.3357556

Reference39 articles.

1. Comments on capabilities, limitations and “correctness” of Petri nets

2. Some decision problems related to the reachability problem for Petri nets

3. Modeling and verification of time dependent systems using time Petri nets

4. The gem5 simulator

5. Karthik Chandrasekar Christian Weis Yonghui Li Benny Akesson Omar Naji Matthias Jung Norbert Wehn and Kees Goossens. Last Access 15.08.2019. DRAMPower: Open-source DRAM power & energy estimation tool. http://www.drampower.info. (Last Access 15.08.2019). Karthik Chandrasekar Christian Weis Yonghui Li Benny Akesson Omar Naji Matthias Jung Norbert Wehn and Kees Goossens. Last Access 15.08.2019. DRAMPower: Open-source DRAM power & energy estimation tool. http://www.drampower.info. (Last Access 15.08.2019).

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A formal framework to design and prove trustworthy memory controllers;Real-Time Systems;2023-11-14

2. A Framework for Formal Verification of DRAM Controllers;Proceedings of the 2022 International Symposium on Memory Systems;2022-10-03

3. A Coq Framework for More Trustworthy DRAM Controllers;Proceedings of the 30th International Conference on Real-Time Networks and Systems;2022-06-07

4. DRAMSys4.0: An Open-Source Simulation Framework for In-depth DRAM Analyses;International Journal of Parallel Programming;2022-03-12

5. DRAMSys4.0: A Fast and Cycle-Accurate SystemC/TLM-Based DRAM Simulator;Lecture Notes in Computer Science;2020