On the reuse of RTL assertions in SystemC TLM verification. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (LATW, 2014)

Automatic extraction of assertions from execution traces of behavioural models. - Alessandro Danese; Tara Ghasempouri; Graziano Pravadelli (DATE, 2015)

Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach. - Alessandro Danese; Francesca Filini; Tara Ghasempouri; Graziano Pravadelli (VLSI-SoC (Selected Papers), 2015)

On the estimation of assertion interestingness. - Tara Ghasempouri; Graziano Pravadelli (VLSI-SoC, 2015)

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (J. Electron. Test., 2015)

From RTL Liveness Assertions to Cost-Effective Hardware Checkers. - Ranganathan Hariharan; Tara Ghasempouri; Behrad Niazmand; Jaan Raik (DCIS, 2018)

An Automatic Approach to Evaluate Assertions' Quality Based on Data-Mining Metrics. - Tara Ghasempouri; Siavoosh Payandeh Azad; Behrad Niazmand; Jaan Raik (ITC-Asia, 2018)

A Hierarchical Approach for Devising Area Efficient Concurrent Online Checkers. - Behrad Niazmand; Siavoosh Payandeh Azad; Tara Ghasempouri; Jaan Raik; Gert Jervan (ITC-Asia, 2018)

Towards Multidimensional Verification: Where Functional Meets Non-Functional. - Maksim Jenihhin; Xinhui Lai; Tara Ghasempouri; Jaan Raik (NORCAS, 2018)

Design Understanding: From Logic to Specification*. - Görschwin Fey; Tara Ghasempouri; Swen Jacobs; Gianluca Martino; Jaan Raik; Heinz Riener (VLSI-SoC, 2018)

RTL Assertion Mining with Automated RTL-to-TLM Abstraction. - Tara Ghasempouri; Alessandro Danese; Graziano Pravadelli; Nicola Bombieri; Jaan Raik (FDL, 2019)

Engineering of an Effective Automatic Dynamic Assertion Mining Platform. - Tara Ghasempouri; Jan Malburg; Alessandro Danese; Graziano Pravadelli; Görschwin Fey; Jaan Raik (VLSI-SoC, 2019)

Understanding multidimensional verification: Where functional meets non-functional. - Xinhui Lai; Aneesh Balakrishnan; Thomas Lange; Maksim Jenihhin; Tara Ghasempouri; Jaan Raik; Dan Alexandrescu (Microprocess. Microsystems, 2019)

A Security Verification Template to Assess Cache Architecture Vulnerabilities. - Tara Ghasempouri; Jaan Raik; Kolin Paul; Cezar Reinbrecht; Said Hamdioui; Mottaqiallah Taouil (DDECS, 2020)

Adjustable self-healing methodology for accelerated functions in heterogeneous systems. - Mohammad Riazati; Tara Ghasempouri; Masoud Daneshtalab; Jaan Raik; Mikael Sjödin; Björn Lisper (DSD, 2020)

SCAAT: Secure Cache Alternative Address Table for mitigating cache logical side-channel attacks. - Ameer Shalabi; Tara Ghasempouri; Peeter Ellervee; Jaan Raik (DSD, 2020)

LiD-CAT: A Lightweight Detector for Cache ATtacks. - Cezar Reinbrecht; Said Hamdioui; Mottaqiallah Taouil; Behrad Niazmand; Tara Ghasempouri; Jaan Raik; Johanna Sepúlveda (ETS, 2020)

NV-SP: A New High Performance and Low Energy NVM-Based Scratch Pad. - Ameer Shalabi; Kolin Paul; Tara Ghasempouri; Jaan Raik (ISVLSI, 2020)

CLD: An Accurate, Cost-Effective and Scalable Run-Time Cache Leakage Detector. - Ameer Shalabi; Tara Ghasempouri; Peeter Ellervee; Jaan Raik (DDECS, 2021)

A Methodology for Automated Mining of Compact and Accurate Assertion Sets. - Mohammad Reza Heidari Iman; Jaan Raik; Maksim Jenihhin; Gert Jervan; Tara Ghasempouri (NorCAS, 2021)

Exploring Factors in a Crossroad Dataset Using Cluster-Based Association Rule Mining. - Mahtab Shahin; Mohammad Reza Heidari Iman; Minakshi Kaushik; Rahul Sharma 011; Tara Ghasempouri; Dirk Draheim (ANT/EDI40, 2022)

IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets. - Mohammad Reza Heidari Iman; Jaan Raik; Gert Jervan; Tara Ghasempouri (DSD, 2022)

Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection. - Mohammad Eslami; Tara Ghasempouri; Samuel Pagliarini (ISQED, 2022)

Anomalous File System Activity Detection Through Temporal Association Rule Mining. - Mohammad Reza Heidari Iman; Pavel Chikul; Gert Jervan; Hayretdin Bahsi; Tara Ghasempouri (ICISSP, 2023)

An automated method for mining high-quality assertion sets. - Mohammad Reza Heidari Iman; Jaan Raik; Maksim Jenihhin; Gert Jervan; Tara Ghasempouri (Microprocess. Microsystems, 2023)

PATROL: An Evolutionary APproach to Automatic Test Pattern Generation for Hardware TROjan Detection Leveraging PSO-GA Hybrid Techniques. - Mostafa Hosseini; Ali Azarpeyvand; Tara Ghasempouri (ATS, 2024)

FORTUNE: A Negative Memory Overhead Hardware-Agnostic Fault TOleRance TechniqUe in DNNs. - Samira Nazari; Mahdi Taheri; Ali Azarpeyvand; Mohsen Afsharchi; Tara Ghasempouri; Christian Herglotz; Masoud Daneshtalab; Maksim Jenihhin (ATS, 2024)

ARTmine: Automatic Association Rule Mining with Temporal Behavior for Hardware Verification. - Mohammad Reza Heidari Iman; Gert Jervan; Tara Ghasempouri (DATE, 2024)

ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms. - Andrew Roberts; Mohammad Reza Heidari Iman; Mauro Bellone; Tara Ghasempouri; Jaan Raik; Olaf Maennel; Mohammad Hamad; Sebastian Steinhorst (DATE, 2024)

Zero-Memory-Overhead Clipping-Based Fault Tolerance for LSTM Deep Neural Networks. - Bahram Parchekani; Samira Nazari; Mohammad Hasan Ahmadilivani; Ali Azarpeyvand; Jaan Raik; Tara Ghasempouri; Masoud Daneshtalab (DFT, 2024)

AdAM: Adaptive Fault-Tolerant Approximate Multiplier for Edge DNN Accelerators. - Mahdi Taheri; Natalia Cherezova; Samira Nazari; Ahsan Rafiq; Ali Azarpeyvand; Tara Ghasempouri; Masoud Daneshtalab; Jaan Raik; Maksim Jenihhin (ETS, 2024)

Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification. - Hossein Rostami; Mostafa Hosseini; Ali Azarpeyvand; Mohammad Reza Heidari Iman; Tara Ghasempouri (IOLTS, 2024)

Processor Vulnerability Detection with the Aid of Assertions: RISC-V Case Study. - Mohammad Reza Heidari Iman; Sallar Ahmadi-Pour; Rolf Drechsler; Tara Ghasempouri (NorCAS, 2024)

Survey on Architectural Attacks: A Unified Classification and Attack Model. - Tara Ghasempouri; Jaan Raik; Cezar Reinbrecht; Said Hamdioui; Mottaqiallah Taouil (ACM Comput. Surv., 2024)

SCARF: Securing Chips With a Robust Framework Against Fabrication-Time Hardware Trojans. - Mohammad Eslami; Tara Ghasempouri; Samuel Pagliarini (IEEE Trans. Computers, 2024)

Towards Smarter Maritime Security: Apriori Algorithm Optimization in Serverless Environments. - Mahtab Shahin; Saeed Rahimpour; Tara Ghasempouri; Sanja Bauk; Thomas Fahringer; Dirk Draheim (ANT/EDI40, 2025)

A Double Approximate Neural Hardware Accelerator. - Samira Nazari; Ali Azarpeyvand; Tara Ghasempouri (CSICC, 2025)

SHIELD: PSO-Based Hardware Trojan Detection for Efficient and Low-Cost Defense. - Mostafa Hosseini; Ali Azarpeyvand; Mahdi Taheri; Tara Ghasempouri; Maksim Jenihhin (IOLTS, 2025)

Translating Common Security Assertions Across Processor Designs: A RISC-V Case Study. - Sharjeel Imtiaz; Uljana Reinsalu; Tara Ghasempouri (ISCAS, 2025)

SynAssert: Automated Synthesis of CSCA Leakage Patterns into Cost-Effective Security Assertions. - Ali Azarpeyvand; Mohammad Eslami; Gert Jervan; Jaan Raik; Tara Ghasempouri (ISVLSI, 2025)