Catalogo dei prodotti della ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 140
Titolo Data di pubblicazione Autore(i) File
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design 2001 G., Dipoppa; G., D'Alessandro; R., Semprini; Tronci, Enrico
Exploiting Transition Locality in Automatic Verification 2001 Tronci, Enrico; DELLA PENNA, G.; Intrigila, B.; Zilli, Marisa
Formal Models of Timing Attacks on Web Privacy 2002 R., Focardi; R., Gorrieri; R., Lanotte; A., Maggiolo Schettini; F., Martinelli; S., Tini; Tronci, Enrico
Exploiting Transition Locality in the disk based Murphi Verifier 2002 Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa
Synchronized Regular Expressions 2002 GIUSEPPE DELLA, Penna; Benedetto, Intrigila; Tronci, Enrico; MARISA VENTURINI, Zilli
Model-Checking based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant 2002 M., Gribaudo; A., Horv'Ath; A., Bobbio; Tronci, Enrico; E., Ciancamerla; M., Minichino
Preface 2003 Geist, Daniel; Tronci, Enrico
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.
Integrating Ram and Disk Based Verification within the Murphi Verifier 2003 G., DELLA PENNA; B., Intrigila; Melatti, Igor; Tronci, Enrico; M., VENTURINI ZILLI
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 2003 DELLA PENNA, G; Intrigila, B; Melatti, Igor; Tronci, Enrico; VENTURINI ZILLI, M.
Synchronized Regular Expressions 2003 G., DELLA PENNA; B., Intrigila; Tronci, Enrico; Zilli, Marisa
Fluid Petri Nets and hybrid model checking: a comparative case study 2003 M., Gribaudo; A., Horv´ath; A., Bobbio; Tronci, Enrico; E., Ciancamerla; M., Minichino
Automatic Verification of Timeliness Constraints in a Public Mobile Network 2003 E., Ciancamerla; M., Minichino; S., Serro; Tronci, Enrico
Automated Analysis of Timed Security: a case study on web privacy 2004 Roberto, Gorrieri; Ruggero, Lanotte; Andrea Maggiolo, Schettini; Fabio, Martinelli; Simone, Tini; Tronci, Enrico
Automatic Covert Channel Analysis of a Multilevel Secure Component 2004 R., Lanotte; A., MAGGIOLO SCHETTINI; S., Tini; A., Troina; Tronci, Enrico
Exploiting Transition Locality in Automatic Verification of Finite-State Concurrent Systems 2004 Giuseppe Della, Penna; B., Intirigla; Melatti, Igor; Tronci, Enrico; Marisa Venturini, Zilli
Bounded Probabilistic Model Checking with the Murphi Verifier 2004 G., DELLA PENNA; B., Intrigila; Melatti, Igor; Tronci, Enrico; M., VENTURINI ZILLI
CMurphi 2004 Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
Automatic analysis of the NRL Pump 2004 Ruggero, Lanotte; Andrea Maggiolo, Schettini; Simone, Tini; Angelo, Troina; Tronci, Enrico
Mostrati risultati da 21 a 40 di 140
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