Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Heidari Iman, Mohammad Reza (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
8
Vaata veel..
(2/17)
Ekspordi
ekspordi kõik päringu tulemused
(8)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
ADAssure : debugging methodology for autonomous driving control algorithms
Roberts, Andrew
;
Heidari Iman, Mohammad Reza
;
Bellone, Mauro
;
Ghasempouri, Tara
;
Raik, Jaan
;
Maennel, Olaf Manuel
;
Hamad, Mohammad
;
Steinhorst, Sebastian
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : proceedings
2024
/
p. 1-6
https://ieeexplore.ieee.org/document/10546519
artikkel kogumikus
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
2
artikkel kogumikus
ARTmine : automatic association rule mining with temporal behavior for hardware verification
Heidari Iman, Mohammad Reza
;
Jervan, Gert
;
Ghasempouri, Tara
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings
2024
/
p. 1-6 : ill
https://ieeexplore.ieee.org/document/10546742
artikkel kogumikus
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
An automated method for mining high-quality assertion sets
Heidari Iman, Mohammad Reza
;
Raik, Jaan
;
Jenihhin, Maksim
;
Jervan, Gert
;
Ghasempouri, Tara
Microprocessors and microsystems
2023
/
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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
4
dissertatsioon
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
Heidari Iman, Mohammad Reza
2024
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
dissertatsioon
Seotud publikatsioonid
5
An automated method for mining high-quality assertion sets
IMMizer : an innovative cost-effective method for minimizing assertion sets
Processor vulnerability detection with the aid of assertions : RISC-V case study
ADAssure : debugging methodology for autonomous driving control algorithms
ARTmine : automatic association rule mining with temporal behavior for hardware verification
5
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Exploring factors in a crossroad dataset using cluster-based association rule mining
Shahin, Mahtab
;
Heidari Iman, Mohammad Reza
;
Kaushik, Minakshi
;
Sharma, Rahul
;
Ghasempouri, Tara
;
Draheim, Dirk
Procedia Computer Science : The 13th International Conference on Ambient Systems, Networks and Technologies (ANT) / The 5th International Conference on Emerging Data and Industry 4.0 (EDI40)
2022
/
p. 231-238 : ill
https://doi.org/10.1016/j.procs.2022.03.032
Conference Proceedings at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
6
artikkel kogumikus
IMMizer : an innovative cost-effective method for minimizing assertion sets
Heidari Iman, Mohammad Reza
;
Raik, Jaan
;
Jervan, Gert
;
Ghasempouri, Tara
2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings
2022
/
p. 671 - 678
https://doi.org/10.1109/DSD57027.2022.00095
Article at Scopus
Article at WOS
artikkel kogumikus
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
7
artikkel kogumikus
A methodology for automated mining of compact and accurate assertion sets
Heidari Iman, Mohammad Reza
;
Raik, Jaan
;
Jenihhin, Maksim
;
Jervan, Gert
;
Ghasempouri, Tara
2021 IEEE Nordic Circuits and Systems Conference (NorCAS) : Oslo, Norway, October 26-27
2021
/
7 p. : ill
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9599865
https://doi.org/10.1109/NorCAS53631.2021.9599865
artikkel kogumikus
8
artikkel ajakirjas
Processor vulnerability detection with the aid of assertions : RISC-V case study
Heidari Iman, Mohammad Reza
;
Ahmadi-Pour, Sallar
;
Drechsler, Rolf
;
Ghasempouri, Tara
techrxiv.org
2024
/
p. 1-8 : ill
https://doi.org/10.36227/techrxiv.172101134.45466090/v1
artikkel ajakirjas
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
Kirjeid leitud 8, kuvan
1 - 8
autor
11
1.
Heidari Iman, Mohammad Reza
2.
Salamatian, Mohammad Reza Kave
3.
Ahmadian, Iman
4.
Dadras, Iman
5.
Heidari, Hamidreza
6.
Akbari, Reza
7.
Barzegarkhoo, Reza
8.
Farabi, Reza
9.
Khayat Kashani, Hamid Reza
10.
Khosravani, Reza
11.
Moezzi, Reza
CV
6
1.
Heidari Iman, Mohammad Reza 1990
2.
Heidari Iman, Mohammadreza
3.
Heidari Iman, Mohammadreza 1990
4.
Habibi, Mohammad Reza
5.
Salamatian, Mohammad Reza Kavé
6.
Heidari, Hamidreza 1989
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT