IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 129
Titolo Data di pubblicazione Autore(i) File
Strong Planning under Partial Observability 1-gen-2006 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
From PSL to NBA: a Modular Symbolic Encoding 1-gen-2006 Cimatti, Alessandro; Roveri, Marco; Simone, Semprini; Tonetta, Stefano
RAT: A tool for formal analysis of requirements 1-gen-2006 Roderick, Bloem; Cimatti, Alessandro; Ingo, Pill; Roveri, Marco; Simone, Semprini; Tchaltsev, Andrei
Syntactic Optimizations for PSL Verification 1-gen-2007 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 1-gen-2007 Cavada, Roberto; Cimatti, Alessandro; Anders, Franzen; Kalyanasundaram, Krishnamani; Roveri, Marco; R. K., Shyamasundar
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Symbolic Implementation of Alternating Automata 1-gen-2007 Roderick, Bloem; Cimatti, Alessandro; Ingo, Pill; Roveri, Marco
Preface 1-gen-2007 Roderick, Bloem; Roveri, Marco; Fabio, Somenzi
Rat: A tool for the formal analysis of requirements 1-gen-2007 Roderick, Bloem; Cavada, Roberto; Ingo, Pill; Roveri, Marco; Tchaltsev, Andrei
Object Models with Temporal Constraints 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Symbolic Compilation of PSL 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
On Board Model Checking for Space Applications 1-gen-2008 Cimatti, Alessandro; Andrea, Guiotto; Roveri, Marco
From Informal Requirements to Property-Driven Formal Validation 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
On-Board Autonomy via Symbolic Model Based Reasoning 1-gen-2008 Bozzano, Marco; Cimatti, Alessandro; Andrea, Guiotto; Andrea, Martelli; Roveri, Marco; Tchaltsev, Andrei; Yuri, Yushtein
Diagnostic Information for Realizability 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tchaltsev, Andrei
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
Codesign of Dependable Systems: A Component-Based Language 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
Structure-Aware Computation of Predicate Abstraction 1-gen-2009 Cimatti, Alessandro; Jori Juhani, Dubrovin; Tommi Antero, Junttila; Roveri, Marco
Verification and performance evaluation of AADL models 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll
Mostrati risultati da 41 a 60 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