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