IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 129
Titolo Data di pubblicazione Autore(i) File
Integrating BDD-based and SAT-based Symbolic Model Checking 1-gen-2002 Cimatti, Alessandro; E., Giunchiglia; Roveri, Marco; Pistore, Marco; Sebastiani, Roberto; A., Tacchella
NuSMV 2: An OpenSource Tool for Symbolic model Checking 1-gen-2002 Cimatti, Alessandro; E. M., Clarke; Enrico, Giunchiglia; Fausto, Giunchiglia; Pistore, Marco; Roveri, Marco; Roberto, Sebastiani; A., Tacchella
NuSMV 1-gen-2002 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
Specifying and Analyzing Early Requirements: Some Experimental Results 1-gen-2003 A., Fuxman; L., Liu; Pistore, Marco; Roveri, Marco; Mylopoulos, John
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 1-gen-2003 Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
MBP: A Model Based Planner 1-gen-2003 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Specifying and Analyzing Early Requirements: Some Experimental Results 1-gen-2003 A., Fuxman; L., Liu; Pistore, Marco; Roveri, Marco; Mylopoulos, John
A Framework for Integrating Business Processes and Business Requirements 1-gen-2004 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
Specifying and Analyzing Early Requirements in Tropos 1-gen-2004 A., Fuxman; L., Liu; Mylopoulos, John; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Conformant Planning via Symbolic Model Checking and Heuristic Search 1-gen-2004 Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio
Formal Verification of Requirements using Spin: A Case Study on Web Services 1-gen-2004 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
Bounded Verification of Past LTL 1-gen-2004 Cimatti, Alessandro; Roveri, Marco; D., Sheridan
Requirements-Driven Verification of Web Services 1-gen-2004 Pistore, Marco; Roveri, Marco; Busetta, Paolo
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 1-gen-2004 Traverso, Paolo; Pistore, Marco; Roveri, Marco; Marconi, Annapaola; Kazhamiakin, Raman; P., Lucchese; Busetta, Paolo; Bertoli, Piergiorgio
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 1-gen-2004 Traverso, Paolo; Pistore, Marco; Roveri, Marco; Marconi, Annapaola; Kazhamiakin, Raman; P., Lucchese; Busetta, Paolo; Bertoli, Piergiorgio
RAT 1-gen-2005 Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill
Formal analysis of hardware requirements 1-gen-2006 I., Pill; S., Semprini; Cavada, Roberto; Roveri, Marco; R., Bloem; Cimatti, Alessandro
Symbolic Implementation of Alternating Automata 1-gen-2006 R., Bloem; Cimatti, Alessandro; I., Pill; Roveri, Marco; S., Semprini
Mostrati risultati da 21 a 40 di 129
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