GHASEMPOURI, TARA
GHASEMPOURI, TARA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
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
| 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 |