Searching - TalTech Research Portal

display

sort

1

book article EST / book article ENG

ADAssure : debugging methodology for autonomous driving control algorithmsRoberts, Andrew James; Heidari Iman, Mohammad Reza; Bellone, Mauro; Ghasempouri, Tara; Raik, Jaan; Maennel, Olaf Manuel; Hamad, Mohammad; Steinhorst, Sebastian2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings2024 / p. 1-6 https://doi.org/10.23919/DATE58400.2024.10546519 Journal metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 2

2

book article EST / book article ENG

ARTmine : automatic association rule mining with temporal behavior for hardware verificationHeidari Iman, Mohammad Reza; Jervan, Gert; Ghasempouri, Tara2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings2024 / p. 1-6 : ill https://ieeexplore.ieee.org/document/10546742 https://doi.org/10.23919/DATE58400.2024.10546742 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

3

journal article EST / journal article ENG

An automated method for mining high-quality assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jenihhin, Maksim; Jervan, Gert; Ghasempouri, TaraMicroprocessors and microsystems2023 / art. 104773 https://doi.org/10.1016/j.micpro.2023.104773 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

4

book article

Automatic high functional coverage stimuli generation for assertion-based verificationRostami, Hossein; Hosseini, Mostafa; Azarpeyvand, Ali; Heidari Iman, Mohammad Reza; Ghasempouri, TaraProceedings 2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design2024 / 7 p. : ill https://doi.org/10.1109/IOLTS60994.2024.10616069 Article at Scopus Article at WOS

book article

5

dissertation

Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseksHeidari Iman, Mohammad Reza2024 https://digikogu.taltech.ee/et/Item/622f3660-e890-454d-aa85-7cc505557f77 https://doi.org/10.23658/taltech.37/2024 https://www.ester.ee/record=b5694015*est

dissertation

Related publications 5

6

journal article EST / journal article ENG

Exploring factors in a crossroad dataset using cluster-based association rule miningShahin, Mahtab; Heidari Iman, Mohammad Reza; Kaushik, Minakshi; Sharma, Rahul; Ghasempouri, Tara; Draheim, DirkProcedia computer science2022 / p. 231-238 : ill https://doi.org/10.1016/j.procs.2022.03.032 Conference proceeding at Scopus Article at Scopus

journal article EST / journal article ENG

Related publications 1

Efficient and effective association rule mining on big data and cloud technology : a multifaceted analysis = Tõhus ja efektiivne assotsiatsioonireeglite kaevandamine suurandmetel ja pilvetehnoloogial : mitmekülgne analüüs

7

book article

IMMizer : an innovative cost-effective method for minimizing assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jervan, Gert; Ghasempouri, Tara2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings2022 / p. 671 - 678 https://doi.org/10.1109/DSD57027.2022.00095 Article at Scopus Article at WOS

book article

Related publications 1

Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

8

book article

A methodology for automated mining of compact and accurate assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jenihhin, Maksim; Jervan, Gert; Ghasempouri, Tara2021 IEEE Nordic Circuits and Systems Conference (NorCAS) : Oslo, Norway, October 26-272021 / 7 p. : ill https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9599865 https://doi.org/10.1109/NorCAS53631.2021.9599865

book article

9

journal article

Processor vulnerability detection with the aid of assertions : RISC-V case studyHeidari Iman, Mohammad Reza; Ahmadi-Pour, Sallar; Drechsler, Rolf; Ghasempouri, Taratechrxiv.org2024 / p. 1-8 : ill https://doi.org/10.36227/techrxiv.172101134.45466090/v1

journal article

Related publications 1

Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

10

book article

Processor vulnerability detection with the aid of assertions : RISC-V case studyHeidari Iman, Mohammad Reza; Ahmadi-Pour, Sallar; Drechsler, Rolf; Ghasempouri, Tara2024 IEEE Nordic Circuits and Systems Conference, NORCAS 2024 - Proceedings2024 / 7 p. https:/doi.org/10.1109/NorCAS64408.2024.10752460 Article at Scopus Article at WOS

book article

11

book article EST / book article ENG

Significant factors extraction : a combined logistic regression and apriori association rule mining approachShahin, Mahtab; Burtl, Markus; Heidari Iman, Mohammad Reza; Ghasempouri, Tara; Sharma, Rahul; Shah, Syed Attique; Draheim, DirkMachine Learning Methods in Systems : proceedings of 13th Computer Science On-line Conference 2024 ; Vol. 42024 / p. 295-311 https://link.springer.com/book/9783031705946 https://doi.org/10.1007/978-3-031-70595-3_30 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Efficient and effective association rule mining on big data and cloud technology : a multifaceted analysis = Tõhus ja efektiivne assotsiatsioonireeglite kaevandamine suurandmetel ja pilvetehnoloogial : mitmekülgne analüüs

12

book article EST / book article ENG

Special session paper: Application of functional verification techniques in hardware trustHeidari Iman, Mohammad Reza; Drechsler, Rolf; Jha, Chandan Kumar; Azarpeyvand, Ali; Ghasempouri, Tara; Imtiaz, Sharjeel; Raik, Jaan; Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano; Di Natale, Giorgio2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)2025 / 8 p. : ill https://ieeexplore.ieee.org/document/11257462 https://doi.org/10.1109/DFT66274.2025.11257462 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Heidari Iman, Mohammad Reza (author)

types of item

author 17

CV 7

name of the person 1