IRIS

ZAFFANELLA, Enea

ZAFFANELLA, Enea  

Dipartimento di Scienze Matematiche, Fisiche e Informatiche  

Mostra records
Risultati 1 - 20 di 81 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 1-gen-2001 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 1-gen-2004 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
A Linear Domain for Analyzing the Distribution of Numerical Values 1-gen-2005 Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A New Encoding of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A Prolog-Based Environment for Reasoning About Programming Languages 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Abstracting Synchronization in Concurrent Constraint Programming 1-gen-1998 Zaffanella, Enea; Giacobazzi, R.; Levi, G.
Abstracting Synchronization in Concurrent Constraint Programming 1-gen-1994 Zaffanella, Enea; Giacobazzi, R.; Levi, G.
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2008 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 1-gen-2007 Bagnara, Roberto; Hill, P. M.; 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
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
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
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
Boolean Functions for Finite-Tree Dependencies 1-gen-2001 Bagnara, Roberto; Zaffanella, Enea; Gori, R.; Hill, P. M.
Boolean Functions for Finite-Tree Dependencies 1-gen-2001 Bagnara, Roberto; Zaffanella, Enea; Gori, R.; Hill, P. M.
China/Ocra 1-gen-2009 Bagnara, Roberto; Patricia M., Hill; Zaffanella, Enea
Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages 1-gen-2001 Zaffanella, Enea
Decomposing Non-Redundant Sharing by Complementation 1-gen-2002 Zaffanella, Enea; Hill, P. M.; Bagnara, Roberto