Sfoglia per Autore Jonas, Martin
Mostrati risultati da 1 a 6 di 6
Efficient SMT-Based Analysis of Failure Propagation
2021-01-01 Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
2021-01-01 Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick
Analysis of Cyclic Fault Propagation via ASP
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin
Kratos2: an SMT-Based Model Checker for Imperative Programs
2023-01-01 Griggio, Alberto; Jonas, Martin
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets
2023-01-01 Bozzano, Marco; Bussola, Riccardo; Cristoforetti, Marco; Goyal, Srajan; Jonas, Martin; Kapellos, Konstantinos; Micheli, Andrea; Soldà, Davide; Tonetta, Stefano; Tranoris, Christos; Valentini, Alessandro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Efficient SMT-Based Analysis of Failure Propagation | 1-gen-2021 | Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg | |
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 | |
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 | |
Kratos2: an SMT-Based Model Checker for Imperative Programs | 1-gen-2023 | Griggio, Alberto; Jonas, Martin | |
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 |
Mostrati risultati da 1 a 6 di 6
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