Mohammad Reza Heidari Iman

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Top Venues

Int. J. Embed. Syst.

Publications

Mohammad Reza Heidari Iman, Gert Jervan, Tara Ghasempouri
ARTmine: Automatic Association Rule Mining with Temporal Behavior for Hardware Verification. DATE (2024)
Andrew Roberts, Mohammad Reza Heidari Iman, Mauro Bellone, Tara Ghasempouri, Jaan Raik, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst
ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms. DATE (2024)
Hossein Rostami, Mostafa Hosseini, Ali Azarpeyvand, Mohammad Reza Heidari Iman, Tara Ghasempouri
Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification. IOLTS (2024)
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
An automated method for mining high-quality assertion sets. Microprocess. Microsystems 97 (2023)
Mohammad Reza Heidari Iman, Pavel Chikul, Gert Jervan, Hayretdin Bahsi, Tara Ghasempouri
Anomalous File System Activity Detection Through Temporal Association Rule Mining. ICISSP (2023)
Mahtab Shahin, Mohammad Reza Heidari Iman, Minakshi Kaushik, Rahul Sharma, Tara Ghasempouri, Dirk Draheim
Exploring Factors in a Crossroad Dataset Using Cluster-Based Association Rule Mining. ANT/EDI40 (2022)
Mohammad Reza Heidari Iman, Jaan Raik, Gert Jervan, Tara Ghasempouri
IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets. DSD (2022)
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
A Methodology for Automated Mining of Compact and Accurate Assertion Sets. NorCAS (2021)
Mohammad Reza Heidari Iman, Pejman Yaghmaie
A software control flow checking technique in multi-core processors. Int. J. Embed. Syst. 13 (2) (2020)