Mohammad Reza Heidari Iman

17 papers A 3C 7Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions.
CoRR
Mohammad Reza Heidari Iman, Giorgio Di Natale, Katell Morin-Allory
2025 C conf
A Fuzzy Logic-Based System for Detecting Trustable Physical Unclonable Functions.
IOLTS
Mohammad Reza Heidari Iman, Sergio Vinagrero Gutierrez, Elena-Ioana Vatajelu, Giorgio Di Natale
2025 C conf
A Survey on Automatic Assertion Miners.
DDECS
Mohammad Reza Heidari Iman, Giorgio Di Natale, Katell Morin-Allory
2025 C conf
An Innovative Data Mining Technique for Automatic Anomaly Detection in Physical Unclonable Functions.
DDECS
Mohammad Reza Heidari Iman, Sergio Vinagrero Gutierrez, Elena-Ioana Vatajelu, Giorgio Di Natale
2025 C conf
Formal Analysis of Fault Propagation in Complex Digital Systems.
MEMOCODE
Damiano Zuccalà, Samuel Hon, Mohammad Reza Heidari Iman, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory
2025 A conf
Late Breaking Results: Automatic Anomaly Detection Method in Physical Unclonable Functions using Data Mining Techniques.
DATE
Mohammad Reza Heidari Iman, Sergio Vinagrero Gutierrez, Elena-Ioana Vatajelu, Giorgio Di Natale
2025 — conf
Special Session Paper: Application of Functional Verification Techniques in Hardware Trust.
DFT
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
2024 A conf
ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms.
DATE
Andrew Roberts, Mohammad Reza Heidari Iman, Mauro Bellone, Tara Ghasempouri, Jaan Raik, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst
2024 A conf
ARTmine: Automatic Association Rule Mining with Temporal Behavior for Hardware Verification.
DATE
Mohammad Reza Heidari Iman, Gert Jervan, Tara Ghasempouri
2024 C conf
Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification.
IOLTS
Hossein Rostami, Mostafa Hosseini, Ali Azarpeyvand, Mohammad Reza Heidari Iman, Tara Ghasempouri
2024 — conf
Processor Vulnerability Detection with the Aid of Assertions: RISC-V Case Study.
NorCAS
Mohammad Reza Heidari Iman, Sallar Ahmadi-Pour, Rolf Drechsler, Tara Ghasempouri
2023 J jnl
An automated method for mining high-quality assertion sets.
Microprocess. Microsystems
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
2023 C conf
Anomalous File System Activity Detection Through Temporal Association Rule Mining.
ICISSP
Mohammad Reza Heidari Iman, Pavel Chikul, Gert Jervan, Hayretdin Bahsi, Tara Ghasempouri
2022 — conf
Exploring Factors in a Crossroad Dataset Using Cluster-Based Association Rule Mining.
ANT/EDI40
Mahtab Shahin, Mohammad Reza Heidari Iman, Minakshi Kaushik, Rahul Sharma, Tara Ghasempouri, Dirk Draheim
2022 C conf
IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets.
DSD
Mohammad Reza Heidari Iman, Jaan Raik, Gert Jervan, Tara Ghasempouri
2021 — conf
A Methodology for Automated Mining of Compact and Accurate Assertion Sets.
NorCAS
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
2020 J jnl
A software control flow checking technique in multi-core processors.
Int. J. Embed. Syst.
Mohammad Reza Heidari Iman, Pejman Yaghmaie