Mohammad Reza Heidari Iman

According to our database1, Mohammad Reza Heidari Iman authored at least 9 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification.
Proceedings of the 30th IEEE International Symposium on On-Line Testing and Robust System Design, 2024

ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

ARTmine: Automatic Association Rule Mining with Temporal Behavior for Hardware Verification.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023
An automated method for mining high-quality assertion sets.
Microprocess. Microsystems, March, 2023

Anomalous File System Activity Detection Through Temporal Association Rule Mining.
Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

2022
IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets.
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Exploring Factors in a Crossroad Dataset Using Cluster-Based Association Rule Mining.
Proceedings of the 13th International Conference on Ambient Systems, 2022

2021
A Methodology for Automated Mining of Compact and Accurate Assertion Sets.
Proceedings of the IEEE Nordic Circuits and Systems Conference, NorCAS 2021, Oslo, 2021

2020
A software control flow checking technique in multi-core processors.
Int. J. Embed. Syst., 2020


  Loading...