IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 81 a 90 di 90
Titolo Data di pubblicazione Autore(i) File
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2020 Bu, Lei; Abate, Alessandro; Adzkiya, Dieky; Syifa'Ul Mufid, Muhammad; Ray, Rajarshi; Wu, Yuming; Zaffanella, Enea
Reverse engineering with P-stable abstractions 1-gen-2021 Becchi, A.; Cimatti, A.; Zaffanella, E.
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2022 Bu, Lei; Frehse, Goran; Kundu, Atanu; Ray, Rajarshi; Shi, Yuhui; Zaffanella, Enea
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later 1-gen-2022 Frehse, Goran; Giacobbe, Mirco; Zaffanella, Enea
Decoupling the Ascending and Descending Phases in Abstract Interpretation 1-gen-2022 Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2022 Bu, Lei; Frehse, Goran; Kundu, Atanu; Ray, Rajarshi; Shi, Yuhui; Zaffanella, Enea
“Fixing” the Specification of Widenings 1-gen-2023 Zaffanella, Enea; Arceri, Vincenzo
Speeding up Static Analysis with the Split Operator 1-gen-2023 Arceri, V.; Dolcetti, G.; Zaffanella, E.
Unconstrained Variable Oracles for Faster Numeric Static Analyses 1-gen-2023 Arceri, V.; Dolcetti, G.; Zaffanella, E.
P-stable abstractions of hybrid systems 1-gen-2024 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
Mostrati risultati da 81 a 90 di 90
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