Mohammad Reza Heidari Iman

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Processor Vulnerability Detection with the Aid of Assertions: RISC-V Case Study.

Mohammad Reza Heidari Iman, Sallar Ahmadi-Pour, Rolf Drechsler, Tara Ghasempouri

Proceedings of the 2024 IEEE Nordic Circuits and Systems Conference (NorCAS), 2024

Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification.

Hossein Rostami, Mostafa Hosseini, Ali Azarpeyvand, Mohammad Reza Heidari Iman, Tara Ghasempouri

Proceedings of the 30th IEEE International Symposium on On-Line Testing and Robust System Design, 2024

ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms.

Andrew Roberts, Mohammad Reza Heidari Iman, Mauro Bellone, Tara Ghasempouri, Jaan Raik, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

ARTmine: Automatic Association Rule Mining with Temporal Behavior for Hardware Verification.

Mohammad Reza Heidari Iman, Gert Jervan, Tara Ghasempouri

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

An automated method for mining high-quality assertion sets.

Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri

Microprocess. Microsystems, March, 2023

Anomalous File System Activity Detection Through Temporal Association Rule Mining.

Mohammad Reza Heidari Iman, Pavel Chikul, Gert Jervan, Hayretdin Bahsi, Tara Ghasempouri

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

2022

IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets.

Mohammad Reza Heidari Iman, Jaan Raik, Gert Jervan, Tara Ghasempouri

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Exploring Factors in a Crossroad Dataset Using Cluster-Based Association Rule Mining.

Mahtab Shahin, Mohammad Reza Heidari Iman, Minakshi Kaushik, Rahul Sharma, Tara Ghasempouri, Dirk Draheim

Proceedings of the 13th International Conference on Ambient Systems, 2022

2021

A Methodology for Automated Mining of Compact and Accurate Assertion Sets.

Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri

Proceedings of the IEEE Nordic Circuits and Systems Conference, NorCAS 2021, Oslo, 2021

2020

A software control flow checking technique in multi-core processors.

Mohammad Reza Heidari Iman, Pejman Yaghmaie

Int. J. Embed. Syst., 2020