GHASEMPOURI, TARA
GHASEMPOURI, TARA
DIPARTIMENTO DI INFORMATICA
Automatic extraction of assertions from execution traces of behavioural models
2015-01-01 Danese, Alessandro; Ghasempouri, Tara; Pravadelli, Graziano
Engineering of an Effective Automatic Dynamic Assertion Mining Platform
2019-01-01 Ghasempouri, Tara; Malburg, Jan; Danese, Alessandro; Pravadelli, Graziano; Fey, Goerschwin; Raik, Jaan
On the estimation of assertion interestingness
2015-01-01 Ghasempouri, Tara; Pravadelli, Graziano
On the Reuse of RTL assertions in Systemc TLM Verification
2014-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia
Special Session Paper: Application of Functional Verification Techniques in Hardware Trust
2025-01-01 Heidari Iman, Mohammad Reza; Drechsler, Rolf; Jha, Chandan Kumar; Azarpeyvand, Ali; Ghasempouri, Tara; Imtiaz, Sharjeel; Raik, Jaan; Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano; Di Natale, Giorgio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automatic extraction of assertions from execution traces of behavioural models | 1-gen-2015 | Danese, Alessandro; Ghasempouri, Tara; Pravadelli, Graziano | |
| Engineering of an Effective Automatic Dynamic Assertion Mining Platform | 1-gen-2019 | Ghasempouri, Tara; Malburg, Jan; Danese, Alessandro; Pravadelli, Graziano; Fey, Goerschwin; Raik, Jaan | |
| On the estimation of assertion interestingness | 1-gen-2015 | Ghasempouri, Tara; Pravadelli, Graziano | |
| On the Reuse of RTL assertions in Systemc TLM Verification | 1-gen-2014 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia | |
| Special Session Paper: Application of Functional Verification Techniques in Hardware Trust | 1-gen-2025 | Heidari Iman, Mohammad Reza; Drechsler, Rolf; Jha, Chandan Kumar; Azarpeyvand, Ali; Ghasempouri, Tara; Imtiaz, Sharjeel; Raik, Jaan; Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano; Di Natale, Giorgio |