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
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach
2016-01-01 Danese, Alessandro; Filini, Francesca; 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
Improving ABV by generation and abstraction of PSL assertions
2016-01-01 Ghasempouri, Tara
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
Reusing RTL assertion checkers for verification of SystemC TLM models
2015-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; Giovanni, Auditore; Mirella, Negromarcigaglia
| 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 | |
| Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach | 1-gen-2016 | Danese, Alessandro; Filini, Francesca; 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 | |
| Improving ABV by generation and abstraction of PSL assertions | 1-gen-2016 | Ghasempouri, Tara | |
| 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 | |
| Reusing RTL assertion checkers for verification of SystemC TLM models | 1-gen-2015 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; Giovanni, Auditore; Mirella, Negromarcigaglia |