Sfoglia per Autore
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions
2009-01-01 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
China/Ocra
2009-01-01 Bagnara, Roberto; Patricia M., Hill; Zaffanella, Enea
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems
2009-01-01 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness
2009-01-01 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Parma Polyhedra Library
2010-01-01 Bagnara, Roberto; Patricia M., Hill; Zaffanella, Enea
ECLAIR
2010-01-01 Bagnara, Roberto; Abramo, Bagnara; Patricia M., Hill; Zaffanella, Enea
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
2010-01-01 Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions
2010-01-01 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A New Look at the Automatic Synthesis of Linear Ranking Functions
2012-01-01 Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea
Parma Polyhedra Library, v 1.1
2013-01-01 Bagnara, Roberto; Patricia M., Hill; Zaffanella, Enea; Abramo, Bagnara
Efficient Constraint/Generator Removal from Double Description of Polyhedra
2014-01-01 Gianluca, Amato; Francesca, Scozzari; Zaffanella, Enea
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
PPLite 0.3
2018-01-01 Zaffanella, Enea; Becchi, Anna; Cristini, Fabio; Ceresini, Gino
A direct encoding for NNC polyhedra
2018-01-01 Becchi, Anna; Zaffanella, Enea
On the Efficiency of Convex Polyhedra
2018-01-01 Zaffanella, Enea
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra
2018-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
Revisiting Polyhedral Analysis for Hybrid Systems
2019-01-01 Becchi, Anna; Zaffanella, Enea
Synthesis of P-Stable Abstractions
2020-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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions | 1-gen-2009 | Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea | |
China/Ocra | 1-gen-2009 | Bagnara, Roberto; Patricia M., Hill; Zaffanella, Enea | |
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems | 1-gen-2009 | Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea | |
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness | 1-gen-2009 | Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea | |
Parma Polyhedra Library | 1-gen-2010 | Bagnara, Roberto; Patricia M., Hill; Zaffanella, Enea | |
ECLAIR | 1-gen-2010 | Bagnara, Roberto; Abramo, Bagnara; Patricia M., Hill; Zaffanella, Enea | |
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version | 1-gen-2010 | Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea | |
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions | 1-gen-2010 | Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea | |
A New Look at the Automatic Synthesis of Linear Ranking Functions | 1-gen-2012 | Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea | |
Parma Polyhedra Library, v 1.1 | 1-gen-2013 | Bagnara, Roberto; Patricia M., Hill; Zaffanella, Enea; Abramo, Bagnara | |
Efficient Constraint/Generator Removal from Double Description of Polyhedra | 1-gen-2014 | Gianluca, Amato; Francesca, Scozzari; 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 | |
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 | |
Synthesis of P-Stable Abstractions | 1-gen-2020 | 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 |
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