Sfoglia per Autore
Generating graphical applications from state-transition visual specifications
2001-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Sergio, Orefice
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
Exploiting Transition Locality in the Disk Based Murphi Verifier
2002-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; 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
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
An XML Definition Language to Support Scenario Based Requirements Engineering
2003-01-01 Orefice, Sergio; DELLA PENNA, Giuseppe; Laurenzi, A; Intrigila, B.
Synchronized Regular Expressions
2003-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; 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
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
A Methodology for Scenario Development
2004-01-01 DELLA PENNA, Giuseppe; Orefice, Sergio; Laurenzi, A; Intrigila, B.
An Environment for the Design and Implementation of Visual Applications
2004-01-01 Orefice, Sergio; Intrigila, B; DELLA PENNA, Giuseppe
Bounded Probabilistic Model Checking with the Murphi Verifier
2004-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci; MARISA VENTURINI, Zilli
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
A Type System for Static and Dynamic Checking of C++ Pointers
2005-01-01 DELLA PENNA, Giuseppe
Exploiting Hub States in Automatic Verification
2005-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci
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
Automatic generation of optimal controllers through model checking techniques
2006-01-01 DELLA PENNA, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico
Interoperability mapping from XML schemas to ER diagrams
2006-01-01 DELLA PENNA, Giuseppe; DI MARCO, Antinisca; Benedetto, Intrigila; Igor, Melatti; Pierantonio, Alfonso
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 |
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