Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 69
Titolo Data di pubblicazione Autore(i) File
Generating graphical applications from state-transition visual specifications 1-gen-2001 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Sergio, Orefice
Exploiting Transition Locality in Automatic Verification 1-gen-2001 Enrico, Tronci; DELLA PENNA, Giuseppe; Benedetto, Intrigila; Marisa Venturini, Zilli
A Probabilistic Approach to Automatic Formal Verification 1-gen-2001 Enrico, Tronci; DELLA PENNA, Giuseppe; Benedetto, Intrigila; Marisa Venturini, Zilli
Exploiting Transition Locality in the Disk Based Murphi Verifier 1-gen-2002 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Enrico, Tronci; Marisa Venturini, Zilli
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 1-gen-2003 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci; MARISA VENTURINI, Zilli
Integrating RAM and Disk Based Verification within the Murphi Verifier 1-gen-2003 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci; Marisa Venturini, Zilli
Automatic Verification of a Turbogas Control System with the Murphi Verifier 1-gen-2003 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Michele, Minichino; Ester, Ciancamerla; Andrea, Parisse; Enrico, Tronci; MARISA VENTURINI, Zilli
An XML Definition Language to Support Scenario Based Requirements Engineering 1-gen-2003 Orefice, Sergio; DELLA PENNA, Giuseppe; Laurenzi, A; Intrigila, B.
Synchronized Regular Expressions 1-gen-2003 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Enrico, Tronci; MARISA VENTURINI, Zilli
Xere: Towards a Natural Interoperability between XML and ER Diagrams 1-gen-2003 DELLA PENNA, Giuseppe; DI MARCO, Antinisca; Intrigila, B; Melatti, I; Pierantonio, Alfonso
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 1-gen-2003 DELLA PENNA, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa
A Methodology for Scenario Development 1-gen-2004 DELLA PENNA, Giuseppe; Orefice, Sergio; Laurenzi, A; Intrigila, B.
An Environment for the Design and Implementation of Visual Applications 1-gen-2004 Orefice, Sergio; Intrigila, B; DELLA PENNA, Giuseppe
Bounded Probabilistic Model Checking with the Murphi Verifier 1-gen-2004 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci; MARISA VENTURINI, Zilli
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 1-gen-2004 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci; MARISA VENTURINI, Zilli
A Type System for Static and Dynamic Checking of C++ Pointers 1-gen-2005 DELLA PENNA, Giuseppe
Exploiting Hub States in Automatic Verification 1-gen-2005 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci
A Case Study on Automated Generation of Integration Tests 1-gen-2006 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; M., Pecorari; O., Raparelli; Alberto, Tofani; Enrico, Tronci
Automatic generation of optimal controllers through model checking techniques 1-gen-2006 DELLA PENNA, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico
Interoperability mapping from XML schemas to ER diagrams 1-gen-2006 DELLA PENNA, Giuseppe; DI MARCO, Antinisca; Benedetto, Intrigila; Igor, Melatti; Pierantonio, Alfonso
Mostrati risultati da 1 a 20 di 69
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