IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 85
Titolo Data di pubblicazione Autore(i) File
The xSAP Safety Analysis Platform 1-gen-2016 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 1-gen-2016 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
SC^2: Satisfiability Checking Meets Symbolic Computation 1-gen-2016 Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
Verilog2SMV: A Tool for Word-level Verification 1-gen-2016 Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
Infinite-state invariant checking with IC3 and predicate abstraction 1-gen-2016 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Satisfiability checking and symbolic computation 1-gen-2016 Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.
Satisfiability Modulo Transcendental Functions via Incremental Linearization 1-gen-2017 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 1-gen-2017 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Preface to special issue on satisfiability modulo theories 1-gen-2017 Griggio, Alberto; Rümmer, Philipp
Symbolic execution with existential second-order constraints 1-gen-2018 Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik
Certifying Proofs for LTL Model Checking 1-gen-2018 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 1-gen-2018 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 1-gen-2018 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 1-gen-2018 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 1-gen-2019 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 1-gen-2020 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
Safe Decomposition of Startup Requirements: Verification and Synthesis 1-gen-2020 Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 1-gen-2020 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
Symbolic computation and satisfiability checking 1-gen-2020 Davenport, J. H.; England, M.; Griggio, A.; Sturm, T.; Tinelli, C.
Certifying proofs for SAT-based model checking 1-gen-2021 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Mostrati risultati da 41 a 60 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