Sfoglia per Autore Villafiorita Monteleone, Adolfo
Proof planning by abstraction
1994-01-01 Villafiorita Monteleone, Adolfo; Sebastiani, Roberto
A General Purpose Reasoner for Abstraction
1995-01-01 Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh
Reasoning by Analogy via Abstraction
1995-01-01 Villafiorita Monteleone, Adolfo
Proving Theorems by Using Abstraction Interactively
1995-01-01 Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto
Inductive Theorem Proving via Abstraction
1996-01-01 Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto
ABSFOL: A Proof Checker with Abstraction
1996-01-01 Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem
1997-01-01 A., Bundy; Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo; Toby, Walsh
Abstraction as a Form of Elaboration Tolerance
1998-01-01 Villafiorita Monteleone, Adolfo
SAT-based decision procedures for normal modal logics: a theoretical framework
1998-01-01 Sebastiani, Roberto; Villafiorita Monteleone, Adolfo
Formal Specification and Development of a Safety-Critical Train Management
1999-01-01 A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study
1999-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Theories of Abstraction
1999-01-01 Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo; T., Walsh
Formal Specification and validation of a Vital Communication Protocol
1999-01-01 Cimatti, Alessandro; P. L., Pieraccini; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Formal specification of Beliefs in Multi-Agents Systems
1999-01-01 Massimo, Benerecetti; Villafiorita Monteleone, Adolfo
Improving Safety Assessment of Complex Systems: An Industrial case study
2003-01-01 Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform
2003-01-01 Bozzano, Marco; Villafiorita Monteleone, Adolfo
Integrating Fault Tree Analysis with Event Ordering Information
2003-01-01 Bozzano, Marco; Villafiorita Monteleone, Adolfo
ESACS: an integrated methodology for design and safety analysis of complex systems
2003-01-01 Bozzano, Marco; Villafiorita Monteleone, Adolfo; O., Akerlund; P., Bieber; C., Bougnol; E., Boede; M., Bretschneider; A., Cavallo; C., Castel; M., Cifaldi; Cimatti, Alessandro; A., Griffault; C., Kehren; B., Lawrence; A., Luedtke; S., Metge; C., Papadopoulos; R., Passarello; T., Peikenkamp; P., Persson; C., Seguin; L., Trotta; L. Villafiorita A., Valacca; Zacco, Gabriele
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform
2003-01-01 Bozzano, Marco; Villafiorita Monteleone, Adolfo
Improving Safety Assessment of Complex Systems: An Industrial case study
2003-01-01 Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Proof planning by abstraction | 1-gen-1994 | Villafiorita Monteleone, Adolfo; Sebastiani, Roberto | |
A General Purpose Reasoner for Abstraction | 1-gen-1995 | Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh | |
Reasoning by Analogy via Abstraction | 1-gen-1995 | Villafiorita Monteleone, Adolfo | |
Proving Theorems by Using Abstraction Interactively | 1-gen-1995 | Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto | |
Inductive Theorem Proving via Abstraction | 1-gen-1996 | Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto | |
ABSFOL: A Proof Checker with Abstraction | 1-gen-1996 | Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo | |
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem | 1-gen-1997 | A., Bundy; Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo; Toby, Walsh | |
Abstraction as a Form of Elaboration Tolerance | 1-gen-1998 | Villafiorita Monteleone, Adolfo | |
SAT-based decision procedures for normal modal logics: a theoretical framework | 1-gen-1998 | Sebastiani, Roberto; Villafiorita Monteleone, Adolfo | |
Formal Specification and Development of a Safety-Critical Train Management | 1-gen-1999 | A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo | |
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study | 1-gen-1999 | Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo; Villafiorita Monteleone, Adolfo | |
Theories of Abstraction | 1-gen-1999 | Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo; T., Walsh | |
Formal Specification and validation of a Vital Communication Protocol | 1-gen-1999 | Cimatti, Alessandro; P. L., Pieraccini; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo | |
Formal specification of Beliefs in Multi-Agents Systems | 1-gen-1999 | Massimo, Benerecetti; Villafiorita Monteleone, Adolfo | |
Improving Safety Assessment of Complex Systems: An Industrial case study | 1-gen-2003 | Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo | |
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform | 1-gen-2003 | Bozzano, Marco; Villafiorita Monteleone, Adolfo | |
Integrating Fault Tree Analysis with Event Ordering Information | 1-gen-2003 | Bozzano, Marco; Villafiorita Monteleone, Adolfo | |
ESACS: an integrated methodology for design and safety analysis of complex systems | 1-gen-2003 | Bozzano, Marco; Villafiorita Monteleone, Adolfo; O., Akerlund; P., Bieber; C., Bougnol; E., Boede; M., Bretschneider; A., Cavallo; C., Castel; M., Cifaldi; Cimatti, Alessandro; A., Griffault; C., Kehren; B., Lawrence; A., Luedtke; S., Metge; C., Papadopoulos; R., Passarello; T., Peikenkamp; P., Persson; C., Seguin; L., Trotta; L. Villafiorita A., Valacca; Zacco, Gabriele | |
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform | 1-gen-2003 | Bozzano, Marco; Villafiorita Monteleone, Adolfo | |
Improving Safety Assessment of Complex Systems: An Industrial case study | 1-gen-2003 | Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo |
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