ZILLI, Marisa
ZILLI, Marisa
Mostra
prodotti
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.01 secondi).
A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems
2001 Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa
CMurphi
2004 Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
Exploiting Transition Locality in Automatic Verification
2001 Tronci, Enrico; DELLA PENNA, G.; Intrigila, B.; Zilli, Marisa
Exploiting Transition Locality in the disk based Murphi Verifier
2002 Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa
FHP-Murphi
2006 iuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
Finite Horizon Analysis of Markov Chains with the Murphi Verifier
2006 GIUSEPPE DELLA, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
Synchronized Regular Expressions
2003 G., DELLA PENNA; B., Intrigila; Tronci, Enrico; Zilli, Marisa
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems | 2001 | Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa | |
| CMurphi | 2004 | Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa | |
| Exploiting Transition Locality in Automatic Verification | 2001 | Tronci, Enrico; DELLA PENNA, G.; Intrigila, B.; Zilli, Marisa | |
| Exploiting Transition Locality in the disk based Murphi Verifier | 2002 | Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa | |
| FHP-Murphi | 2006 | iuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa | |
| Finite Horizon Analysis of Markov Chains with the Murphi Verifier | 2006 | GIUSEPPE DELLA, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa | |
| Synchronized Regular Expressions | 2003 | G., DELLA PENNA; B., Intrigila; Tronci, Enrico; Zilli, Marisa |