A software control flow checking technique in multi-core processors. - Mohammad Reza Heidari Iman; Pejman Yaghmaie (Int. J. Embed. Syst., 2020)

A Methodology for Automated Mining of Compact and Accurate Assertion Sets. - Mohammad Reza Heidari Iman; Jaan Raik; Maksim Jenihhin; Gert Jervan; Tara Ghasempouri (NorCAS, 2021)

Exploring Factors in a Crossroad Dataset Using Cluster-Based Association Rule Mining. - Mahtab Shahin; Mohammad Reza Heidari Iman; Minakshi Kaushik; Rahul Sharma 011; Tara Ghasempouri; Dirk Draheim (ANT/EDI40, 2022)

IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets. - Mohammad Reza Heidari Iman; Jaan Raik; Gert Jervan; Tara Ghasempouri (DSD, 2022)

Anomalous File System Activity Detection Through Temporal Association Rule Mining. - Mohammad Reza Heidari Iman; Pavel Chikul; Gert Jervan; Hayretdin Bahsi; Tara Ghasempouri (ICISSP, 2023)

An automated method for mining high-quality assertion sets. - Mohammad Reza Heidari Iman; Jaan Raik; Maksim Jenihhin; Gert Jervan; Tara Ghasempouri (Microprocess. Microsystems, 2023)

ARTmine: Automatic Association Rule Mining with Temporal Behavior for Hardware Verification. - Mohammad Reza Heidari Iman; Gert Jervan; Tara Ghasempouri (DATE, 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 (DATE, 2024)

Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification. - Hossein Rostami; Mostafa Hosseini; Ali Azarpeyvand; Mohammad Reza Heidari Iman; Tara Ghasempouri (IOLTS, 2024)

Processor Vulnerability Detection with the Aid of Assertions: RISC-V Case Study. - Mohammad Reza Heidari Iman; Sallar Ahmadi-Pour; Rolf Drechsler; Tara Ghasempouri (NorCAS, 2024)

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 (DATE, 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 (DDECS, 2025)

A Survey on Automatic Assertion Miners. - Mohammad Reza Heidari Iman; Giorgio Di Natale; Katell Morin-Allory (DDECS, 2025)