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
Ghasempouri, Tara (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
25
Vaata veel..
(3/8)
Ekspordi
ekspordi kõik päringu tulemused
(25)
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
Adjustable self-healing methodology for accelerated functions in heterogeneous systems
Riazati, Mohammad
;
Ghasempouri, Tara
;
Daneshtalab, Masoud
;
Raik, Jaan
;
Sjodin, Mikael
;
Lisper, Bjorn
2020 23rd Euromicro Conference on Digital System Design (DSD), 26-28 August 2020, Kranj, Slovenia
2020
/
p. 638-645
https://doi.org/10.1109/DSD51259.2020.00104
artikkel kogumikus
3
artikkel kogumikus
An automatic approach to evaluate assertions' quality based on data-mining metrics
Ghasempouri, Tara
;
Niazmand, Behrad
;
Raik, Jaan
Proceedings 2nd IEEE International Test Conference in Asia : ITC-Asia 2018, 15-17 August 2018, Harbin, China
2018
/
p. 61-66 : ill
https://doi.org/10.1109/ITC-Asia.2018.00021
artikkel kogumikus
4
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
5
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
6
artikkel kogumikus
CLD : an accurate, cost-effective and scalable run-time Cache Leakage Detector
Shalabi, Ameer
;
Ghasempouri, Tara
;
Ellervee, Peeter
;
Raik, Jaan
2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) : Vienna, Austria, 07-09 April 2021
2021
/
p. 127-132 : ill
https://doi.org/10.1109/DDECS52668.2021.9417071
artikkel kogumikus
7
dissertatsioon
Cost-effective concurrent hardware checkers for network on chip based system on chip = Kulutõhusad süsteemiga paralleelsed rikkemonitorid kiipvõrkudel põhinevatele kiipsüsteemidele
Hariharan, Ranganathan
2019
https://digi.lib.ttu.ee/i/?12854
https://www.ester.ee/record=b5243161*est
dissertatsioon
8
artikkel kogumikus
Design understanding : from logic to specification
Fey, Goerschwin
;
Ghasempouri, Tara
;
Jacobs, Swen
;
Raik, Jaan
Proceedings of the 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) : October 8-10, 2018, Verona, Italy
2018
/
p. 172–175 : ill
https://doi.org/10.1109/VLSI-SoC.2018.8644732
artikkel kogumikus
9
artikkel kogumikus
Engineering of an effective automatic dynamic assertion mining platform
Ghasempouri, Tara
;
Malburg, Jan
;
Danese, Alessandro
;
Pravadelli, Graziano
;
Fey, Goerschwin
;
Raik, Jaan
VLSI-SoC 2019 : 27th IFIP/IEEE International Conference on Very Large Scale Integration : [proceedings]
2019
/
p. 111-116 : ill
https://doi.org/10.1109/VLSI-SoC.2019.8920331
artikkel kogumikus
10
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
11
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
12
artikkel kogumikus
From RTL liveness assertions to cost-effective hardware checkers
Hariharan, Ranganathan
;
Ghasempouri, Tara
;
Niazmand, Behrad
;
Raik, Jaan
XXXIII Conference on Design of Circuits and Integrated Systems (DCIS) : proceedings
2018
/
6 p. : ill
https://doi.org/10.1109/DCIS.2018.8681487
artikkel kogumikus
13
artikkel kogumikus
A hierarchical approach for devising area efficient concurrent online checkers
Niazmand, Behrad
;
Azad, Siavoosh Payandeh
;
Ghasempouri, Tara
;
Raik, Jaan
;
Jervan, Gert
Proceedings 2nd IEEE International Test Conference in Asia : ITC-Asia 2018, 15-17 August 2018, Harbin, China
2018
/
p. 139-144 : ill
https://doi.org/10.1109/ITC-Asia.2018.00034
artikkel kogumikus
14
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
15
artikkel kogumikus
LiD-CAT: A lightweight detector for cache ATtacks
Reinbrecht, Cezar
;
Hamdioui, Said
;
Taouil, Mottaqiallah
;
Niazmand, Behrad
;
Ghasempouri, Tara
;
Raik, Jaan
;
Sepulveda, Johanna
2020 IEEE European Test Symposium (ETS) : ETS 2020, May 25-29, 2020 Tallinn, Estonia : proceedings
2020
/
6 p. : ill
https://doi.org/10.1109/ETS48528.2020.9131603
artikkel kogumikus
16
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
17
artikkel kogumikus
NV-SP: A new high performance and low energy NVM-Based scratch pad
Shalabi, Ameer
;
Paul, Kolin
;
Ghasempouri, Tara
;
Raik, Jaan
2020 IEEE Computer Society Annual Symposiumon VLSI : ISVLSI 2020, 6–8 July 2020, Limassol, Cyprus
2020
/
art. 19876866, p. 54−59
https://doi.org/10.1109/ISVLSI49217.2020.00020
artikkel kogumikus
18
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
19
artikkel kogumikus
Reusing verification assertions as security checkers for Hardware Trojan detection
Eslami, Mohammad
;
Ghasempouri, Tara
;
Pagliarini, Samuel Nascimento
2022 23rd International Symposium on Quality Electronic Design (ISQED), Santa Clara, CA, USA : 06-07 April 2022
2022
/
p. 1-6 : ill
https://doi.org/10.1109/ISQED54688.2022.9806292
artikkel kogumikus
20
artikkel kogumikus
RTL assertion mining with automated RTL-to-TLM abstraction
Ghasempouri, Tara
;
Danese, Alessandro
;
Pravadelli, Graziano
;
Bombieri, Nicola
;
Raik, Jaan
Proceedings of the 2019 Forum on specification & Design Languages (FDL)
2019
/
8 p. : ill
https://doi.org/10.1109/FDL.2019.8876941
artikkel kogumikus
21
artikkel kogumikus
SCAAT: Secure cache alternative address table for mitigating cache logical side-channel attacks
Shalabi, Ameer
;
Ghasempouri, Tara
;
Ellervee, Peeter
;
Raik, Jaan
2020 23rd Euromicro Conference on Digital System Design (DSD), 26-28 August 2020, Kranj, Slovenia
2020
/
art, 20035366, p. 213−217
https://doi.org/10.1109/DSD51259.2020.00043
artikkel kogumikus
22
artikkel kogumikus
A security verification template to assess cache architecture vulnerabilities
Ghasempouri, Tara
;
Raik, Jaan
;
Paul, Kolin
;
Reinbrecht, Cezar
;
Hamdioui, Said
;
Taouil, M.
2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), April 22nd – 24th 2020 Novi Sad, Serbia : Proceedings
2020
/
art. 9095707, 6 p
https://doi.org/10.1109/DDECS50862.2020.9095707
artikkel kogumikus
23
artikkel kogumikus
Towards multidimensional verification : where functional meets non-functional
Jenihhin, Maksim
;
Lai, Xinhui
;
Ghasempouri, Tara
;
Raik, Jaan
2018 IEEE Nordic Circuits and Systems Conference (NORCAS) : NORCHIP and International Symposium of System-on-Chip (SoC) : 30-31 October 2018, Tallinn, Estonia : proceedings in IEEE Xplore
2018
/
7 p. : ill
https://doi.org/10.1109/NORCHIP.2018.8573495
artikkel kogumikus
Seotud publikatsioonid
1
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
24
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Understanding multidimensional verification : where functional meets non-functional
Lai, Xinhui
;
Balakrishnan, Aneesh
;
Lange, Thomas
;
Jenihhin, Maksim
;
Ghasempouri, Tara
;
Raik, Jaan
;
Alexandrescu, Dan
Microprocessors and microsystems
2019
/
art. 102867, 13 p. : ill
https://doi.org/10.1016/j.micpro.2019.102867
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
2
A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
25
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Verifying cache architecture vulnerabilities using a formal security verification flow
Ghasempouri, Tara
;
Raik, Jaan
;
Paul, Kolin
;
Reinbrecht, Cezar
;
Hamdioui, Said
;
Taouil, Mottaqiallah
Microelectronics reliability
2021
/
art. 114085
https://doi.org/10.1016/j.microrel.2021.114085
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 25, kuvan
1 - 25
autor
6
1.
Ghasempouri, Tara
2.
Satyavati, Tara
3.
Tara, A.
4.
Tara, Taavi
5.
Tara, Tarvi
6.
Tara, V.
CV
1
1.
Ghasempouri, Tara 1984
TTÜ märksõna
1
1.
Tara (teaduspurjekas)
×
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