IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 90
Titolo Data di pubblicazione Autore(i) File
P-stable abstractions of hybrid systems 1-gen-2024 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
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.
“Fixing” the Specification of Widenings 1-gen-2023 Zaffanella, Enea; Arceri, Vincenzo
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
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
Decoupling the Ascending and Descending Phases in Abstract Interpretation 1-gen-2022 Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later 1-gen-2022 Frehse, Goran; Giacobbe, Mirco; Zaffanella, Enea
Reverse engineering with P-stable abstractions 1-gen-2021 Becchi, A.; Cimatti, A.; Zaffanella, E.
Synthesis of P-Stable Abstractions 1-gen-2020 Becchi, A.; Cimatti, A.; Zaffanella, E.
PPLite: Zero-overhead encoding of NNC polyhedra 1-gen-2020 Becchi, A.; Zaffanella, E.
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
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics 1-gen-2019 Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Becchi, Anna; Bu, Lei; Cimmati, Alessandro; Giacobbe, Mirco; Griggio, Alberto; Mover, Sergio; Syifa'ul Mufid, Muhammad; Riouak, Idriss; Tonetta, Stefano; Zaffanella, Enea
Revisiting Polyhedral Analysis for Hybrid Systems 1-gen-2019 Becchi, Anna; Zaffanella, Enea
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics 1-gen-2018 Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Bu, Lei; Giacobbe, Mirco; Syifa'ul Mufid, Muhammad; Zaffanella, Enea
PPLite 0.3 1-gen-2018 Zaffanella, Enea; Becchi, Anna; Cristini, Fabio; Ceresini, Gino
A direct encoding for NNC polyhedra 1-gen-2018 Becchi, Anna; Zaffanella, Enea
On the Efficiency of Convex Polyhedra 1-gen-2018 Zaffanella, Enea
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 1-gen-2018 Becchi, Anna; Zaffanella, Enea
Efficient Constraint/Generator Removal from Double Description of Polyhedra 1-gen-2014 Gianluca, Amato; Francesca, Scozzari; Zaffanella, Enea
Mostrati risultati da 1 a 20 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