Jonas, Martin

Jonas, Martin  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.005 secondi).
Titolo Data di pubblicazione Autore(i) File
Analysis of Cyclic Fault Propagation via ASP 1-gen-2022 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 1-gen-2022 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin
Efficient SMT-Based Analysis of Failure Propagation 1-gen-2021 Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
Kratos2: an SMT-Based Model Checker for Imperative Programs 1-gen-2023 Griggio, Alberto; Jonas, Martin
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