IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 338
Titolo Data di pubblicazione Autore(i) File
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 1-gen-1998 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Servizi forniti dagli strati Safety Layer e Connection Manager 1-gen-1998 Cimatti, Alessandro; Sebastiani, Roberto
NuSMV: A Reimplementation of SMV 1-gen-1998 Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco
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
Conformant Planning via Model Checking 1-gen-1999 Cimatti, Alessandro; Roveri, Marco
NuSMV: a New Symbolic Model Verifier 1-gen-1999 Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco
Formal Specification and validation of a Vital Communication Protocol 1-gen-1999 Cimatti, Alessandro; P. L., Pieraccini; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints 1-gen-2000 V., Hartonas Garmhausen; E. M., Clarke; S., Campos; Cimatti, Alessandro; Giunchiglia, Fausto
NuSMV: a new symbolic model checker 1-gen-2000 Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco
Conformant Planning via Symbolic Model Checking 1-gen-2000 Cimatti, Alessandro; Roveri, Marco
A Context-Based Mechanization of Multi-Agent Reasoning 1-gen-2000 Cimatti, Alessandro; Serafini, Luciano
Conformant Planning via Model Checking 1-gen-2000 Cimatti, Alessandro; Roveri, Marco
Forward Conformant Planning via Symbolic Model Checking 1-gen-2000 Cimatti, Alessandro; Roveri, Marco
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 1-gen-2000 Bertoli, Piergiorgio; Cimatti, Alessandro; Traverso, Paolo
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 1-gen-2001 Cimatti, Alessandro; E., Giunchiglia; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; A., Tacchella
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 1-gen-2001 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 1-gen-2001 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 1-gen-2001 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Improving Heuristics for Planning and Search in Belief Space 1-gen-2001 Bertoli, Piergiorgio; Cimatti, Alessandro
Mostrati risultati da 41 a 60 di 338
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