Concepedia

Tara Ghasempouri

TG

13

Publications

226

Citations

10

H-Index

2015

Active since

Affiliations

Tallinn University of Technology(Current)

University of Verona

Tara Ghasempouri is an author at Tallinn University of Technology specializing in engineering, computer science, and verification.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSoftware TestingFormal VerificationSoftware VerificationProgram AnalysisSoftware AnalysisAutomated Reasoning

Publications per year

2015–2024

13

Publications

13

Automatic Extraction of Assertions from Execution Traces of Behavioural Models

Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 44 citations

Program Checking, Engineering, Boolean Variables +19

Automatic extraction of assertions from execution traces of behavioural models

Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli · Design, Automation, and Test in Europe · 2015 · 36 citations

Program Checking, Engineering, Boolean Variables +19

On the estimation of assertion interestingness

Tara Ghasempouri, Graziano Pravadelli · 2015 · 23 citations

Engineering, Verification, Computer-aided Verification +24

Understanding multidimensional verification: Where functional meets non-functional

Xinhui Lai, Aneesh Balakrishnan, Thomas Lange et al. · Microprocessors and Microsystems · 2019 · 18 citations · Full text

Exploring Factors in a Crossroad Dataset Using Cluster-Based Association Rule Mining

Mahtab Shahin, Mohammad Reza Heidari Iman, Minakshi Kaushik et al. · Procedia Computer Science · 2022 · 16 citations · Full text

Engineering, Safety Science, Pattern Mining +26

Rows per page

1–5 of 13