IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 95
Titolo Data di pubblicazione Autore(i) File
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
Verifying Industrial Hybrid Systems with MathSAT 1-gen-2005 Gilles, Audemard; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Peter van, Rossum; Stephan, Schulz; Sebastiani, Roberto
Efficient Theory Combination via Boolean Search 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 1-gen-2005 Bozzano, Marco; R., Brutomesso; Cimatti, Alessandro; T. A., Junttila; Ranise, Silvio; Rossen Peter, Van; Sebastiani, Roberto
Encoding RTL Constructs for Mathsat: A preliminary report 1-gen-2006 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Ziyad, Hanna; Zurab, Khasidashvili; Amit, Palti; Sebastiani, Roberto
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems 1-gen-2006 Richard, Banach; Bozzano, Marco
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. 1-gen-2006 O., Akerlund; P., Bieber; E., Boede; Bozzano, Marco; M., Bretschneider; C., Castel; A., Cavallo; M., Cifaldi; J., Gauthier; A., Griffault; O., Lisagor; A., Luedtke; S., Metge; C., Papadopoulos; T., Peikenkamp; L., Sagaspe; C., Seguin; H., Trivedi; L., Valacca
Efficient theory combination via boolean search 1-gen-2006 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
The FSAP/NuSMV-SA Safety Analysis Platform 1-gen-2007 Bozzano, Marco; Villafiorita Monteleone, Adolfo
Symbolic Fault Tree Analysis for Reactive Systems 1-gen-2007 Bozzano, Marco; Cimatti, Alessandro; Francesco, Tapparo
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 1-gen-2007 Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro
FSAP 1-gen-2008 Cimatti, Alessandro; Bozzano, Marco; Adolfo, Villafiorita
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
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev
Verification and performance evaluation of AADL models 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll
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
Codesign of Dependable Systems: A Component-Based Modeling Language 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll
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
Mostrati risultati da 21 a 40 di 95
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