IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 86
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
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
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
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
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 Safety Assessment of Complex Systems: An Industrial case study 1-gen-2003 Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo
Integrating Fault Tree Analysis with Event Ordering Information 1-gen-2003 Bozzano, Marco; Villafiorita Monteleone, Adolfo
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 1-gen-2003 Bozzano, Marco; Villafiorita Monteleone, Adolfo
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
Mostrati risultati da 1 a 20 di 86
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