Sfoglia per Autore  Becchi, Anna

Opzioni
Mostrati risultati da 1 a 10 di 10
Titolo Data di pubblicazione Autore(i) File
Revisiting Polyhedral Analysis for Hybrid Systems 1-gen-2019 Becchi, Anna; Zaffanella, Enea
Synthesis of P-Stable Abstractions 1-gen-2020 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
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
PPLite: Zero-overhead encoding of NNC polyhedra 1-gen-2020 Becchi, Anna; Zaffanella, Enea
Reverse engineering with P-stable Abstractions 1-gen-2021 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
Abstraction Modulo Stability for Reverse Engineering 1-gen-2022 Becchi, Anna; Cimatti, Alessandro
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 1-gen-2022 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 1-gen-2023 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios
Searching for i-Good Lemmas to Accelerate Safety Model Checking 1-gen-2023 Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang
P-stable abstractions of hybrid systems 1-gen-2024 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
Mostrati risultati da 1 a 10 di 10
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