IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 85
Titolo Data di pubblicazione Autore(i) File
Proving the Existence of Fair Paths in Infinite-State Systems 1-gen-2021 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 1-gen-2021 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 1-gen-2021 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 1-gen-2021 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Efficient SMT-Based Analysis of Failure Propagation 1-gen-2021 Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
Certifying proofs for SAT-based model checking 1-gen-2021 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 1-gen-2021 Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick
The VMT-LIB Language and Tools 1-gen-2022 Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano
A comprehensive framework for the analysis of automotive systems 1-gen-2022 Cimatti, Alessandro; Corfini, Sara; Cristoforetti, Luca; Di Natale, Marco; Griggio, Alberto; Puri, Stefano; Tonetta, Stefano
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 1-gen-2022 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
LTL falsification in infinite-state systems 1-gen-2022 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 1-gen-2022 Cimatti, Alessandro; Griggio, Alberto; Lipparini, Enrico; Sebastiani, Roberto
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) 1-gen-2022 Abraham, Erika; Davenport, James H.; England, Matthew; Griggio, Alberto
Verification of SMT Systems with Quantifiers 1-gen-2022 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Analysis of Cyclic Fault Propagation via ASP 1-gen-2022 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 1-gen-2022 Bombardelli, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 1-gen-2022 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin
EVA: a Tool for the Compositional Verification of AUTOSAR Models 1-gen-2023 Cimatti, Alessandro; Cristoforetti, Luca; Griggio, Alberto; Tonetta, Stefano; Corfini, Sara; Di Natale, Marco; Barrau, Florian
Kratos2: an SMT-Based Model Checker for Imperative Programs 1-gen-2023 Griggio, Alberto; Jonas, Martin
COMPASTA: Integrating COMPASS Functionality into TASTE 1-gen-2023 Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni
Mostrati risultati da 61 a 80 di 85
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