Mohammad Reza Heidari Iman

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

Collaborative distances:

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

2026

Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions.

Mohammad Reza Heidari Iman, Giorgio Di Natale, Katell Morin-Allory

CoRR, January, 2026

2025

Formal Analysis of Fault Propagation in Complex Digital Systems.

Damiano Zuccalà, Samuel Hon, Mohammad Reza Heidari Iman, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

A Fuzzy Logic-Based System for Detecting Trustable Physical Unclonable Functions.

Mohammad Reza Heidari Iman, Sergio Vinagrero Gutierrez, Elena-Ioana Vatajelu, Giorgio Di Natale

Proceedings of the 31st IEEE International Symposium on On-Line Testing and Robust System Design, 2025

Special Session Paper: Application of Functional Verification Techniques in Hardware Trust.

Mohammad Reza Heidari Iman, Rolf Drechsler, Chandan Kumar Jha, Ali Azarpeyvand, Tara Ghasempouri, Sharjeel Imtiaz, Jaan Raik, Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli, Giorgio Di Natale

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2025

A Survey on Automatic Assertion Miners.

Mohammad Reza Heidari Iman, Giorgio Di Natale, Katell Morin-Allory

Proceedings of the 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2025

An Innovative Data Mining Technique for Automatic Anomaly Detection in Physical Unclonable Functions.

Mohammad Reza Heidari Iman, Sergio Vinagrero Gutierrez, Elena-Ioana Vatajelu, Giorgio Di Natale

Proceedings of the 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2025

Late Breaking Results: Automatic Anomaly Detection Method in Physical Unclonable Functions using Data Mining Techniques.

Mohammad Reza Heidari Iman, Sergio Vinagrero Gutierrez, Elena-Ioana Vatajelu, Giorgio Di Natale

Proceedings of the Design, Automation & Test in Europe Conference, 2025

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