Jonas, Martin

Jonas, Martin  

ES  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.012 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
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 1-gen-2023 Bozzano, Marco; Bussola, Riccardo; Cristoforetti, Marco; Goyal, Srajan; Jonas, Martin; Kapellos, Konstantinos; Micheli, Andrea; Soldà, Davide; Tonetta, Stefano; Tranoris, Christos; Valentini, Alessandro