Sfoglia per Autore
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs
2024-01-01 Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea
Speeding up static analysis with the split operator
2024-01-01 Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea
P-stable abstractions of hybrid systems
2024-01-01 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
“Fixing” the Specification of Widenings
2023-01-01 Zaffanella, Enea; Arceri, Vincenzo
Speeding up Static Analysis with the Split Operator
2023-01-01 Arceri, V.; Dolcetti, G.; Zaffanella, E.
Unconstrained Variable Oracles for Faster Numeric Static Analyses
2023-01-01 Arceri, V.; Dolcetti, G.; Zaffanella, E.
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
2022-01-01 Bu, Lei; Frehse, Goran; Kundu, Atanu; Ray, Rajarshi; Shi, Yuhui; Zaffanella, Enea
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later
2022-01-01 Frehse, Goran; Giacobbe, Mirco; Zaffanella, Enea
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
2022-01-01 Bu, Lei; Frehse, Goran; Kundu, Atanu; Ray, Rajarshi; Shi, Yuhui; Zaffanella, Enea
Decoupling the Ascending and Descending Phases in Abstract Interpretation
2022-01-01 Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea
Reverse engineering with P-stable abstractions
2021-01-01 Becchi, A.; Cimatti, A.; Zaffanella, E.
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
2020-01-01 Bu, Lei; Abate, Alessandro; Adzkiya, Dieky; Syifa'Ul Mufid, Muhammad; Ray, Rajarshi; Wu, Yuming; Zaffanella, Enea
PPLite: Zero-overhead encoding of NNC polyhedra
2020-01-01 Becchi, A.; Zaffanella, E.
Synthesis of P-Stable Abstractions
2020-01-01 Becchi, A.; Cimatti, A.; Zaffanella, E.
Revisiting Polyhedral Analysis for Hybrid Systems
2019-01-01 Becchi, Anna; Zaffanella, Enea
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
2019-01-01 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
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra
2018-01-01 Becchi, Anna; Zaffanella, Enea
PPLite 0.3
2018-01-01 Zaffanella, Enea; Becchi, Anna; Cristini, Fabio; Ceresini, Gino
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
2018-01-01 Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Bu, Lei; Giacobbe, Mirco; Syifa'ul Mufid, Muhammad; Zaffanella, Enea
On the Efficiency of Convex Polyhedra
2018-01-01 Zaffanella, Enea
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs | 1-gen-2024 | Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea | |
Speeding up static analysis with the split operator | 1-gen-2024 | Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea | |
P-stable abstractions of hybrid systems | 1-gen-2024 | Becchi, Anna; Cimatti, Alessandro; 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. | |
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 | |
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 | |
Reverse engineering with P-stable abstractions | 1-gen-2021 | Becchi, A.; Cimatti, 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 | |
PPLite: Zero-overhead encoding of NNC polyhedra | 1-gen-2020 | Becchi, A.; Zaffanella, E. | |
Synthesis of P-Stable Abstractions | 1-gen-2020 | Becchi, A.; Cimatti, A.; Zaffanella, E. | |
Revisiting Polyhedral Analysis for Hybrid Systems | 1-gen-2019 | Becchi, Anna; 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 | |
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra | 1-gen-2018 | Becchi, Anna; Zaffanella, Enea | |
PPLite 0.3 | 1-gen-2018 | Zaffanella, Enea; Becchi, Anna; Cristini, Fabio; Ceresini, Gino | |
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 | |
On the Efficiency of Convex Polyhedra | 1-gen-2018 | Zaffanella, Enea |
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