Catalogo dei prodotti della ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 74
Titolo Data di pubblicazione Autore(i) File
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 2003 DELLA PENNA, G; Intrigila, B; Melatti, Igor; Tronci, Enrico; VENTURINI ZILLI, M.
Automatic Verification of a Turbogas Control System with the Murphi Verifier 2003 DELLA PENNA, G; Intrigila, B; Melatti, Igor; Minichino, M; Ciancamerla, E; Parisse, A; Tronci, Enrico; VENTURINI ZILLI, M.
Xere: Towards a Natural Interoperability between XML and ER Diagrams 2003 G., Della Penna; A., Di Marco; Benedetto, Intrigila; Melatti, Igor; Alfonso, Pierantonio
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 2003 DELLA PENNA, G; Intrigila, B; Melatti, Igor; Tronci, Enrico; VENTURINI ZILLI, M.
Integrating Ram and Disk Based Verification within the Murphi Verifier 2003 G., DELLA PENNA; B., Intrigila; Melatti, Igor; Tronci, Enrico; M., VENTURINI ZILLI
Bounded Probabilistic Model Checking with the Murphi Verifier 2004 G., DELLA PENNA; B., Intrigila; Melatti, Igor; Tronci, Enrico; M., VENTURINI ZILLI
Exploiting Transition Locality in Automatic Verification of Finite-State Concurrent Systems 2004 Giuseppe Della, Penna; B., Intirigla; Melatti, Igor; Tronci, Enrico; Marisa Venturini, Zilli
CMurphi 2004 Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
Automatic Analysis of Hybrid Systems with the Murphi Verifier 2005 DELLA PENNA, G; Intrigila, B; Melatti, Igor; Tronci, Enrico; VENTURINI ZILLI, M.
Post Doctoral Research Associate 2005 Melatti, Igor
Explicit Algorithms for Probabilistic Model Checking 2005 Melatti, Igor
Exploiting hub states in automatic verification 2005 G., Della Penna; B., Intrigila; Melatti, Igor; Tronci, Enrico
Computational Models of the Micro Architecture of the Cardiac Endomysial Collagen 2005 Intrigila, B; Macchiarelli, G; Melatti, Igor; Tofani, A.
A model checking technique for the verification of fuzzy control systems 2005 B., Intrigila; D., Magazzeni; Melatti, Igor; A., Tofani; Tronci, Enrico
A Case Study on Automated Generation of Integration Tests 2006 DELLA PENNA, G; Intrigila, B; Melatti, Igor; Pecorari, M; Tofani, A; Tronci, Enrico
Interoperability mapping from XML schemas to ER diagrams 2006 Giuseppe Della, Penna; A., Di Marco; Benedetto, Intrigila; Melatti, Igor; Alfonso, Pierantonio
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 2006 G., DELLA PENNA; B., Intrigila; D., Magazzeni; Melatti, Igor; A., Tofani; Tronci, Enrico
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 2006 GIUSEPPE DELLA, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
FHP-Murphi 2006 iuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
Parallel and distributed model checking in Eddy 2006 Melatti, Igor; Robert, Palmer; Geoffrey, Sawaya; Yu, Yang; Robert Mike, Kirby; Ganesh, Gopalakrishnan
Mostrati risultati da 1 a 20 di 74
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile