IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 168
Titolo Anno di pubblicazione Autori Unitn File
Specifica formale dei protocolli Safety Layer e Connection Manager 1-gen-1999 Sebastiani, Roberto +
Formal Specification and Development of a Safety-Critical Train Management System 1-gen-1999 Sebastiani, Roberto +
Formal specification and validation of a vital protocol 1-gen-1999 Sebastiani, Roberto +
Applying the Davis-Putnam procedure to non-clausal formulas 1-gen-1999 Sebastiani, Roberto +
An Analysis of Empirical Testing for Modal Decision Procedures 1-gen-2000 Sebastiani, Roberto +
Integrating SAT solvers with domain-specific reasoners 1-gen-2000 Sebastiani, Roberto +
SAT vs. translation based decision procedures for modal logics: a comparative evaluation 1-gen-2000 Giunchiglia, FaustoSebastiani, Roberto +
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K(m) 1-gen-2000 Giunchiglia, FaustoSebastiani, Roberto
A System and Methodology for Generating Random Modal Formula 1-gen-2001 Sebastiani, Roberto +
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 1-gen-2001 Pistore, MarcoSebastiani, RobertoM. Roveri +
Integrating SAT Solvers with Domain-Specific Reasoners 1-gen-2001 Giunchiglia, FaustoSebastiani, Roberto +
Model checking syllabi and student careers 1-gen-2001 Sebastiani, RobertoGiunchiglia, Fausto +
Improving the generation of random modal formulae for testing decision procedures 1-gen-2001 Sebastiani, Roberto +
Reasoning with Goal Models 1-gen-2002 Giorgini, PaoloMylopoulos, IoannisSebastiani, Roberto
Bounded Model Checking for Timed Systems 1-gen-2002 Cimatti, AlessandroSebastiani, Roberto +
Integrating BDD-based and SAT-based Symbolic Model Checking 1-gen-2002 Cimatti, AlessandroRoveri, MarcoSebastiani, RobertoPistore, Marco +
Reasoning with Goal Models 1-gen-2002 Giorgini, PaoloSebastiani, RobertoNicchiarelli, Eleonora +
NuSMV2: an open source tool for symbolic model checking 1-gen-2002 Giunchiglia, FaustoPistore, MarcoM. RoveriSebastiani, Roberto +
SAT-Based Bounded Model Checking for Timed Systems 1-gen-2002 Sebastiani, Roberto +
Improving the Encoding of LTL Model Checking into SAT 1-gen-2002 Cimatti, AlessandroSebastiani, RobertoRoveri, MarcoPistore, Marco
Mostrati risultati da 21 a 40 di 168
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